Hacker News new | ask | show | jobs
by neaanopri 703 days ago
It's more accurate to say that in principle, there could be programs that would halt, but that the verifier will deny.