CAP and Google Spanner: the survival of eventual consistency | Hacker News Reader