01Paul Dix on AI's Ability to Build Complex Software via Verification SystemsRSS · Simon Willison · simonwillison.net · Aug 26, 08:07 AM1h