News for hackers. Stuff that matters.

A comment on MIT develops new tool that can interrupt infinite loops. Parent comment

Re:MIT develops new tool that can interrupt infinite loops by simonsarris on Tuesday August 02, 2011 @04:07PM (#2838496)
I was surprised too. I expected a mention of it, and a link to the poetic and intuitive proof-story of why its a problem would be good for the story too.

In case other HNers haven't read Scooping the Loop Snooper, I (re)submitted it:

http://news.ycombinator.com/item?id=2838488

[ Parent | on HN ]
Re:MIT develops new tool that can interrupt infinite loops by scott_s on Tuesday August 02, 2011 @07:25PM (#2839114)
The old thread with discussions on why the proof works: http://news.ycombinator.com/item?id=1321899
[ Parent | on HN ]