Halting Is Poly-Time Quantum Provable | Hacker News Reader