How I Vibed a Proof of Conway’s Conjecture
You can just prove things, apparently.
There Are No Instances in atproto
Like RSS and Google Reader.
A Social Filesystem
Formats over apps.
Introducing RSC Explorer
My new hobby project.
Hire Me in Japan
I'm looking for a new job.
How to Fix Any Bug
The joys of vibecoding.
Where It's at://
From handles to hosting.
Open Social
The protocol is the API.
A Lean Syntax Primer
Programming with proofs.
Beyond Booleans
What is the type of 2 + 2 = 4?
The Math Is Haunted
A taste of Lean.
Suppressions of Suppressions
I heard you like linting.
I'm Doing a Little Consulting
Personal update post.
How Imports Work in RSC
A layered module system.
RSC for LISP Developers
Quoting for modules.
Progressive JSON
Why streaming isn't enough.
Why Does RSC Integrate with a Bundler?
One does not simply serialize a module.
One Roundtrip Per Navigation
What do HTML, GraphQL, and RSC have in common?
Static as a Server
You wouldn't download a site.
RSC for Astro Developers
Islands, but make it fractal.
Functional HTML
Tags on both sides.
What Does "use client" Do?
Two worlds, two doors.
Impossible Components
Composing across the stack.
JSX Over The Wire
Turning your API inside-out.
React for Two Computers
Two things, one origin.
The Two Reacts
UI = f(data)(state)
A Chain Reaction
The limits of my language mean the limits of my world.
npm audit: Broken by Design
Found 99 vulnerabilities (84 moderately irrelevant, 15 highly irrelevant)
Before You memo()
Rendering optimizations that come naturally.
The WET Codebase
Come waste your time with me.
Goodbye, Clean Code
Let clean code guide you. Then let it go.
My Decade in Review
A personal reflection.