Jepsen: Orkes Conductor 5.3.2
27 points by aphyr
27 points by aphyr
I liked how the section on DB safety made it clear that single nodes are not HA but clusters are no free lunch either. Everything can fail.
Write your tasks in Agda and prove they’re commutative and idempotent!