Vi Hart's Big Navier-Stokes Post(patreon.com)
15 points by signa11 | 3 comments
A Patreon post by Vi Hart, in six parts, about the Navier-Stokes problem, the Lean theorem prover and Mathlib, OpenAI, and the politics of mathematics.
#vi-hart on Hacker News
1 story tagged vi-hart, newest first.