S sourcegraph.com Creator of Raft Algorithm introduces LogCabin 199 points dencold 11 years ago 52 comments