cotalks.dev

"Jepsen II: Linearizable Boogaloo" by Kyle Kingsbury

(link)