Skip to content
Hackerly
Top
New
Best
Ask
Show
Jobs
Saved
History
Top
New
Best
Ask
Show
Jobs
Saved
History
ladberg
3,476 karma
joined August 10, 2017
On HN
Contact me at hackernews@leoadberg.com
Recent submissions
Alleged Navier Stokes Existence and Smoothness Proof in Lean
twitter.com
2
ladberg
8mo
discuss
Optimizing ML training with metagradient descent
arxiv.org
83
ladberg
1y
13 comments
Xcode now supports Processor Trace profiling on M4/A18
developer.apple.com
36
ladberg
1y
3 comments
Getting Faster for You
ridewithgps.com
2
ladberg
1y
1 comment
Rosetta 2 creator leaves Apple to work on Lean full-time
linkedin.com
407
ladberg
1y
134 comments
DisTrO and the Quest for Community-Trained AI Models
a16z.com
1
ladberg
1y
discuss
Cerebras Co-Founder Deconstructs Blackwell GPU Delay [video]
youtube.com
2
ladberg
2y
discuss
All submissions
and
comments
on Hacker News.