My new hobby project.
I'm looking for a new job.
The joys of vibecoding.
From handles to hosting.
The protocol is the API.
Programming with proofs.
What is the type of 2 + 2 = 4?
A taste of Lean.
Personal update post.
I heard you like linting.
A layered module system.
Quoting for modules.
Why streaming isn't enough.
One does not simply serialize a module.
What do HTML, GraphQL, and RSC have in common?
You wouldn't download a site.
Islands, but make it fractal.
Tags on both sides.
Two worlds, two doors.
Composing across the stack.
Turning your API inside-out.
Two things, one origin.