HNHacker News
TopNewBestAskShowJobs

ladberg

3,476 karma · joined August 10, 2017

Contact me at hackernews@leoadberg.com
submissionscomments

Alleged Navier Stokes Existence and Smoothness Proof in Lean

twitter.com·2 pts·ladberg·
0

Optimizing ML training with metagradient descent

arxiv.org·83 pts·ladberg·
13

Xcode now supports Processor Trace profiling on M4/A18

developer.apple.com·36 pts·ladberg·
3

Getting Faster for You

ridewithgps.com·2 pts·ladberg·
1

Rosetta 2 creator leaves Apple to work on Lean full-time

linkedin.com·407 pts·ladberg·
134

DisTrO and the Quest for Community-Trained AI Models

a16z.com·1 pts·ladberg·
0

Cerebras Co-Founder Deconstructs Blackwell GPU Delay [video]

youtube.com·2 pts·ladberg·
0

Rendering Path of Exile 2 [video]

youtube.com·1 pts·ladberg·
0

.splat universal format discussion (3D Gaussian Splats)

github.com·1 pts·ladberg·
0

Paul Debevec talks early CGI breakthroughs with VFX artists [video]

youtube.com·2 pts·ladberg·
0

Because of their embarrassment, I’m no longer at Blizzard

twitter.com·25 pts·ladberg·
4

Ask HN: Compilation Times Poll

1 pts·ladberg·
1

Show HN: textshader.com

textshader.com·260 pts·ladberg·
21

Why FTL implies time travel (2016)

physicsmatt.com·12 pts·ladberg·
5

Ask HN: There are 5 S-1 posts on the front page, what explains the rush?

134 pts·ladberg·
43

Ask HN: How do I get a two-stage (indirect) evaporative cooler?

2 pts·ladberg·
3

Show HN: Turn an image into Unknown Pleasures style art

github.com·6 pts·ladberg·
0

Braess's Paradox

en.wikipedia.org·2 pts·ladberg·
2

Ask HN: Do you answer Equal Opportunity Employment forms?

2 pts·ladberg·
1