Formal methods and the future of programming
But the emergence of agentic coding has changed our perspective, and we’ve gone from being skeptical to being excited about the possibilities.
The Boring Internet
The internet you grew up on isn't dying. A commercial veneer glued on top of it is.
Underneath that layer is another internet: older, slower, less polished, harder to monetize, and much harder to kill.
Beneath The Enshittification, Something Amazing Is Growing
But, it takes time. And that can be frustrating for those of us who want to live in that better future.
easy to get cynical when the future we can imagine isn't here yet. but we can just build things!
Dangerous Technology For Americans Only
Leaflet Together: cursors, comments, group publications!
Lab Notes 028: a new suite of features to make Leaflet great for collaborative writing and collaborative publishing!
What would Muskism be without Musk?
The mode of production behind the man
Friday Facts #442 - Flip, Flow, and Fresh Paint
My AI Opinions
Not endorsing the predictions here but worth thinking through the reasoning.
Arguments against simulation: Too weird.
Yeah, I kinda think that the lesswrong and adjacent crowds would be taken more seriously if they just stopped talking about the simulation argument. Too weir…
Why AI hasn’t replaced software engineers, and won’t
Coding agents as normal technology
Claude Fable is relentlessly proactive
After two days of experience with Claude Fable 5 I think the best way to describe it is relentlessly proactive . It knows a whole lot of tricks and it will deploy pretty much any of them to get to its goal. I'll illustrate this with an example. I was hacking on Datasette Agent…
It's not enough to have better ideals.
Lab Notes #009: Semble (alpha) API
Very excited for this!
Making it even easier to build with Semble.
Standardizing Bookmarks in the Atmosphere
Saves in @skyreader.app are off protocol currently so this is a great starting point for thinking through what a save/bookmark integration would require.
a mini proposal for a shared bookmark lexicon
Cosmik Updates: May 2026
We migrated the blog to Leaflet; The Semble community is cookin'!
Sill's new view
Some major improvements come to Sill today
Hark, a link blog!
Boris makes the point that Skyreader linkblogs should actually point to the link so now it does! The other suggestions are good too and on the roadmap.
Edit: mentions should work too: @bmann.ca
Excitedly trying out Skyreader's new link blog and opinions on link blogging
Skyreader update - Linkblogs, standard.site, and discussions
Sharing the sharing post. How meta.
Making Skyreader more social. Everyone gets a linkblog! Find your people.
Modeling communities on permissioned data
So excited for permissioned data!
Arguing against "universal spaces" and raising a couple questions that come up as a result.
Permissioned Data Diary 6: Boring Auth
In which we resist the temptation to invent a clever authorization model & pick the boring one instead.
Skyreader: A RSS Reader on the AT Protocol
Introducing a RSS reader for the AT Protocol where you feeds and article sharing are portable
SembleIt: Semble Without the Distractions
Semble is two apps in a trench coat. SembleIt is just the quiet one.
An Atmospheric Website
Notes from the fifth and final migration.
RFCs on the Atmosphere
What Did Scientists Find?
They should probably stop looking!