Overreacted
13 stories
I used AI to prove a 50-year-old math conjecture
A programmer spent a month and billions of tokens getting frontier models to solve Conway's refinement conjecture in Lean.
3m · 5 views
Progressive JSON: stop waiting for the last byte
Why JSON's all-or-nothing wire format wastes time, and how sending the tree breadth-first with placeholders unlocks progressive loading.
3m
Dan Abramov is between things
After Meta and Bluesky, Dan Abramov is taking a break, watching his field change, and opening up a few hours of consulting.
1m · 9 views
How Imports Work in RSC
Dan Abramov rebuilds the frontend/backend split from first principles, and RSC turns out to be two small additions to the module system.
4m
Why 2 + 2 = 4 is a type, not a boolean
Lean treats every logical claim as a type you must build a value for, and that one shift lets you pass proven facts around a program.
4m
Lean, explained the way you'd want it explained
A hands-on tour of Lean's syntax, from def and #eval to proofs that run at typecheck time.
4m
Open Social: How We Reclaim Our Data on the Web
Just as open source liberated code, open social protocols are poised to return data ownership and digital identity to users.
3m
Where It's at: How the AT Protocol Resolves Data
Unpack how the AT Protocol decouples identity from hosting to give users true ownership of their data.
3m
How to Fix Any Bug: A Systematic Framework
Learn the step-by-step reduction process Dan Abramov uses to solve frustrating software bugs when AI and guessing fail.
3m · 6 views
Dan Abramov Is Looking for a Software Role in Japan
React co-creator Dan Abramov is ending his sabbatical and seeking an English-speaking engineering role in Japan with visa sponsorship.
2m · 6 views
Inside RSC Explorer: Demystifying React Server Components
Learn how React Server Components serialize trees, handle streaming, and manage state under the hood with Dan Abramov's RSC Explorer.
1m · 5 views
Why We Need a Filesystem for Social Media
Personal computing gave us true ownership of our data through files. It is time social platforms did the same.
1m
Why AT Protocol Has No Instances
Understanding why comparing Bluesky to Mastodon is a category error that misses how modern decentralized social media works.
1m