Proofs and Prompts | Hacker News Reader