Quantum Adiabatic and Quantum Circuit algorithms proven equivalent | Hacker News Reader