Proof Math Is Engineered? | Hacker News Reader