[az0xff]

Definitely going to take a look at that!

Our foundation with respect to distributed systems isn't really formally rigid (I'm still trying to understand how Raft and Paxos work) and looking at this will probably help a lot!

[psiclops]

I would suggest https://raft.github.io/

That has a nice, interactive visualization along with links to the paper itself, implementations, and talks about raft.