Our plans for computational math | Hacker News Reader