Scott Hanselman has recently put up a new hanselminutes of an interview with the spec# team. This interview was done at altdotnet; one of the key points of discussion both in general and in the interview was "how can we get spec#?". The simple answer is we have to want spec# and Microsoft needs to know that we want it. The more people who want it the more likely we are to get it or to get it in pieces. The best way for them to know is for us to tell them!
Let's give Mike and the whole spec# team the best compliment possible on their research; asking for it to become integrated in products and/or to be available with a commercial license!
I want verifiable software...
I WANT SPEC#!
Here is a reusable bumper sticker for your blog to make it easier to express how you feel.
Drop a note here so I can try to keep track of people!
If you don't know about spec# now may be a great time to watch the recent presentation from altdotnet