sim.pflow.xyz already ranks every knob in a model by its measured effect on the objective. Pointed at a software team's own backlog, it found that hiring another engineer can make things worse — and the same shape of finding turns up across the whole catalog, from hospital ED bays to autoscaler compute.
Go, Rust, JavaScript and Julia run the same stochastic Petri net and produce the identical IEEE-754 double, every time. Not close — equal. Here's what that actually took, and the two bugs it caught along the way.
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.