# Dan Abramov A blog by Dan Abramov This is one page of public article previews, not the complete archive. Follow Next page to continue. Summaries are not the original full articles. ## There Are No Instances in atproto DevFeed: [There Are No Instances in atproto]() Original publisher: [Read original article]() Published: 2026-06-19T00:00:00Z Content type: opinion Language: en Sources: [Dan Abramov]() Topics: [AT Protocol](), [Mastodon](), [Bluesky](), [ActivityPub](), [RSS Feed]() Tags: [centralization](), [mastodon](), [rss](), [web]() ### AI overview This opinion article argues that atproto has no equivalent of Mastodon instances. It distinguishes content hosting from aggregation and presents atproto as a different approach to decentralizing social networks, where applications project content rather than communities hosting users and their identities. ### Source excerpt Like RSS and Google Reader. ## Introducing RSC Explorer DevFeed: [Introducing RSC Explorer]() Original publisher: [Read original article]() Published: 2025-12-19T00:00:00Z Content type: tutorial Language: en Sources: [Dan Abramov]() Topics: [React](), [Protocol (disambiguation)](), [Single-page application (SPA)](), [JSON](), [Streaming](), [Simulation]() Tags: [build](), [json](), [protocol](), [react](), [simulation](), [streaming]() ### AI overview This article introduces RSC Explorer, a browser-based tool for examining how React Server Components serialize and deserialize React trees through the RSC protocol. It demonstrates JSON-like server stream data, client-side JSX reconstruction, and streaming behavior. The tool is a single-page application that runs locally in the browser and uses React's actual RSC protocol packages. ### Source excerpt My new hobby project. ## Hire Me in Japan DevFeed: [Hire Me in Japan]() Original publisher: [Read original article]() Published: 2025-11-11T00:00:00Z Content type: article Language: en Sources: [Dan Abramov]() Topics: [Job](), [JavaScript](), [Software Engineering](), [React](), [React Native](), [TypeScript](), [Bluesky](), [Open Source](), [pull-requests](), [Refactoring](), [Android]() Tags: [android](), [japan](), [javascript](), [new-job](), [open-source](), [pull-requests](), [react](), [react-native]() ### AI overview Dan Abramov is seeking a software engineering role in Japan and a company able to sponsor a working visa. He summarizes his experience with JavaScript and TypeScript, React consulting, contributions to Lean, and work on the Bluesky client app in React Native. ### Source excerpt I'm looking for a new job. ## A Reproducible Process for Fixing Bugs DevFeed: [A Reproducible Process for Fixing Bugs]() Original publisher: [Read original article]() Published: 2025-10-21T00:00:00Z Content type: tutorial Language: en Sources: [Dan Abramov]() Topics: [bug](), [React Router](), [React](), [Claude](), [Mocking](), [browser]() Tags: [bug](), [claude](), [how-to](), [mocking](), [react](), [react-router]() ### AI overview The article describes debugging a web app where adding a React Router server call caused scrolling to jitter. It argues that reliable reproductions are essential because Claude and human engineers can propose incorrect fixes without a reproducible test. ### Source excerpt The joys of vibecoding. ## How to Resolve AT Protocol URIs DevFeed: [How to Resolve AT Protocol URIs]() Original publisher: [Read original article]() Author: The User As The Authority Published: 2025-10-02T00:00:00Z Content type: tutorial Language: en Sources: [Dan Abramov]() Topics: [AT Protocol](), [JSON](), [SDK](), [client]() Tags: [client](), [json](), [protocol](), [scheme](), [sdk]() ### AI overview This tutorial explains how to resolve AT Protocol URIs to the JSON data they represent. It covers URI structure, handle-to-identity resolution, locating the current hosting server, and inspecting the resulting data with SDKs or client applications. ### Source excerpt From handles to hosting. ## Open Social: How the AT Protocol Changes Social Data DevFeed: [Open Social: How the AT Protocol Changes Social Data]() Original publisher: [Read original article]() Published: 2025-09-26T00:00:00Z Content type: opinion Language: en Sources: [Dan Abramov]() Topics: [AT Protocol](), [Bluesky](), [free software](), [data](), [API](), [Web]() Tags: [api](), [data](), [free-software](), [open](), [protocol](), [social-media]() ### AI overview This opinion article argues that open social could play a role for social applications similar to the role open source plays in software. It presents Bluesky's AT Protocol as a convincing, unfinished approach and explains how it changes the relationship between users, developers, products, and social data. ### Source excerpt The protocol is the API. ## A Lean Syntax Primer DevFeed: [A Lean Syntax Primer]() Original publisher: [Read original article]() Published: 2025-09-02T00:00:00Z Content type: tutorial Language: en Sources: [Dan Abramov]() Topics: [Lean](), [syntax](), [Programming](), [Code]() Tags: [code](), [how-to](), [learn](), [programming](), [syntax](), [types]() ### AI overview An opinionated introduction to Lean syntax covering definitions, assignment and comparison syntax, type inference, explicit type annotations, natural numbers, integers, and running code in the online playground or VS Code. It also introduces the distinction between executing Lean code and proving facts about it. ### Source excerpt Programming with proofs. ## How Lean Propositions Differ from TypeScript Booleans DevFeed: [How Lean Propositions Differ from TypeScript Booleans]() Original publisher: [Read original article]() Published: 2025-08-16T00:00:00Z Content type: tutorial Language: en Sources: [Dan Abramov]() Topics: [Lean](), [Programming](), [Mathematics](), [Code](), [TypeScript]() Tags: [mathematics](), [programming](), [programming-languages](), [types](), [typescript]() ### AI overview This tutorial compares logical expressions in TypeScript with propositions in Lean. It explains that Lean treats propositions as distinct values and types, and that proving a proposition requires supplying a proof rather than simply computing a Boolean result. ### Source excerpt What is the type of 2 + 2 = 4? ## A Taste of Lean: Formalizing Mathematics as Code DevFeed: [A Taste of Lean: Formalizing Mathematics as Code]() Original publisher: [Read original article]() Published: 2025-07-30T00:00:00Z Content type: tutorial Language: en Sources: [Dan Abramov]() Topics: [Lean](), [math](), [Programming](), [Code]() Tags: [2025](), [code](), [math](), [programming-language](), [syntax]() ### AI overview This tutorial introduces Lean, a programming language designed to formalize mathematics. It explains how Lean represents mathematical structures, theorems, and proofs as code, then uses a small equality theorem to demonstrate tactic states, incomplete proofs, universal proof suppression, and reflexivity. ### Source excerpt A taste of Lean. ## I'm Doing a Little Consulting DevFeed: [I'm Doing a Little Consulting]() Original publisher: [Read original article]() Published: 2025-06-11T00:00:00Z Content type: article Language: en Sources: [Dan Abramov]() Topics: [Development](), [React](), [Expo](), [ui](), [Software Engineering]() Tags: [consulting](), [personal](), [post](), [react](), [react-native](), [software-engineering](), [ui]() ### AI overview A personal update announcing that the author is offering paid, one-to-one consulting on UI engineering, with expertise in React and React Native. The author discusses architectural and performance challenges, technical issues, and broader product and infrastructure development. ### Source excerpt Personal update post. ## Suppressions of Suppressions DevFeed: [Suppressions of Suppressions]() Original publisher: [Read original article]() Published: 2025-06-11T00:00:00Z Content type: article Language: en Sources: [Dan Abramov]() Topics: [Code](), [ci](), [syntax](), [Open Source]() Tags: [ci](), [code](), [false-positives](), [lint](), [linter](), [open-source](), [rules]() ### AI overview The article examines lint-rule suppressions: they can handle false positives and gradual rule adoption, but suppressing certain rules may cause serious problems. It proposes a lint rule that prevents suppression of selected other rules and notes that this protection can itself be suppressed. ### Source excerpt I heard you like linting. ## How Imports Work in RSC DevFeed: [How Imports Work in RSC]() Original publisher: [Read original article]() Published: 2025-06-05T00:00:00Z Content type: tutorial Language: en Sources: [Dan Abramov]() Topics: [modules](), [JavaScript](), [Back end](), [Front end](), [Programming]() Tags: [article](), [code](), [components](), [deep-dive](), [javascript](), [module]() ### AI overview This deep dive explains how JavaScript module systems split code between frontend and backend environments, and how React Server Components use import-related semantics to support applications spanning both sides. ### Source excerpt A layered module system. ## RSC for LISP Developers DevFeed: [RSC for LISP Developers]() Original publisher: [Read original article]() Published: 2025-06-01T00:00:00Z Content type: tutorial Language: en Sources: [Dan Abramov]() Topics: [Lisp](), [modules](), [React](), [JavaScript](), [client](), [Back end]() Tags: [backend](), [client](), [code](), [javascript](), [lisp](), [modules](), [react]() ### AI overview This article explains React Server Components to LISP developers by comparing RSC's treatment of client modules as deferred code with LISP quoting, where code can be treated as data. It describes how bundling and client-side evaluation enable modular behavior across server and client stages. ### Source excerpt Quoting for modules. ## Progressive JSON DevFeed: [Progressive JSON]() Original publisher: [Read original article]() Published: 2025-05-31T00:00:00Z Content type: article Language: en Sources: [Dan Abramov]() Topics: [JSON](), [Streaming](), [Parser](), [client](), [Server]() Tags: [application](), [client](), [json](), [server](), [streaming]() ### AI overview The article explains why conventional JSON transfer requires clients to wait for the complete payload before parsing and processing it. It examines streaming JSON parsers, noting that incomplete object trees create missing fields and uncertain completeness, which makes the resulting data difficult to use in application logic. ### Source excerpt Why streaming isn't enough. ## Why Does RSC Integrate with a Bundler? DevFeed: [Why Does RSC Integrate with a Bundler?]() Original publisher: [Read original article]() Published: 2025-05-30T00:00:00Z Content type: tutorial Language: en Sources: [Dan Abramov]() Topics: [React](), [Webpack](), [Vite](), [Programming]() Tags: [integration](), [modules](), [programming](), [react](), [vite](), [webpack]() ### AI overview The article explains why React Server Components (RSC) integrate with JavaScript bundlers. Because RSC sends references to executable module code as well as serialized data, bundlers help avoid inefficient network waterfalls by discovering imports and producing bundle chunks. Bundler-less ESM is possible but described as inefficient without further optimization, while realistic integrations are bundler-specific. ### Source excerpt One does not simply serialize a module. ## One Roundtrip Per Navigation DevFeed: [One Roundtrip Per Navigation]() Original publisher: [Read original article]() Published: 2025-05-29T00:00:00Z Content type: article Language: en Sources: [Dan Abramov]() Topics: [HTML](), [Web Development](), [REST API](), [API](), [browser]() Tags: [api](), [browser](), [client](), [html](), [rest-api](), [server](), [web-development]() ### AI overview The article examines how many network roundtrips navigation should require. It contrasts traditional HTML applications, where the server returns the page and its data in one response, with client-side applications that may need multiple API fetches. ### Source excerpt What do HTML, GraphQL, and RSC have in common? ## Hybrid Frameworks Can Serve Static and Server-Rendered Pages DevFeed: [Hybrid Frameworks Can Serve Static and Server-Rendered Pages]() Original publisher: [Read original article]() Published: 2025-05-08T00:00:00Z Content type: opinion Language: en Sources: [Dan Abramov]() Topics: [Framework](), [React](), [Astro](), [Cloudflare](), [Hugo](), [Jekyll]() Tags: [cdn](), [cloudflare](), [flexibility](), [fragmentation](), [hosting](), [hugo](), [jekyll](), [static]() ### AI overview The article argues that hybrid frameworks, which support both server and static output, can reduce tooling fragmentation and give developers more flexibility. It explains that static pages can be generated by running a server framework during the build process and storing the resulting responses. ### Source excerpt You wouldn't download a site. ## RSC for Astro Developers DevFeed: [RSC for Astro Developers]() Original publisher: [Read original article]() Published: 2025-05-06T00:00:00Z Content type: tutorial Language: en Sources: [Dan Abramov]() Topics: [Astro](), [React](), [React Component](), [JavaScript](), [Web Development]() Tags: [astro](), [frontend](), [javascript](), [react](), [react-component]() ### AI overview This tutorial compares Astro's server-rendered Astro Components and interactive Client Islands with React Server Components and Client Components. It explains their similar mental models and highlights differences in syntax, file structure, props, templates, and the use of directives to separate server and client code. ### Source excerpt Islands, but make it fractal. ## Functional HTML DevFeed: [Functional HTML]() Original publisher: [Read original article]() Published: 2025-05-02T00:00:00Z Content type: opinion Language: en Sources: [Dan Abramov]() Topics: [HTML](), [JavaScript](), [JSON]() Tags: [functional](), [html](), [javascript](), [json]() ### AI overview The article reimagines HTML as a functional, serialized format. It proposes defining custom tags with JavaScript functions, passing attributes and objects, and serializing the resulting structure as a JSON tree that can later be converted into conventional HTML. It also considers asynchronously reading data from the filesystem during serialization. ### Source excerpt Tags on both sides. ## What Does "use client" Do? DevFeed: [What Does "use client" Do?]() Original publisher: [Read original article]() Published: 2025-04-25T00:00:00Z Content type: tutorial Language: en Sources: [Dan Abramov]() Topics: [React](), [client](), [servers](), [Back end](), [Code](), [Front end]() Tags: [backend](), [client](), [code](), [frontend](), [import](), [react](), [server]() ### AI overview This tutorial explains what the React "use client" directive does. It presents client/server directives as a way to express boundaries within the module system and discusses how code can span separate machines despite network and serialization constraints. ### Source excerpt Two worlds, two doors. ## Impossible Components DevFeed: [Impossible Components]() Original publisher: [Read original article]() Published: 2025-04-22T00:00:00Z Content type: tutorial Language: en Sources: [Dan Abramov]() Topics: [React](), [Back end](), [Front end](), [Framework]() Tags: [backend](), [components](), [frontend](), [react](), [stack](), [state]() ### AI overview This tutorial explains how React Server Components can compose backend and frontend code into a single component abstraction. It demonstrates top-down data flow from backend-loaded data to interactive frontend state, including independently rendered and editable instances. ### Source excerpt Composing across the stack. ## JSX Over The Wire DevFeed: [JSX Over The Wire]() Original publisher: [Read original article]() Published: 2025-04-16T00:00:00Z Content type: article Language: en Sources: [Dan Abramov]() Topics: [React](), [API](), [React Component](), [Database]() Tags: [api](), [database](), [react](), [react-component](), [ui](), [viewmodel]() ### AI overview The article explores an inside-out approach in which an API returns React components or JSX rather than only JSON data. It then examines the difference between raw Models stored in databases and personalized, aggregated ViewModels consumed by a UI. ### Source excerpt Turning your API inside-out. ## React for Two Computers DevFeed: [React for Two Computers]() Original publisher: [Read original article]() Published: 2025-04-09T00:00:00Z Content type: article Language: en Sources: [Dan Abramov]() Topics: [React](), [Haskell](), [JavaScript]() Tags: [haskell](), [javascript](), [react]() ### AI overview A set of notes complementing a React Conf talk about React Server Components. The article explores the conceptual and behavioral differences between tags and function calls, including how naming and passed information shape developers' expectations across languages. ### Source excerpt Two things, one origin. ## The Two Reacts DevFeed: [The Two Reacts]() Original publisher: [Read original article]() Published: 2024-01-04T00:00:00Z Content type: article Language: en Sources: [Dan Abramov]() Topics: [React](), [ui](), [Code](), [Programming](), [client](), [Server](), [web applications]() Tags: [client](), [code](), [programming](), [react](), [server](), [ui](), [web]() ### AI overview This article explains how React components can run on either the client or the server. It uses a counter example to show why client-side execution enables immediate interaction through client state, while server-rendered UI may introduce a delay. ### Source excerpt UI = f(data)(state) [Next page]()