Hacker News new | ask | show | jobs
We used Quint to find over 10 bugs in SQLite while hardening Turso (turso.tech)
40 points by 0xedb 32 days ago