Hacker News new | ask | show | jobs
TLA+ Caught a Silent Data Divergence Bug in Postgres's pg_rewind (multigres.com)
6 points by wizerno 49 days ago