Хабы: Программирование, Анализ и проектирование систем, Распределённые системы
No subject appears to be more controversial to distributed systems engineers than the oft-quoted, oft-misunderstood CAP theorem. The CAP FAQ
— Сейчас я тебе объясню... — Объяснить я и сам могу, ты расскажи, что на самом деле происходит! (Из разговора политологов, но для CAP-теоремы подходит тоже)
— Давайте уже запишем CAP-теорему на языке Coq и посмотрим, что там на самом деле. (Я)
Читать далее