1. 9
  1.  

  2. 1

    I’m really interested in the TLA+ follow-up!

    1. 1

      The algorithm happened to have reliability issues, so I adjusted Raft’s joint consensus approach to Single Decree Paxos - https://lobste.rs/s/r8sbvh/