Presentation: How to Find Resilience Bugs in Systems that Don't Exist
Hillel Wayne discusses how formal methods principles - such as property strength, state-space verification, and environment assumptions - help softw…
Последние новости Web от Tech News
Hillel Wayne discusses how formal methods principles - such as property strength, state-space verification, and environment assumptions - help softw…
A routine TLS 1.3 upgrade silently broke Route 53 health checks, causing a CDN to stop routing traffic to a healthy region while internal dashboards…
Ross McFarlane and Kevin Holditch discuss Form3's evolution from a single-cloud setup to a triple active multi-cloud architecture. They share key en…
Sam Newman discusses the concept of progressive collapse in civil engineering and how it applies to distributed systems. Using real-world examples -…
Jeremy Edberg & Qian Li discuss why external orchestrators decrease reliability and how to use your existing database for durable execution. They sh…
When a series of regional outages forced a rethink of a multi-region AWS API, the team discovered that an obstacle to global failover was hiding in…
The speakers discuss Netflix’s architecture for surviving extreme traffic spikes. They explain the mechanics of prioritized load shedding embedded i…
To provide SRE as a service, a team built a center of excellence, introducing Federated SREs and roles like production manager and technical tribe l…
The speakers explain the inherent tension between service efficiency and reliability at Netflix's global scale. They share a mental model for "risk-…