Scooping the Loop Snooper: A proof that the Halting Problem is undecidablelel.ed.ac.uk4 points·simonsarris··0 commentsOpen articleSaveView on HN