Why does the dog wag its tail? Because the dog is smarter than the tail. If the tail were smarter, it would wag the dog. The phrase wag the dog refers to times when something of a secondary importance improperly takes on the role of something of primary importance. As I watched the recording of [...]

As of 0.9.5, you need to do a build (Ctrl+B) before type checking is initialized properly. Without such explicit build, you may face a whole host of errors while you edit your source files.

My favorite column in MSDN Magazine is Test Run; it was originally focused on testing, but the author, James McCaffrey, has been focusing lately on topics revolving around numeric optimization and machine learning, presenting a variety of methods and approaches. I quite enjoy his work, with one minor gripe –his examples are all coded in C#, which in my opinion is really too bad, because the algorithms would gain much clarity if written in F# instead. Back in June 2013, he published a piece on Amoeba Metho[...]

Microsoft Research are accepting applications for internships at our research lab in Cambridge, UK, for internships in Summer 2014. Applicants must currently be pursuing a Masters or PhD in Computer Science. More details on applying can be found here:http://research.microsoft.com/en-us/jobs/intern/about_uk.aspx This year, I personally am particularly interested in sponsoring internship applications in one or more of the following areas Applying experimental type systems and type-provider mechanisms to evo[...]