11.
Turso contributor finds 10+ SQLite bugs using Quint validation (x.com)
Validation tooling built for Turso uncovered more than ten bugs in SQLite, showing how formal models can improve even mature database systems
@glcst on Backlist
1 appearance on the backlist front page in the last 30 days.