Sam Newman discusses the concept of progressive collapse in civil engineering and how it applies to distributed systems.
OpenAI formal verification security: Greg Brockman announced training to produce mathematically provable secure code -- ...