How to Fix Any Bug
The joys of vibecoding.... read more
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