Computer Scientists Learned to Reinvent the Proof | Hacker News Reader