On Mon, Apr 5, 2010 at 4:00 AM, Heinrich Apfelmus <apfelmus@quantentunnel.de> wrote:

...

Does it scale?  Absolutely, spec2code is not confined to specifications for which optimized algorithms are already known. spec2code can be used to implement operation systems, device drivers, build systems, package management tools, and even do your shirt laundry.  spec2code will change your job from programmer to specification author, giving you more time for meetings, managing email, and browsing the web.  Say goodbye to those dirty Perl scripts, broken C code, and ultimately, your job.  spec2code is the future of programming and the beginning of the end of mankind.

Looking forward to obsoleting you soon,

Awesome! Given the great potential of the new  spec2code  compiler, the reception seems to be somewhat chilly. But maybe that's because no one likes to be obsoleted...

Or it could just be that time of year. (Apr 1st)