There Are No Instances in atproto
Like RSS and Google Reader.
Dan Abramov on React, JavaScript, and programming craft.
Like RSS and Google Reader.
Formats over apps.
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.
I heard you like linting.
Personal update post.
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.
UI = f(data)(state)
The limits of my language mean the limits of my world.