The Central Dogma of Mathematical Formalism | Hacker News Reader