[ Update: The release candidate has been updated to F# 1.9.3.14. The additional changes are documented with the release notes below ] I'm very glad to say that an updated release candidate for F# 1.9.3 is now available ( MSI , ZIP ). This is F# 1.9...

Byron Cook , of Terminator fame, has just been looking at using F# in conjunction with the Z3 theorem prover , a great new .NET and native component out of Microsoft Research Redmond. Recent work on F# 's math libraries, together with the latest...

Luke Hoban is now full time as program manager on F#, and has just posted a short introduction about himself and the language : ...As of a few weeks ago, I've traded in my C# Compiler PM role for the newly created F# PM job! As you can probably...

Yesterday I mentioned that F# is making an appearance at TechEd Developer this week. As part of this you have the chance to meet the one and only Tomáš Petříček who is helping out on the Visual Studio Ask the Experts booth for the week along with Luke...

Daniele over on hubFS has been doing interesting things with AutoDesk and F# in the last few days. Take a look at this link: How to write an Autodesk Inventor Add-In using F# Coincidentally, Kean Walmsley has written his first AutoCAD application...

I've just arrived in Barcelona, for TechEd Developers. What an event! First, on the product side, there are just so many great things going on: Visual Studio 2008 is on show, the Microsoft Sync Framework has been announced, the ultra-cool Popfly shows...