Tag
Nolan Lawson argues that AI coding assistants can be used to write high-quality code slowly by employing multiple models for thorough code review and bug detection, improving codebase health rather than maximizing output speed.
Turso used the Quint formal verification tool to model SQLite's C API and discovered over 10 bugs in SQLite itself, enhancing the reliability of their SQLite rewrite.