TLA+ Caught a Silent Data Divergence Bug in Postgres's pg_rewind multigres.com 4 points by wizerno 17 hours ago