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 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 ]

There are no comments on this comment yet.