Why verification, not prompting, could shape the next decade of engineering
Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog
Much has been said about the effects that AI will have on software development, but there is an angle I haven’t seen talked about: I believe that AI will bring formal verification, which for decades has been a bit of a fringe pursuit, into the software engineering mainstream.
Joshua Achiam on Twitter / X
There is a fact about the future that I feel many people are not facing for reasons that are largely psychological: there are going to be rogue AIs that exist in the world, that will replicate in the wild, and that will attempt to acquire resources for themselves. There will be…— Joshua Achiam (@jachiam0) September 1, 2026
AI Engineer's 2025 | Unsloth Documentation
Slides to our AI Engineer's Worlds Fair 2025 Workshop.
The future of AI is already written
How physical and economic constraints determine which technologies get built, and why full AI automation is inevitable.
Resetting on engineering expectations in the age of AI
I’m accepting new sponsorships for The Modern Leader for 2026. If you’re interested (or you think your company may be interested), you can learn more here.
WDR 2026: The Promise of Artificial Intelligence
The World Development Report 2026 explores how artificial intelligence is reshaping development as a general‑purpose technology.
The Future Worth Building Is Human
AI built for autonomy crowds people out, making us passive observers of what’s coming. We’re building toward a different future.
Rolling the ladder up behind us
Who will take over for us if we don't train the next generation to replace us? A critique of craft, AI, and the legacy of human expertise.
How we use AI at Stalwart
It is difficult to have a conversation about software in 2026 without AI showing up in it. Two years ago the interesting question was…
Selective Optimism: a critique of AI 2040
Some context for this post: I’ve been working part-time as a consultant for the AI Futures Project over the last year.
AI agents pose untold risk to humanity. We must act to prevent that future | David Krueger
The pieces are falling into place for autonomous artificial intelligence. We must stop unregulated development
From users to architects: Why girls must shape the future of AI
If girls aren’t shaping AI, we’re building a broken future. Empowering young women in tech is now a global necessity, not just a matter of fairness.
Our Uncertain Uncertainties
Even the experts inventing AI don’t know what will happen next.
