danabramov's submissions

1.		A Proof of Conway's Refinement Conjecture in Lean (github.com/gaearon)
		2 points by danabramov 7 days ago \| past \| discuss
2.		Bluesky Protocol Services (atproto.com)
		213 points by danabramov 29 days ago \| past \| 72 comments
3.		What Is the Atmosphere? (leaflet.pub)
		7 points by danabramov 45 days ago \| past
4.		ATProto Permissioned Data Proposal Draft (github.com/bluesky-social)
		44 points by danabramov 80 days ago \| past \| 4 comments
5.		There are no instances in ATProto (overreacted.io)
		537 points by danabramov 84 days ago \| past \| 315 comments
6.		Physics as a Game Loop. Part 1: Objects and Waves (leaflet.pub)
		1 point by danabramov 3 months ago \| past
7.		Japanese Verb Conjugation the Simple Hard Way (leaflet.pub)
		3 points by danabramov 3 months ago \| past
8.		AT Protocol for Agents (davidgasquez.com)
		5 points by danabramov 3 months ago \| past
9.		Kill Chain (artificialbureaucracy.substack.com)
		1 point by danabramov 5 months ago \| past
10.		AT Protocol (New Site) (atproto.com)
		5 points by danabramov 6 months ago \| past \| 2 comments
11.		Docs.surf (docs.surf)
		2 points by danabramov 7 months ago \| past
12.		AT Protocol Primer (stevedylan.dev)
		2 points by danabramov 7 months ago \| past
13.		Let's Build an Atmospheric Web (leaflet.pub)
		2 points by danabramov 7 months ago \| past
14.		Publishing on the ATmosphere (offprint.app)
		38 points by danabramov 7 months ago \| past \| 37 comments
15.		Lex-Gql: GraphQL for AT Protocol (tangled.org)
		2 points by danabramov 7 months ago \| past
16.		Woodshed: Create, run, rate, and iterate on your Claude Skills (tangled.org)
		2 points by danabramov 8 months ago \| past \| 1 comment
17.		Atmospheric Computing (pfrazee.com)
		1 point by danabramov 8 months ago \| past
18.		RSC Explorer (overreacted.io)
		10 points by danabramov 8 months ago \| past \| 4 comments
19.		Tap: At Repository Synchronization Made Simple (bsky.app)
		2 points by danabramov 9 months ago \| past
20.		How to Fix Any Bug (overreacted.io)
		6 points by danabramov 10 months ago \| past
21.		React Compiler v1.0 (react.dev)
		4 points by danabramov 11 months ago \| past
22.		My first week of vibecoding (leaflet.pub)
		30 points by danabramov 11 months ago \| past \| 26 comments
23.		Where it's at:// (overreacted.io)
		1 point by danabramov 11 months ago \| past
24.		A Lean Syntax Primer (overreacted.io)
		2 points by danabramov 11 months ago \| past
25.		Open Social (overreacted.io)
		1 point by danabramov 11 months ago \| past
26.		Lean for JavaScript Developers (overreacted.io)
		2 points by danabramov on Sept 2, 2025 \| past
27.		How the Lean language brings math to coding and coding to math (2024) (amazon.science)
		2 points by danabramov on Aug 31, 2025 \| past
28.		Beyond Booleans (overreacted.io)
		5 points by danabramov on Aug 16, 2025 \| past
29.		The Math Is Haunted (overreacted.io)
		409 points by danabramov on July 30, 2025 \| past \| 194 comments
30.		Suppressions of Suppressions (overreacted.io)
		3 points by danabramov on June 12, 2025 \| past
		More