Unpacking the Navier–Stokes blowup: the math, the machines, & the mathematiciansblog.kolen.dev 1KolenCh18hdiscuss