A small, fixed alphabet whose local composition rules generate an unbounded, non-repeating space of checkable systems — token standards, business operations, games, music, our own infrastructure. Not one system that swallows every domain. Two tiles, remixed without limit.
The AI music debate is arguing about the wrong axis. The real distinction isn't AI vs. human — it's structural transparency vs. statistical opacity. A Petri net is a third kind of generator the discourse keeps missing.
A technical deep dive into heads-up hold'em at stackedup.gg — how four cooperating Petri nets replace imperative game logic, a commit-reveal protocol ensures fair shuffles, and a branchless Groth16 circuit proves hand strength without revealing cards.
A visual archaeology of every minor version, from the first tag in late March to today's live-performance build. 24 screenshots, one per minor release.
Two people are peers when you can swap them and the net doesn't notice — an automorphism. Cory Doctorow's reverse centaur is that symmetry broken. And only under that symmetry does continuing a protocol count as consent rather than coercion: the ethics of working alongside an LLM reduces to one question — does the agent-swap stay in the automorphism group?
A declarative vocabulary of composable models that gives you analysis and an app framework from the same artifact. Describe your operation, get a model; play the model as an app; calibrate it with your own data.
A phase space for money — three poles (sovereign, commodity, protocol), edges as couplings with witnesses, interior positions as instruments.
A Mastodon thread on formalizing Dirac deltas as algebraic effects, read through the pflow lens — the same refusal to posit an object, the same check-after-the-fact discipline, and a question about whether the predicate future is an effect rather than a value.
Adding Lean 4 to pflow-polyglot forced a fifth implementation form — the same reachability check is a startup assertion in five languages and a compile-time theorem in the sixth, and the code is line-for-line equivalent.
A single-player Minecraft world moved to a dedicated server so it could have a chat bridge — plus a closed verb list, a fixed aid ceiling, and a nether hub that separates roof traffic from portal traffic.
A content-addressed file host where the markdown frontmatter is the metadata of record — schema-first entries, content-addressed lineage, and a search UI that builds itself from whatever fields you wrote.
The runtime is a Petri net — places hold tokens, transitions fire, that's the music. Same genre+seed = byte-identical output. Share URLs are CIDv1; the address is the track.
Official launch of beats.bitwrap.io as a live-performance tool — content-addressed shareable tracks, full-page Stage visuals, and a hands-free Auto-DJ that runs itself for hours.
de Jong et al. (2026) put an ordinal axis under decidability. That axis is past-tense, and Brouwer ordinals are the scalar specialization of our vector tropical past.
One commutative square encoding the full categorical structure — the adjunction F ⊣ U, the zipper comonad W = UF, and the convergence of three analyses on a single structural boundary.
Execution state is a zipper — the present moment is not a parameter or a modality but a universe that separates tropical past from predicate future. Tic-tac-toe makes the structure visible.
cell, func, arrow, guard are the structural primitives — but the real ubiquitous language lives in the labels. Like Forth, we build up domain vocabularies on a minimal substrate.
A music sequencer built entirely on Petri nets — token rings become drum machines, Euclidean rhythms fall out of the topology, and polyrhythm comes free.
Anonymous voting where anyone can see the rules — built from a diagram with four circles and three arrows.
From OP_RETURN in 2014 to zero-knowledge Petri nets in 2026 — how bitwrap.io became the capstone for a decade of work on formal state machines, cryptographic proofs, and executable specifications.