Stackdump Blog - All Posts

sim.pflow.xyz already ranks every knob in a model by its measured effect on the objective.

Go, Rust, JavaScript and Julia run the same stochastic Petri net and produce the identical IEEE-754 double, every time.

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.

Two people are peers when you can swap them and the net doesn't notice — an automorphism.

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.

A phase space for money — three poles (sovereign, commodity, protocol), edges as couplings with witnesses, interior positions as instruments.

The AI music debate is arguing about the wrong axis.

A declarative vocabulary of composable models that gives you analysis and an app framework from the same artifact.

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 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 v…

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.

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.

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.

cell, func, arrow, guard are the structural primitives — but the real ubiquitous language lives in the labels.

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.