RT @asatarin"Cobra: Making Transactional Key-Value Stores Verifiably Serializable"
Given black box trace of KV transactions determine if observed behaviors are serializable at scale (10K transactions)
https://youtu.be/swMD-s16U-o
A single-user Mastodon instance for Jepsen announcements & discussion.