Some programmers claim that their code is poetry, but there are few programmers whose poetry might count as code. Recently, Phil Windley posted A Halting Problem in Verse to his Technometria blog. It contains a link to a proof that the halting problem is insolvable, written by Geoffrey Pullum in the style of Dr. Suess.
Nat Pryce posted part of his collection of Laws of Software Development to his blog, Mistaeks I Hav Made.
My, my, we programmers are a cynical lot.
