It is time for a New Deal for Mathematics | Hacker News Reader