ladberg Karma 3,461 Created 8 years ago About Contact me at hackernews@leoadberg.com Recent Submissions 1. ▲ Alleged Navier Stokes Existence and Smoothness Proof in Lean (twitter.com) 2 points · 6 months ago · 0 comments 2. ▲ Optimizing ML training with metagradient descent (arxiv.org) 83 points · 1 year ago · 13 comments All submissions on HN · View profile on HN