Everything you care about in one place

Follow feeds: blogs, news, RSS and more. An effortless way to read and digest content of your choice.

Get Feeder

overreacted.io

Overreacted

Get the latest updates from Overreacted directly as they happen.

Follow now 933 followers

Latest posts

Last updated 11 days ago

How to Fix Any Bug

11 days ago

The joys of vibecoding.

Where It's at://

about 1 month ago

From handles to hosting.

Open Social

about 1 month ago

The protocol is the API.

A Lean Syntax Primer

2 months ago

Programming with proofs.

Lean for JavaScript Developers

2 months ago

Programming with proofs.

Beyond Booleans

3 months ago

What is the type of 2 + 2 = 4?

The Math Is Haunted

3 months ago

A taste of Lean.

Suppressions of Suppressions

5 months ago

I heard you like linting.

I'm Doing a Little Consulting

5 months ago

Personal update post.

How Imports Work in RSC

5 months ago

A layered module system.

RSC for LISP Developers

5 months ago

Quoting for modules.

Progressive JSON

5 months ago

Why streaming isn't enough.