Next.js Hacker News
TLA+ Caught a Silent Data Divergence Bug in Postgres's pg_rewind
4 points by wizerno 15 hours ago | discuss