Holobrine

Cohen overcounted: an existence proof

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

The Ω Conjecture holds in every syntactically reachable case

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

The truth value coding is universally Baire.

Proof sketch of Hugh Woodin's Ω conjecture

Set theoretic forcing is a type system.

Cartography of the self

The self is simpler than you think.

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.

The Cartography Manifesto

Protect yourself from map abuse with philosophical cartography.

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 …

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 …

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…

Authority as Possession: Permissioned Spaces Deserve Better Than ACLs

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

The Substrate Requirements for Capability Trees

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

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.

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…

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.

Capability Chains vs UCAN: Five Improvements

Capability Chains: A Protocol-Level Extension of Object Capabilities

Ocaps in ATProto

The Katocratic Critique of the State

Katocracy: A Manifesto

Hello Leaflet!

Playing with the features.