Design resilient software systems by adopting architectural patterns, observability techniques, and disaster recovery strategies that ensure high availability and graceful degradation under failure.
From this track
Spritely: Infrastructure for the Future of the Internet
Let's take back the internet! Learn about Spritely's work to re-decentralize the net with new foundational technologies that put users in control.
Christine Lemmer-Webber
Executive Director @Spritely Institute, Co-Author of ActivityPub
David Thompson
CTO @Spritely Institute,
How to Find Resilience Bugs in Systems that Don't Exist
Building correct distributed systems takes thinking outside the box, and the fastest way to do that is to think inside a different box. One different box is "formal methods", the discipline of mathematically verifying software and systems.
Hillel Wayne
Author of "Logic for Programmers" and "Learn TLA+", Thought Leader in the Space of Empirical Software Engineering