Extending MVCC to be serializable, in TLA+ (2024) | Dark Hacker News