Field Note
The Verification Economy
When capable agents make production cheap, the scarce work moves upstream into specification and downstream into proof.
When capable agents make production cheap, the scarce work moves upstream into specification and downstream into proof.
AI may be made of software, but its expansion is being governed by substations, queues, turbines, transformers, and time.