Mathematicians: Trust, but Verify | Hacker News Reader