Notes from the common room
Three schemes for shared-private storage - Paul's Leaflets
Möwe #7 — The First Room Was a Discord - Möwe
August 24 – September 1, 2026 Observation The point of Bluesky is that anything you write can be read by anyone. Two tools for giving that up arrived on t…
Roomy joins Modal incubator - Roomy
Rigorous institutional structures make for credible purpose-orientation.
Encrypted Spaces — Research preview
An architecture for collaborative applications where data is encrypted and operations are cryptographically verifiable.
Anatomy of a Lean Proof for Software Engineers
Intro I recently worked through a problem from a theory of computation textbook that asked me to prove a property of a language using finite automata. The informal proof is a simple constructive proof where you build an automaton and show that it recognizes the language. This is kind of similar to program verification, so I thought it’d be interesting to see what it takes to formalize the proof. Lean is a good choice for this, because its Mathlib has all the theorems for the problem.
Decrypting Matrix – Where Do Rooms Go?
Matrix has been running private rooms on open protocols for a decade, and they ended up inside European governments. This piece is about why happened, and why it does not have to be the result of the various projects for private data and rooms on the open social web too.
attested.network — Proof of Payment for ATProtocol
An open specification for decentralized, cryptographically verifiable proof of payments.
Note-Taking and Personal Knowledge Management — Unattributed
Bridge heading into the smokey landscape. License: CC-0 I read Brennan Kenneth Brown's What have note-taking PKMs accomplished, really?...
Roomy & Designing for Communities | Fish | Offprint
My personal experiences working with the team at Roomy, and how I feel after the last 5 months helping with the project.
Evaluating permissioned spaces for community contexts - meri's missives
A look at Bluesky's proposed approach to private data on ATProto
Composable Trust, Part 3: 1 Community, 3 Sovereigns, No Landlords - Eclectic Corvine Muses
An architectural model to yield members, Rosters, and Venues sovereignty over their own domains, and none over each other’s.