> series

shen-backpressure

Posts in this series, in reading order. New entries added as they’re ready.

[01]

Structural Backpressure Beats Smarter Agents

Formal verification gates for AI coding loops, in the language you're already shipping.

Apr 20, 2026