So this one day, I am playing the board game Quarto with my friend and I wonder, can this game end in a tie, or is there always a winner? Normal people might have squabbled or shrugged, but not us nerds! We obviously abandoned the game, took our laptops to the local pub and started hacking. In this talk I will explain how I used F# to transform this problem to satisfiability, ran it through a SAT solver to discover if it can indeed end in a tie. I will also show how to apply the same technique to more useful problems such as scheduling and code breaking.
You've seen the basics, now let's look at some internals. How does ASP.NET run on both the .NET full framework and the new .NET Core CLR? How does ASP.NET 5 use Roslyn to give a "compile free" feeling during rapid development? Coverage of the new configuration model, built in dependency injection, service providers. We'll look at how ASP.NET 5 sits on the new open source Microsoft web stack of technologies and lets you develop and deploy on Windows, Mac, or Linux. Your framework, your way, on your editor of choice and operating system of choice.