List of Long Mathematical Proofs | Hacker News Reader