Overreacted

Where It's at://

From handles to hosting.... read more

Open Social

The protocol is the API.... read more

A Lean Syntax Primer

Programming with proofs.... read more

Beyond Booleans

What is the type of 2 + 2 = 4?... read more

The Math Is Haunted

A taste of Lean.... read more

Suppressions of Suppressions

I heard you like linting.... read more

I'm Doing a Little Consulting

Personal update post.... read more

How Imports Work in RSC

A layered module system.... read more

RSC for LISP Developers

Quoting for modules.... read more

Progressive JSON

Why streaming isn't enough.... read more