andeeplus.comSource editionBack to newspaperFresh ReadsSource desk · BlogDan Abramov59 entries in the archiveNewest: Sep 18, 2026Official siteJavaScriptReactDan AbramovHow I Vibed a Proof of Conway’s ConjectureSep 18, 2026You can just prove things, apparently.Dan AbramovPickThere Are No Instances in atprotoJun 19, 2026Like RSS and Google Reader.Dan AbramovA Social FilesystemJan 18, 2026Formats over apps.Dan AbramovIntroducing RSC ExplorerDec 19, 2025My new hobby project.Dan AbramovHire Me in JapanNov 11, 2025I'm looking for a new job.Dan AbramovHow to Fix Any BugOct 21, 2025The joys of vibecoding.Dan AbramovWhere It's at://Oct 2, 2025From handles to hosting.Dan AbramovOpen SocialSep 26, 2025The protocol is the API.Dan AbramovA Lean Syntax PrimerSep 2, 2025Programming with proofs.Dan AbramovBeyond BooleansAug 16, 2025What is the type of 2 + 2 = 4?Dan AbramovThe Math Is HauntedJul 30, 2025A taste of Lean.Dan AbramovSuppressions of SuppressionsJun 11, 2025I heard you like linting.Dan AbramovI'm Doing a Little ConsultingJun 11, 2025Personal update post.Dan AbramovHow Imports Work in RSCJun 5, 2025A layered module system.Dan AbramovRSC for LISP DevelopersJun 1, 2025Quoting for modules.Dan AbramovProgressive JSONMay 31, 2025Why streaming isn't enough.Dan AbramovWhy Does RSC Integrate with a Bundler?May 30, 2025One does not simply serialize a module.Dan AbramovOne Roundtrip Per NavigationMay 29, 2025What do HTML, GraphQL, and RSC have in common?Dan AbramovStatic as a ServerMay 8, 2025You wouldn't download a site.Dan AbramovRSC for Astro DevelopersMay 6, 2025Islands, but make it fractal.Dan AbramovFunctional HTMLMay 2, 2025Tags on both sides.Dan AbramovWhat Does "use client" Do?Apr 25, 2025Two worlds, two doors.Dan AbramovImpossible ComponentsApr 22, 2025Composing across the stack.Dan AbramovJSX Over The WireApr 16, 2025Turning your API inside-out.Showing 1–24 of 59Older entries
Dan AbramovHow I Vibed a Proof of Conway’s ConjectureSep 18, 2026You can just prove things, apparently.
