How Terence Tao simplifies complex papers | Hacker News Reader