Skip to content

Top New Best Ask Show Jobs

ladberg | Better HN

ladberg

3,417 karmaJoined August 10, 2017700 submissions

Contact me at hackernews@leoadberg.com

Recent submissions

1

Alleged Navier Stokes Existence and Smoothness Proof in Lean (opens in new tab)

(twitter.com)

2ladberg3mo ago0

2

Optimizing ML training with metagradient descent (opens in new tab)

(arxiv.org)

83ladberg1y ago13

3

Xcode now supports Processor Trace profiling on M4/A18 (opens in new tab)

(developer.apple.com)

36ladberg1y ago3

4

Getting Faster for You (opens in new tab)

(ridewithgps.com)

2ladberg1y ago1

5

Rosetta 2 creator leaves Apple to work on Lean full-time (opens in new tab)

(linkedin.com)

407ladberg1y ago134

6

DisTrO and the Quest for Community-Trained AI Models (opens in new tab)

(a16z.com)

1ladberg1y ago0