1Alleged Navier Stokes Existence and Smoothness Proof in Lean (opens in new tab)(twitter.com)2ladberg6mo ago0Save
2Optimizing ML training with metagradient descent (opens in new tab)(arxiv.org)arXiv83ladberg1y ago13Save
3Xcode now supports Processor Trace profiling on M4/A18 (opens in new tab)(developer.apple.com)36ladberg1y ago3Save
5Rosetta 2 creator leaves Apple to work on Lean full-time (opens in new tab)(linkedin.com)407ladberg1y ago134Save
6DisTrO and the Quest for Community-Trained AI Models (opens in new tab)(a16z.com)1ladberg1y ago0Save
7Cerebras Co-Founder Deconstructs Blackwell GPU Delay [video] (opens in new tab)(youtube.com)Video2ladberg1y ago0Save
