Latest
-
Learn How to Write Production-Quality Code with AI
Most systems to write code with AI use “AI-driven engineering.” That lets the AI make too many decisions and this has led to the proliferation of “AI slop.” This article introduces a free online-training I am offering to teach “engineering-led AI” using PAAD (https://github.com/Ovid/paad). You can still take advantage of AI, but now you have control of quality instead of the AI.
-
Watching Claude Sonnet Outperform Opus
We are finally getting to the point where we can write excellent software with AI, but only if you put engineering first. This article explains how.
-
AI Coding: Typing Was Never the Bottleneck
Code production was never the bottleneck in software development. This is why making it cheap doesn’t do what the replacement narrative claims it does.
-
Why I Am No Longer Reading the AI’s code
I set out on a year-long quest to find out if we can really use AI to write production-quality code. I assumed the answer was no. I was wrong.
-
Introducing the arXiv Explorer
The arXiv Explorer uses a novel recursive language model technique to allow you to use a normal AI-chat to query megabytes of arXiv documents at a time.
-
Real-World Value with Generative AI
Despite claims to the contrary, AI is generating strong real-world value and it is easy to demonstrate.
-
America is not a Christian Nation
Understanding the history of the Treaty of Tripoli shows that America’s Founding Fathers didn’t Intend for the US to be a Christian Nation.
-
Torturing an LLM
I accidentally went down the rabbit hole of torturing Google Gemini 2.5 while looking for a seahorse.
-
Is Math Discovered or Invented?
Over the millennia, we have argued back and forth about whether math is discovered or invented. The battle is fascinating and could have profound implications on our understanding of reality.
-
A Geodetic Refutation of Flat-Earth Theory
A Formal Refutation of “Flat Earth” Claims through the Lens of Negative-Curvature Geodesy