Greg RogersA TLA+ specification for GryadkaA few months ago, there was a post on HN about something called Gryadka. It claims to be a Paxos variant that provides a rewritable…Jun 1, 2017Jun 1, 2017