Unpacking the Navier–Stokes blowup: the math, the machines, & the mathematicians | Hacker News Reader