Stories by danabramov

Docs.surf

AT Protocol Primer

Let's Build an Atmospheric Web

Publishing on the ATmosphere

Lex-Gql: GraphQL for AT Protocol

Woodshed: Create, run, rate, and iterate on your Claude Skills

Atmospheric Computing

RSC Explorer

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

1
2
3
4
5
6