Knossos: Redis and linearizability | Hacker News Reader