Post

I wrote about the most ambitious form of AI-assisted software development I've seen yet - Strong DM's "Software Factory" approach, where two of the guiding principles are "Code must not be written by humans" and "Code must not be reviewed by humans" simonwillison.net/2026/Feb/7/s...

simonwillison.netHow StrongDM’s AI team build serious software without even looking at the codeLast week I hinted at a demo I had seen from a team implementing what Dan Shapiro called the Dark Factory level of AI adoption, where no human even looks …

Milan Weibel 🔷

@weibac.bsky.social

7 Feb

> I’m particularly invested in the question of what it takes to have agents prove that their code works without needing to review every line of code they produce. ever looked at formal verification based methods? @dollspace.gay on here has tried it to good results

Simon Willison

@simonwillison.net

No I've not dug into those at all yet - they do feel a bit more accessible now than they used to, but I'll still need to spend a bunch of time to get up to speed on them

7/2/26, 10:02 pm0 reposts2 likes

No replies yet.