Spanner Understanding strict serializability and external consistency | Hacker News Reader