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
Why Does RSC Integrate with a Bundler?
One does not simply serialize a module.... read more
One Roundtrip Per Navigation
What do HTML, GraphQL, and RSC have in common?... read more
Static as a Server
You wouldn't download a site.... read more