News for hackers. Stuff that matters.
Re:Braid is undecidable (2014) [pdf] by wolfgke on Tuesday June 02, 2015 @04:51PM (#9648878)
> The classic decidable problem is "the halting problem".

The classic undecidable problem ...

There are no comments on this comment yet.