Speaker: Ryan Berger
Ryan Berger is a Senior Software Developer at Starbucks working on tools to manage their fleet of thousands of servers at the edge. He also moonlights as a computer science researcher doing work related to programming languages and software correctness.
Description:
In this session, we will delve into the fundamental concept of an invariant - what is true about a program at a given time - and its crucial role in software correctness. By understanding how to identify, define, and enforce invariants within data structures, distributed systems, or any number of contexts, you will gain a new tool to prevent bugs, mitigate errors, and enhance the robustness of your applications.
Video call link: https://meet.google.com/dkn-ekxb-qrj
Or dial: (US) +1 336-673-3641 PIN: 540 425 241#
More phone numbers: https://tel.meet/dkn-ekxb-qrj?pin=6901484653898
Schedule:
6:30 - Introduction and announcements
6:35 - Main Presentation
7:15 ish - Stick around and talk about tech/architecture/ops/whatever