technology Every mathematician has only a few tricks (2020) Hacker News Sat Comments mathoverflow.net