Have we ever lost mathematics? | Hacker News Reader