News for hackers. Stuff that matters.

A comment on Did Turing prove the undecidability of the halting problem?. Parent comment

Re:Did Turing prove the undecidability of the halting problem? by bionhoward on Tuesday July 02, 2024 @06:19AM (#40855153)
Relevant video about MIP*=RE

https://youtu.be/2H8629BCbkM

[ Parent | on HN ]
Re:Did Turing prove the undecidability of the halting problem? by ykonstant on Tuesday July 02, 2024 @07:15AM (#40855480)
Lovely video!
[ Parent | on HN ]