Formal methods and the future of programming
Tim Disney
· Jun 14, 2026
· 76 words
Leaflet Together: cursors, comments, group publications!
Tim Disney
· Jun 13, 2026
· 63 words
Dangerous Technology For Americans Only
Tim Disney
· Jun 13, 2026
· 6 words
What would Muskism be without Musk?
Tim Disney
· Jun 12, 2026
· 30 words
Friday Facts #442 - Flip, Flow, and Fresh Paint
Tim Disney
· Jun 12, 2026
· 10 words
Claude Fable is relentlessly proactive
Tim Disney
· Jun 11, 2026
· 400 words
My AI Opinions
Tim Disney
· Jun 11, 2026
· 91 words
Why AI hasn’t replaced software engineers, and won’t
Tim Disney
· Jun 11, 2026
· 26 words
Beneath The Enshittification, Something Amazing Is Growing
Tim Disney
· Jun 10, 2026
· 178 words
It's not enough to have better ideals.
Tim Disney
· Jun 10, 2026
· 8 words
Lab Notes #009: Semble (alpha) API
Tim Disney
· Jun 9, 2026
· 41 words
Standardizing Bookmarks in the Atmosphere
Tim Disney
· Jun 8, 2026
· 68 words
Hark, a link blog!
Tim Disney
· Jun 7, 2026
· 95 words
Skyreader update - Linkblogs, standard.site, and discussions
Tim Disney
· Jun 6, 2026
· 42 words
What Did Scientists Find?
Tim Disney
· Jun 5, 2026
· 15 words
Permissioned Data Diary 6: Boring Auth
Tim Disney
· Jun 5, 2026
· 43 words
Sill's new view
Tim Disney
· Jun 3, 2026
· 18 words
Cosmik Updates: May 2026
Tim Disney
· Jun 2, 2026
· 27 words
Modeling communities on permissioned data
Tim Disney
· Jun 2, 2026
· 46 words
RFCs on the Atmosphere
Tim Disney
· May 30, 2026
· 5 words
The Boring Internet
Tim Disney
· May 5, 2026
· 95 words
An Atmospheric Website
Tim Disney
· Apr 23, 2026
· 18 words
SembleIt: Semble Without the Distractions
Tim Disney
· Apr 10, 2026
· 34 words
Skyreader: A RSS Reader on the AT Protocol
Tim Disney
· Jan 20, 2026
· 41 words