top new show ask jobs

▲ 2 points

Extending MVCC to be serializable, in TLA+ (2024)

surfingcomplexity.blog

by eatonphil·27d ago·0 comments·view on hn ↗

// no comments yet

built with astro · data from hacker newshn.reader