-
Byte-Exact Across Four Languages
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 Generator You Can Read
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.
-
Peerage Is an Automorphism
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?
-
The Proof Form: When a Theorem Is Just Another Port
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.
-
The 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, and the incidence matrix proves what it can see: conservation, not guards or data.
-
Small Models > LLMs
Why executable formal models matter more with LLMs around, not less — and what the LLM is and isn't trusted with when a Petri net constrains it.