Just read the first page so far and it's interesting. I'm intrigued by server architecture and algorithms, thank you. By the way, in case anyone wants to look

Just read the first page so far and it's interesting. I'm intrigued by server architecture and algorithms, thank you. By the way, in case anyone wants to look at the safety proof and formal specification for Raft (the paper's citation link is broken), it's at http://raftuserstudy.s3-website-us-west-1.amazonaws.com/proof.pdf http://raftuserstudy.s3-website-us-west-1.amazonaws.com/proo...