You can just prove things, apparently.
18 Sep 2026A blog by Dan Abramov
Latest posts
Like RSS and Google Reader.
19 Jun 2026Formats over apps.
18 Jan 2026My new hobby project.
19 Dec 2025I'm looking for a new job.
11 Nov 2025The joys of vibecoding.
21 Oct 2025From handles to hosting.
2 Oct 2025The protocol is the API.
26 Sep 2025Programming with proofs.
2 Sep 2025What is the type of 2 + 2 = 4?
16 Aug 2025A taste of Lean.
30 Jul 2025I heard you like linting.
11 Jun 2025Personal update post.
11 Jun 2025A layered module system.
5 Jun 2025Quoting for modules.
1 Jun 2025Why streaming isn't enough.
31 May 2025One does not simply serialize a module.
30 May 2025What do HTML, GraphQL, and RSC have in common?
29 May 2025You wouldn't download a site.
8 May 2025Islands, but make it fractal.
6 May 2025