How I Vibed a Proof of Conway’s Conjecture
You can just prove things, apparently.
Author
DA
Dan Abramov
32 articles by Dan Abramov.
32 articles by Dan Abramov.
You can just prove things, apparently.
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.
Found 99 vulnerabilities (84 moderately irrelevant, 15 highly irrelevant)
Rendering optimizations that come naturally.
Come waste your time with me.
Let clean code guide you. Then let it go.
A personal reflection.