Yeah! Kit's done a bunch of work on Jepsen's core and Knossos, the linearizability checker. This is her first analysis, and I'm excited to see more. :)
These analyses are a great way to get educated about distributed systems, even if you aren't in a position to evaluate choosing one. Thanks for growing and creating Jepsen!
