proplang
The design premise is that a rule you can break is not a rule. proplang makes the wrong program unsayable: there is no syntax for forgetting, no syntax for an unbounded deliberation, no syntax for an agent that prefers to be right at any cost.
Each post takes one thing the language will not let you write and argues that the absence is the feature. The build discipline behind it — tests frozen and signed before any code existed — is covered separately in Disciplining the Coding Agent.
What You Cannot Say, You Cannot Get Wrong
Rust makes illegal states unrepresentable; proplang makes axiom violations unsayable. The difference is that in a Bayesian agent language the alphabet is also the prior — so soundness and good epistemics become the same …
The Alphabet Is the Prior
In a language where hypotheses are programs, description length is the prior — so every terminal you admit is a bit charged against every belief. Minimality stops being taste and becomes correctness, provable only by an …
There Is No Forgetting
My own 2011 paper gave old evidence a way to decay: multiply the conjugate parameters by a forgetting factor before each update. A successor language throws that machinery away and beats an oracle-tuned forgetter on a …
Think More, or Act Now
Rational metareasoning made honest. In a Bayesian agent language, think-more-or-act-now is one argmax, priced by the world's impatience rather than a hard-coded budget. Plus the experiment that demonstrates it only …
The Agent That Prefers to Be Wrong
The off-switch theorem says an agent uncertain about what the user wants will prefer to defer rather than act unilaterally. That is not a design choice — it follows from expected utility maximisation under a prior over …