Holobrine

Philosophical cartographer and Katocrat. Rule by the bottom. The conflict is always in the map. Let's build better maps. Building: Capability Trees

377 followers1233 following20 stories

Longform Stories

Cohen overcounted: an existence proof

CH is not proven independent, and the door for Woodin's Ultimate L program is open.

6d ago·8 min read·1475 words

The Ω Conjecture holds in every syntactically reachable case

May 28·9 min read·1784 words

The Ω Conjecture follows from the fundamental theorem of forcing: A proof sketch

The truth value coding is universally Baire.

May 27·7 min read·1248 words

Proof sketch of Hugh Woodin's Ω conjecture

Set theoretic forcing is a type system.

May 26·8 min read·1553 words

Cartography of the self

The self is simpler than you think.

May 20·3 min read·413 words

The Zero-Point Field as Dark Matter: A Synthesis of Stochastic Electrodynamics and Indivisible Stochastic Processes

Hypothesis: A synthesis of SED and indivisible stochastic processes may explain dark matter.

Apr 28·17 min read·3333 words

The Cartography Manifesto

Protect yourself from map abuse with philosophical cartography.

Apr 26·8 min read·1465 words

Capability Trees: A Protocol-Level Extension of Object Capabilities, Draft 5

This draft incorporates feedback from Brooklyn Zelenka (@expede.wtf) and Daniel Holmgren (@dholms.at), and developments in the ATProto Private Data Working Group. Previous drafts remain available for …

Apr 12·12 min read·2388 words

Capability Trees: A Protocol-Level Extension of Object Capabilities, Draft 4

This draft incorporates feedback from Brooklyn Zelenka (@expede.wtf) and Daniel Holmgren (@dholms.at), and developments in the ATProto Private Data Working Group. Previous drafts remain available for …

Apr 11·12 min read·2333 words

Capability Trees: A Protocol-Level Extension of Object Capabilities, Draft 3

This draft incorporates feedback from Brooklyn Zelenka (@expede.wtf), Daniel Holmgren (@dholms.at), and Zicklag (@zicklag.dev), and addresses questions raised in the ATProto Private Data Working Group…

Apr 10·11 min read·2189 words

Authority as Possession: Permissioned Spaces Deserve Better Than ACLs

Why Capability Trees are the right governance primitive for permissioned spaces.

Apr 9·9 min read·1601 words

The Substrate Requirements for Capability Trees

The bar other data sovereignty substrates must meet, to be compatible with Capability Trees.

Apr 8·7 min read·1263 words

Capability Trees: Sovereignty Is the Point

This piece argues that DASL introduces security risk when applied to delegations, and that by not using DASL, capability trees avoid that risk.

Apr 7·3 min read·415 words

Capability Trees vs UCAN: Tradeoffs and Advantages

This comparison addresses questions and feedback from the ATProto community, in particular from Zicklag (@zicklag.dev) and Brooklyn Zelenka (@expede.wtf). The previous comparison piece remains availab…

Apr 6·6 min read·1047 words

Capability Trees: A Protocol-Level Extension of Object Capabilities, Draft 2

This draft addresses questions and feedback from the ATProto community, in particular from Zicklag (@zicklag.dev) and Brooklyn Zelenka (@expede.wtf). Draft 1 remains available for transparency.

Apr 6·6 min read·1175 words

Capability Chains vs UCAN: Five Improvements

Apr 5·4 min read·700 words

Capability Chains: A Protocol-Level Extension of Object Capabilities

Ocaps in ATProto

Apr 5·3 min read·463 words

The Katocratic Critique of the State

Apr 4·2 min read·357 words

Katocracy: A Manifesto

Apr 4·6 min read·1039 words

Hello Leaflet!

Playing with the features.

Feb 11·3 min read·555 words