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