⚡ Why this matters

• This is not a pundit. It is a founder with a shipped, load-tested artifact.
• The claim relocates engineering skill from authorship to verification.
• If he is right, your hiring rubric and your test strategy are the same document now.

🔍 What happened

• Essay titled "The end of programming", published Aug 26, 2026 on pauldix.com.
• Dix founded InfluxData and has been writing database internals for over a decade.
• The verbatim claim: "If you can build a verification system and give proper direction, AI can produce a highly complex, highly sophisticated piece of software and it can continue to refine it until it just works."
• The code in question is roughly 1M lines and ships to millions of developer machines.
• Simon Willison surfaced and quoted the post the same week.

💬 Smart takes

• The load-bearing word is "verification". Without a test harness the claim collapses.
• Databases are the friendly case - correctness is machine-checkable. UI and product judgment are not.
• The uncomfortable read: writing the verification system is harder than writing the code was.

🧭 Where this goes

1. Watch whether teams start hiring for test-infrastructure depth over feature velocity.
2. Watch for a counter-essay from someone who tried this in a domain without clean oracles.
3. Watch how much of the 1M lines survives a year of production bug reports.