CAP, PACELC, and the Cost of Consistency · Grokking the Modern System Design · ThyncLabs