1Alleged Navier Stokes Existence and Smoothness Proof in Lean (opens in new tab)(twitter.com)2ladberg4mo ago0
3Xcode now supports Processor Trace profiling on M4/A18 (opens in new tab)(developer.apple.com)36ladberg1y ago3