Ask HN: High-level math, useful? | Hacker News Reader