Notes, ideas, and frameworks for reasoning about distributed systems, system behavior, and failure modes.