Stories by danabramov

Tap: At Repository Synchronization Made Simple

How to Fix Any Bug

React Compiler v1.0

My first week of vibecoding

Where it's at://

A Lean Syntax Primer

Lean for JavaScript Developers

How the Lean language brings math to coding and coding to math (2024)

Beyond Booleans

The Math Is Haunted

Suppressions of Suppressions

How Imports Work in RSC

Progressive JSON

Why Does RSC Integrate with a Bundler?

One Roundtrip per Navigation

Static as a Server

Functional HTML

What Does "use client" Do?

JSX over the Wire

1
2
3
4
5