-
A native macOS DJ app where each deck runs a live Petri net. The generator is ported from beats.bitwrap.io to Swift and held to the same CIDs and bytes by fixtures from the real JavaScript; Claude drives it over MCP.
Published: 2026-10-24T00:00:00Z
-
sim.pflow.xyz ranks every knob in a model by its measured effect on the objective. One run against a software team's backlog model reported that hiring past a point lowers the score; that finding is unconfirmed until the model's cost meter is fixed, and the catalog-wide sweep behind the rest of the pattern was never preserved. What was checked, what wasn't, and the models to re-run it on.
Published: 2026-09-16T00:00:00Z
-
Go, Rust, JavaScript and Julia run the same stochastic Petri net from one seed and produce identical IEEE-754 doubles, checked with == against shared golden files. What that took — a pinned PRNG, a ported logarithm, a fixed arithmetic order — and the bugs it caught in an ODE solver and a canonicalizer.
Published: 2026-09-04T00:00:00Z
-
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.
Published: 2026-08-23T00:00:00Z
-
The AI music debate is arguing about the wrong axis: the distinction that matters is structural transparency vs. statistical opacity, and a Petri net — beats.bitwrap.io's generator, linked file by file — is a third kind of generator the discourse keeps missing.
Published: 2026-08-22T00:00:00Z
-
A technical deep dive into heads-up hold'em at stackedup.gg — four Petri nets (phase, hand classifier, bot decision, chip ledger) and what each one actually drives in the code, a commit-reveal shuffle for casino sessions, and a branchless Groth16 circuit that proves a hand's score without revealing the hole cards.
Published: 2026-08-22T00:00:00Z
-
A visual archaeology of beats.bitwrap.io's first 75 tags, v0.1.0 (March 23) to v2.4.0 (April 28): one screenshot captured per minor release, ten of them shown here, each reproducible from the tag's CDN URL.
Published: 2026-08-22T00:00:00Z
-
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?
Published: 2026-08-22T00:00:00Z
-
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.
Published: 2026-08-22T00:00:00Z
-
A sketched phase space for money — three poles (sovereign, commodity, protocol), instruments placed inside as barycentric mixes, two edges labelled with witnesses, and a proposed F ⊣ U between the sovereign and protocol poles.
Published: 2026-08-22T00:00:00Z
-
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.
Published: 2026-08-20T00:00:00Z
-
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.
Published: 2026-08-02T00:00:00Z
-
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.
Published: 2026-07-30T00:00:00Z
-
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.
Published: 2026-07-06T00:00:00Z
-
The sequencer is a Petri-net executor: places hold tokens, transitions fire, and the firings with a MIDI binding are the notes. Same genre + seed composes the same nets; playback adds jitter on top. Share URLs are a CIDv1 of the envelope, not of the audio.
Published: 2026-04-30T00:00:00Z
-
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.
Published: 2026-04-30T00:00:00Z
-
de Jong et al. (2026) put an ordinal axis under decidability. We read that axis as past-tense and set it against the max-plus past of a Petri net — one coordinate gives the kind of sequence a Brouwer limit takes, not the limit, and the bridge beyond that is unbuilt.
Published: 2026-04-16T00:00:00Z
-
One square that collects six earlier posts — the free SMC on a net, the zipper W(M) = 𝓛 × M × 𝓡, and three analyses that read the ρ boundary off the incidence matrix — with what has been checked and what is still only drawn.
Published: 2026-04-07T00:00:00Z
-
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.
Published: 2026-04-04T00:00:00Z
-
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, and the incidence matrix proves what it can see: conservation, not guards or data.
Published: 2026-03-28T00:00:00Z