No less impressive than the SQLite project itself; especially 100% branch coverage! That's really hard to pull off and especially to maintain as the development continues.

Based on the stability track record, I was more curious about how SQLite has done the anomaly testing. Sadly, the article has just a few words about it.

Truly one of the best software products! It is used on every single device, and it is just pure rock-solid.

Always makes me a bit envious as well as awestruck. What a joy it must be in a lot of ways to be able to grind and perfect a piece of software like this. Truly a work of craftsmanship.

This looks so very cool, and so then all the more thought provoking that the tests themselves are closed-source, unlike the rest of the codebase. In this evolving world of rapidly improving llm coding agent productivity, the idea that the tests are more important than the implementation starts to ring true.

I was thinking about sqlite's test landscape as described here, in relation to simonw's recent writing about porting/recreating the justHTML engine from python to js via codex, nearly "automatically" with just a prompt and light steering.

Over a decade ago the maintainer of SQLite did a talk at OSCON about their testing. They talked about checklists, and how pilots use them before taking flight. They also talked about doctors without borders and how they we're not having the outcomes they expected when it came to saving lives. One of the reasons for these failures was the fact that these doctors didn't speak the same language or even know each other's names.

Doctors without borders implemented a pre-surgery checklist, and their life saving procedures boosted considerably just by doing some quick checks before getting started and how one of the checks was stating their name and occupation.

https://sqlite.org/src/ext/checklist/3070700/index

I love sqlite, it's a great piece of software. The website is full of useful information, rather than the slick marketing we are used to, even on open source projects.

With that said, I find it strange how the official website seems to be making its way through the HN front page piecemeal.