There's a lot of talk about using agents to write code. Not enough about how agents are becoming part of the code. Agents will become as ubiquitous as databases. Deeply integrated into the software and systems we create. This will lead to a new wave of theorems, principles and
![Since early this year, Michael Malis (of pgrust) has been showing me interesting things he's done and saying
[W]e should be more ambitious1 with the software we build
There is, understandably, a lot of skepticism about projects like pgrust because there are so many low-quality AI-generated projects out there. If I didn't know Malis and didn't look into it, I would just assume that pgrust was another vibe slopped project that's never going to work. But I know Malis well enough to trust his work without looking into it, and if you look into it a bit, you'll see that in testing pgrust, he's testing thoroughly enough that he's even uncovering real bugs in Postgres, such as this numerical bug that can cause valid SP-GiST operations to fail, this format cache bug that can cause incorrect results from JSONPath, this pgcrypto bug that can cause later operations to fail, multiple memory safety bugs in the dictionary loader, this money overflow bug, etc.
This isn't to say that pgrust i...](https://pbs.twimg.com/media/HVbOGdKboAAAbtO?format=webp&name=large)
