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 932 followers

Latest posts

Last updated 16 days ago

Where It's at://

17 days ago

From handles to hosting.

Open Social

23 days ago

The protocol is the API.

A Lean Syntax Primer

about 2 months ago

Programming with proofs.

Lean for JavaScript Developers

about 2 months ago

Programming with proofs.

Beyond Booleans

2 months ago

What is the type of 2 + 2 = 4?

The Math Is Haunted

3 months ago

A taste of Lean.

Suppressions of Suppressions

4 months ago

I heard you like linting.

I'm Doing a Little Consulting

4 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.

Why Does RSC Integrate with a Bundler?

5 months ago

One does not simply serialize a module.