ThinkThen

A developer who works with coding agents on long autonomous tasks has documented an anti-pattern called a "proof spiral," in which an agent writes checks of its checks — building receipt checkers, fin…