The Future of Mathematics? | Hacker News Reader