Ist der letzte Satz in einem Beweis des Halteproblems in Gedichtsform:

You can never find general mechanical means
for predicting the acts of computing machines.
It’s something that cannot be done. So we users
must find our own bugs. Our computers are losers!

Via Philip Wadler.