Living in the Tech Avalanche Generation

Again today came across many a situation begging for some Spec# pre and post condition verification; alas the wait continues. I will attempt to do my part in pushing the call to have Spec# rolled into C# ASAP (V 4.0 pretty please Anders?). Greg Young started this push to have Spec# taken seriously as something that we want to see in the language soon and have it move its way out of research and into product roadmap. Here again is the bumper sticker that Greg made available.