Tuesday, August 07, 2007
Meet the Verifier
This NYT article suffers from all such news pieces, that it's not technical enough for you to really understand what's going on. Even so, this description of a guy who goes around pointing out how entire fields are blind to their assumptions is just awesome. I mean, he's getting paid to do what I do for free.
If you wish to better understand Zeno's worry about the continuum, you could do worse than to consider loops in software. Case 1: You...
Declares LewRockwell.com : "All of this means that while the government has been artificially propping up the economy and 'stimu...
Is shaping up nicely .
The language won't die, but that doesn't mean the programmers won't ! Funny quote: '"Just because a language is 50...