How to
Search
Find
How to
Join
Play Video
Video time control bar
0:00
▶️
⏸️
🔊
Audio volume control bar
0:00
/
0:00
↘️ 0.25
↘️ 0.5
↘️ 0.75
➡️ 1
↗️ 1.25
↗️ 1.5
↗️ 1.75
↗️ 2
↔️
↕️
Timecodes:
Related videos:
Reverse Engineering with TLA+ Calvin Loncaric, Oracle
David Kinney Lecture
TLA+ Debugger: Spec Breakpoint combined with stepping back from/over states (simulation mode only)
TLA+ @ LinkedIn Ambry and Venice Ankur Agrawal & Zac Policzer, LinkedIn
Applying AI/ML Methods to Diagnose Network Issues Using Telemetry Data - Frank Brockners, Cisco
Keynote: Rethinking Serverless with FLAME - Chris McCord | ElixirConf EU 2024
Top 50+ AWS Services Explained in 10 Minutes
Promises and Challenges in Bridging TLA+ Designs with Implementations Finn Hackett
AWS re:Invent 2023 - I didn’t know Amazon API Gateway did that (SVS323)
Practical Insights from Datadog’s Use of TLA+ and Simulations Arun Parthiban, Datadog
Validating System Executions with the TLA+ Tools Markus A Kuppe, Microsoft
AWS re:Invent 2023 - Best practices for serverless developers (SVS401)
TLA+ Conf - William Schultz - Towards Interactive Formal Specs
Reverse Proxy vs API Gateway vs Load Balancer
How we designed and model checked MongoDB reconfiguration protocol Siyuan Zhou, MongoDB
Explaining Distributed Systems Like I'm 5
How I Would Learn AWS Today (after 10 years of cloud experience)