eigenslur — notes by azide

Categorical Probability

Probability Maps as First-Class Arrows

Treat probability maps as composable arrows with Wasserstein distance built in — clean plumbing for stochastic systems and robust belief comparison.

Topos-Theoretic Probability

Descent as Epistemic Coherence

Treat uncertainty not as noise on one global picture, but as local beliefs that must agree where they overlap. Bayesian updating becomes 'make the locals compatible, then glue.'

The Missing Faces

Three people write one paper and the graph remembers three friendships. A reactor valve reports the command it was sent, not the position it reached. A finished skyscraper turns out to have a load case nobody ever checked. The relation that only means something all at once is exactly the one a clean diagram throws away — and the piece it drops is where the accident waits.

Seams and Signals

A voltmeter that loops back to a different reading. Three rankings that disagree in a cycle. A warehouse whose aisles all reconcile and whose total still comes up short. The gap they share has a name, a 1931 thesis behind it, and a mesh you can poke at.

Muster: Making Little Linux Services Less Haunted

A repo scaffold you hand to Codex, Claude Code, or any coding agent so the small Linux service you built this weekend is still installable, updateable, and rollback-safe in six months. Includes a worked reference — dvd-ingester — and a pattern library of reusable solution atoms.

Engineering the Compatible Overlap

Five patterns that make a third place actually glue, anchored in Martine Postma's Repair Café, Cynthia Dwork's differential privacy, and a concrete St. Louis design — how to add 1-cochains to your city without surveilling anyone.