I’m really interested in the TLA+ follow-up!
The algorithm happened to have reliability issues, so I adjusted Raft’s joint consensus approach to Single Decree Paxos - https://lobste.rs/s/r8sbvh/
I’m really interested in the TLA+ follow-up!
The algorithm happened to have reliability issues, so I adjusted Raft’s joint consensus approach to Single Decree Paxos - https://lobste.rs/s/r8sbvh/