News for hackers. Stuff that matters.
Re:TypeScripts Type System Is Turing Complete by klodolph on Wednesday August 02, 2017 @07:33PM (#14915636)
When people say "Turing-complete" it's usually assumed that we are talking about computational models which could emulate Turing machines given infinite memory. But we don't have infinite memory.

Adding time limits radically changes things.

There are no comments on this comment yet.