3 ms·

Thanks for posting this.

• hardwaresofton 5y ago
  +1, this is an amazing group of compiled resources -- Jepsen and TLA+ I was aware of but there's so much more out there. The summary papers from cloud providers are also especially useful.