-
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 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.
-
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.
-
Small Models > LLMs
Why executable formal models matter more than ever in the age of AI — and how LLMs become most useful when constrained by them.