A discussion on substantive theories of program design, with the running example of concurrent file modifications.| typesanitizer.com
Fundamental Concepts| jepsen.io
