ladberg
- Karma
- 3,360
- Created
- 8 years ago
About
Contact me at hackernews@leoadberg.comRecent Submissions
- 1. ▲ Alleged Navier Stokes Existence and Smoothness Proof in Lean (twitter.com)
- 2. ▲ Optimizing ML training with metagradient descent (arxiv.org)
- 3. ▲ Xcode now supports Processor Trace profiling on M4/A18 (developer.apple.com)
- 4. ▲ Getting Faster for You (ridewithgps.com)
- 5. ▲ Rosetta 2 creator leaves Apple to work on Lean full-time (linkedin.com)
- 6. ▲ DisTrO and the Quest for Community-Trained AI Models (a16z.com)
- 7. ▲ Cerebras Co-Founder Deconstructs Blackwell GPU Delay [video] (youtube.com)