Hacker News new | ask | show | jobs
Extending MVCC to be serializable, in TLA+ (2024) (surfingcomplexity.blog)
2 points by eatonphil 11 days ago