A value-based approach to mathematics | Hacker News Reader