"Redis continues to accrete homegrown consensus and replication algs without even a cursory nod to formal analysis." aphyr.com/posts/307-call…