Some Poetry to Make You Smile
A few minutes ago, a good friend of mine recommended me this brief piece of poetry. I thought I'd share it here. It did make me smile.
SCOOPING THE LOOP SNOOPER
A proof that the Halting Problem is undecidable
Geoffrey K. Pullum
(School of Philosophy, Psychology and Language Sciences, University of Edinburgh)
No general procedure for bug checks succeeds.
Continue reading →