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’s Next Chapter Requires Human Expertise
The future of AI doesn’t just require technical skills; it demands deep human expertise, writes Annie K. Lamar.
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.
The Future Is Not Tech-Forward
On artificial intelligence, data centers, technological politics, and who gets to build the future.
WDR 2026: The Promise of Artificial Intelligence
The World Development Report 2026 explores how artificial intelligence is reshaping development as a general‑purpose technology.
Where does the rigor go? Research software and the future of trustworthy science.
Generative AI now makes it dramatically easier to produce something that looks like research: analysis code, figures, literature reviews, even whole pap…
Agentultra - Why I Won't Use AI
If you are a programmer in 2025 you have likely been pressured into adopting generative artificial intelligence tools into your workflow. Maybe you have already been ordered to. You have probably wondered if next year will be the year that you will be replaced with an AI. Or maybe in the next five years. Weren’t we supposed to be replaced already?
AI made me doubt everything about programming by Felienne Hermans - DDD Europe 2026
AI made me doubt everything about programming by Felienne Hermans - DDD Europe 2026
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.
