https://blog.stackdump.com/posts Latest blog posts from all authors on Stackdump Blog en Tue, 07 Apr 2026 00:00:00 +0000 https://blog.stackdump.com/posts/pflow-square 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. Tue, 07 Apr 2026 00:00:00 +0000 https://blog.stackdump.com/posts/pflow-square https://blog.stackdump.com/posts/tense-type-theory 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. Sat, 04 Apr 2026 00:00:00 +0000 https://blog.stackdump.com/posts/tense-type-theory https://blog.stackdump.com/posts/little-language-thesis 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. Sat, 28 Mar 2026 00:00:00 +0000 https://blog.stackdump.com/posts/little-language-thesis https://blog.stackdump.com/posts/petri-net-sequencer A music sequencer built entirely on Petri nets — token rings become drum machines, Euclidean rhythms fall out of the topology, and polyrhythm comes free. Wed, 25 Mar 2026 00:00:00 +0000 https://blog.stackdump.com/posts/petri-net-sequencer https://blog.stackdump.com/posts/zk-polls-voting-as-state-machine Anonymous voting where anyone can see the rules — built from a diagram with four circles and three arrows. Thu, 19 Mar 2026 00:00:00 +0000 https://blog.stackdump.com/posts/zk-polls-voting-as-state-machine https://blog.stackdump.com/posts/bitwrap-capstone 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. Wed, 18 Mar 2026 00:00:00 +0000 https://blog.stackdump.com/posts/bitwrap-capstone https://blog.stackdump.com/posts/incidence-bridge The incidence matrix of an NCAA bracket Petri net connects ODE, Monte Carlo, and analytical methods — and makes simulation redundant. A closed-form formula derived from the bracket topology replaces 150,000 stochastic transitions with 256 exact configurations. Mon, 16 Mar 2026 00:00:00 +0000 https://blog.stackdump.com/posts/incidence-bridge https://blog.stackdump.com/posts/category-settle Settlement networks form a free symmetric monoidal category — the category of all settlement networks built from the same primitives. Open Petri nets make composition, throughput, and conservation laws compositional. Thu, 12 Mar 2026 00:00:00 +0000 https://blog.stackdump.com/posts/category-settle https://blog.stackdump.com/posts/earned-compression Three independent formalisms — ODE simulation, tropical analysis, and zero-knowledge proof — discover the same structural boundary in a Petri net. The convergence is the proof that the boundary is real. Wed, 11 Mar 2026 00:00:00 +0000 https://blog.stackdump.com/posts/earned-compression https://blog.stackdump.com/posts/tropical-petri-nets Petri nets, ReLU neural networks, and tropical algebra all compute over the same algebraic structure. Tropical algebra is the formalism that makes this precise. Tue, 10 Mar 2026 00:00:00 +0000 https://blog.stackdump.com/posts/tropical-petri-nets https://blog.stackdump.com/posts/symmetric-monoidal-categories Petri nets are morphisms in a symmetric monoidal category. This isn't an analogy — it's the theorem that explains why composition, analysis, and proofs all work the way they do. Mon, 09 Mar 2026 00:00:00 +0000 https://blog.stackdump.com/posts/symmetric-monoidal-categories https://blog.stackdump.com/posts/what-if-analysis Describe your business to an LLM, get a simulation you can actually play with — adjust staffing, change demand, and watch the numbers move. Sun, 08 Mar 2026 00:00:00 +0000 https://blog.stackdump.com/posts/what-if-analysis https://blog.stackdump.com/posts/small-models-not-llms Why executable formal models matter more than ever in the age of AI — and how LLMs become most useful when constrained by them. Fri, 06 Mar 2026 00:00:00 +0000 https://blog.stackdump.com/posts/small-models-not-llms https://blog.stackdump.com/posts/code-to-flow Convert source code into a visual state machine. Paste code in any language — Go, Python, Rust, Solidity — and get a validated Petri net model you can simulate, analyze, and generate apps from. Thu, 05 Mar 2026 00:00:00 +0000 https://blog.stackdump.com/posts/code-to-flow https://blog.stackdump.com/posts/integer-reduction-paper A draft paper formalizing incidence reduction — extracting exact strategic values from game topologies — validated on tic-tac-toe, poker, Connect Four, and Hex. Mon, 23 Feb 2026 21:00:00 +0000 https://blog.stackdump.com/posts/integer-reduction-paper https://blog.stackdump.com/posts/zk-holdem Applying incidence reduction to poker — hand strength values emerge from Petri net drain structure, every action is Groth16-proven, and the shuffle uses Poseidon commit-reveal. Mon, 23 Feb 2026 18:00:00 +0000 https://blog.stackdump.com/posts/zk-holdem https://blog.stackdump.com/posts/integer-reduction ODE steady-state values with uniform rates reveal integer structure — incidence degrees to terminal transitions — giving a reverse-engineering technique for rate constants. Sun, 22 Feb 2026 22:30:00 +0000 https://blog.stackdump.com/posts/integer-reduction https://blog.stackdump.com/posts/ode-signatures The same math with different labels still produces the same ODE solution. In tic-tac-toe, we see it directly — each board position is a place, and the heatmap is the solution projected onto the grid. Wed, 18 Feb 2026 00:00:00 +0000 https://blog.stackdump.com/posts/ode-signatures https://blog.stackdump.com/posts/petri-nets-book The blog's models, concepts, and toolchain have been organized into a book-length guide at book.pflow.xyz. Mon, 16 Feb 2026 00:00:00 +0000 https://blog.stackdump.com/posts/petri-nets-book https://blog.stackdump.com/posts/json-ld-declarative-infrastructure Why JSON-LD's purely declarative semantics and monotonic schema expansion make it reliable infrastructure for composable systems. Sun, 15 Feb 2026 00:00:00 +0000 https://blog.stackdump.com/posts/json-ld-declarative-infrastructure