The Incredible Proof Machine – An Introduction | Hacker News Reader