AI may be accelerating software into a world of "write-only" code that forces a rethink of culture, processes, and tools. Heavybit’s Joseph Ruscio explains.
When AI Writes the World's Software, Who Verifies It? — Leonardo de Moura
Leonardo de Moura — Creator of Lean and Z3
Code Is Cheap Now, And That Changes Everything | Pere Villega
AI coding agents have made code production nearly free. Drawing on insights from Kent Beck, Paul Ford, and Simon Willison, this post argues that the value has shifted from writing code to defining systems — contracts, invariants, SLAs, and verification.
How StrongDM’s AI team build serious software without even looking at the code
Last 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 …
Andrej Karpathy Stopped Using AI to Write Code. He’s Using It to Build a Second Brain Instead
His new workflow turns raw research into a self-maintaining wiki.No vector databases, no RAG pipelines, just markdown files and an LLM that…
The Friction is Your Judgment — Armin Ronacher & Cristina Poncela Cubeiro, Earendil
Using AI to write better code more slowly
A lot of people seem convinced that the point of AI coding is to write low-quality code as fast as possible. Spew out barely-passable slop, open massive PRs, and merge them unvetted. Ship it! But t…
"Code was never the hard part" is an insult to all programmers — Senko Rašić
The software development profession is in the midst of upheaval. Nobody knows how the AI revolution will play out in the end, but it is c...
AI code and software craft - alex wennerberg
Much has been said about audio, video and text "slop": low-quality, AI-generated content that has proliferated on the internet since the release of publicly-accessible AI models. Garbage content has always existed online, but the novelty of AI is that it has made its generation orders of magnitude less labor-intensive. For anyone who lacks a discerning eye, or is doing some task where discernment simply does not matter, AI has become a sufficient replacement for human hands.
Publish and Perish: How AI-Accelerated Writing Without...
Artificial intelligence tools are accelerating manuscript production far faster than peer review capacity can expand. Applying the theory of constraints from manufacturing science, we formalize...
Publish and Perish: How AI-Accelerated Writing Without...
Artificial intelligence tools are accelerating manuscript production far faster than peer review capacity can expand. Applying the theory of constraints from manufacturing science, we formalize...
No Coding Before 10am | Michael Bloch
Engineering is no longer about writing code. Here is one startup's playbook for building in the AI agent era.
Code Was Never the Asset - The Phoenix Architecture
Why AI makes the hidden economics of software unavoidable
In defense of not reading the code | Ben Shoemaker
Last week, I wrote an article whose purpose was to discuss where I saw AI-assisted coding going. That's not what generated 200 comments worth of passionate...
Serpentine software
I don’t usually write hot takes. But StrongDM’s Software Factory post is worth it, so here goes. Their post is elegant, short, and well-written, so I’m going to just go through a bunch of pull quotes. Compounding correctness long-horizon agentic coding workflows [now] compound correctness rather than error This is a big, empirical claim. I’m already convinced by my own experiences that agents, suitably scaffolded, can form a Brownian ratchet, such that pouring on more compute helps, on balance.
