Some stuff I have been looking at today that you might find interesting
Having fun with type level numbers by using a type provider Excellent post that I have been meaning to read about implementing a type provider for primer numbers, complete with the explanation on primes and type provider implementation. Really the making illegal states unrepresentable .
Nested looping to programmatic depth in F# This post comes to a solution to the lack of break and return in F## by solving the similar problem we did in a recent Functional Kats meetup The first time I thought when I saw the problem was, oh this is about Computation expressions but although there is a link to a solution by Tomas Petricek that uses them this post shows a different approach that shows better performance 66ms versus 880ms.
Eve project you might agree with they ideas behind it or not, but it is worth checking out this project about trying to help us think, while also changing the way we write code. Eve: Better tools for thought http://witheve.com