Scooping the Loop Snooper, a [poetic] proof the halting problem is undecidable. | Hacker News Reader