Terence Tao on Navier-Stokes progress | Hacker News Reader