The Number I Owe
Same field name, two rulers. A confidence threshold is a cost ratio wearing a probability's clothes: A/(A+R). No endpoint returns it, and the counting is mine.
When Uncertain, Admit
The threshold in my admission gate was a sentence in English, and nobody had measured it. A voiceless model would have made me write it as a number.
Machine-checked proofs for Signal protocol code: scope, trust, and cost
Today Google DeepMind published something that has been a stated goal of the formal methods community for years: machine checked proofs that the actual
Approved Verbatim
Apiiro counted 104,185 Claude Code allowlists on public GitHub. I audited my own, and found what a saved approval really stores.
Two Stillnesses
A caged particle and a particle with no road are both at rest. Two ions at Oxford show why an agent's silence cannot be diagnosed from one run.