March 24, 2022 Alina Scooping the Loop Snooper: proof of the undecidability of the halting problem [pdf]