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