news.lavx.hu

PgLoom Finds PostgreSQL Transaction Races Without Application Code Changes

Voskan Voskanyan built PgLoom, an Apache-2.0 Rust model checker that sits between an application and PostgreSQL as a ...