Startup wants to change how mathematicians do math | Hacker News Reader