Leonardo de Moura — Creator of Lean and Z3
Write-Only Code | Heavybit
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.
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…
Software Survival 3.0
I spent a lot of time writing software with AI last year, and I had some pretty good successes, notably Beads and Gas Town. I wrote a whole…
Software Survival 3.0
I spent a lot of time writing software with AI last year, and I had some pretty good successes, notably Beads and Gas Town. I wrote a whole…
AI is Creating Peak Software, Media is the Best Analogy
Let's learn more about the world's most important manufactured product. Meaningful insight, timely analysis, and an occasional investment idea.
From OSS to Open Source AI: an Exploratory Study of Collaborative...
AI development is embracing open-source paradigm, but the fundamental distinction between AI models and traditional software artifacts may lead to a divergent open-source development paradigm with...
The New Software Lifecycle
I co-wrote a Google whitepaper about how AI is changing the software lifecycle. I'm not going to summarize the whole thing. Instead, here are the handful of ...
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.
LukeW | The Evolution of AI Products
At this point, the use of artificial intelligence and machine learning models in software has a long history. But the past three years really accelerated the ev...
LukeW | Common AI Product Issues
At this point, almost every software domain has launched or explored AI features. Despite the wide range of use cases, most of these implementations have been t...
Measuring the Impact of Early-2025 AI on Experienced Open-Source...
Despite widespread adoption, the impact of AI tools on software development in the wild remains understudied. We conduct a randomized controlled trial (RCT) to understand how AI tools at the...
Tau Ceti — Tau Ceti
AI-authored Lean mathematics, directed by a human-owned roadmap and gated by open, adversarial review.
After automation: Software will work for you, not on you
Alex Komoroske, CEO and cofounder, Common Tools — AI promises “infinite software”—endless tools tailored to every need—but funneled through today's app stores, that abundance just means more silos, more trapped data, and more to orchestr...
Good design hasn’t changed with AI — John Pham, SF Compute
Dario Amodei — Machines of Loving Grace
How AI Could Transform the World for the Better
Dario Amodei — Machines of Loving Grace
How AI Could Transform the World for the Better