1Alleged Navier Stokes Existence and Smoothness Proof in Lean (opens in new tab)(twitter.com)2ladberg3mo ago0
3Xcode now supports Processor Trace profiling on M4/A18 (opens in new tab)(developer.apple.com)36ladberg1y ago3
5Rosetta 2 creator leaves Apple to work on Lean full-time (opens in new tab)(linkedin.com)407ladberg1y ago134