ladberg | Dark Hacker News

user:	ladberg
created:	August 10, 2017
karma:	3.4k
about:	Contact me at hackernews@leoadberg.com

1.	Alleged Navier Stokes Existence and Smoothness Proof in Lean(twitter.com) 2 points by ladberg 147 days ago \| 0 comments
2.	Optimizing ML training with metagradient descent(arxiv.org) 83 points by ladberg 1 year ago \| 13 comments
3.	Xcode now supports Processor Trace profiling on M4/A18(developer.apple.com) 36 points by ladberg 1 year ago \| 3 comments
4.	Getting Faster for You(ridewithgps.com) 2 points by ladberg 1 year ago \| 1 comment