technology Finite time blowup for an averaged three-dimensional Navier-Stokes equation (2014) Hacker News Sat Comments terrytao.wordpress.com