Mathematical Proof Between Generations | Hacker News Reader