> Releasing over 700 files at once is not a demonstration of scholarship, but a demonstration of power.
One of the best sentences in this short and potent post.
One of the best sentences in this short and potent post.
The navier stokes paper is 166 pages long and the lean code is over 500 kloc. Nothing about that is “clear”. Someone has to real ALL of that to see if the proof is clearly right or wrong.