(claimed) Global regularity for the Navier-Stokes equations | Hacker News Reader