Programming Theorems

Here's a blog post you developer geeks out there should appreciate:

http://www.destraynor.com/serendipity/index.php?/archives/102-Programming-Theorems.html