Spanner, TrueTime and the CAP Theorem [pdf] | Dark Hacker News