TLA+ @ LinkedIn Ambry and Venice Ankur Agrawal & Zac Policzer, LinkedIn Published 2024-05-04 Download video MP4 360p Recommendations 27:03 Practical Insights from Datadog’s Use of TLA+ and Simulations Arun Parthiban, Datadog 21:12 You Deserve Unicode TLA+, and Other Nice Things Too Andrew Helwer, Disjunctive Consulting LLC 33:07 Reverse Engineering with TLA+ Calvin Loncaric, Oracle 57:18 Bill Gates Reveals Superhuman AI Prediction 07:58 Why I Quit the Scrum Alliance 45:44 Validating System Executions with the TLA+ Tools Markus A Kuppe, Microsoft 52:03 Keynote Fifteen years of formal methods at AWS Marc Brooker, Amazon AWS 39:02 Promises and Challenges in Bridging TLA+ Designs with Implementations Finn Hackett 15:28 TLA+ Conf 24 - Daniel Stachnik - Tackling State Space Explosion In TLA+ Visualizations 06:23 Simon Peyton Jones - Haskell is useless 16:06 I Quit Alcohol for 1000 Days - my reasons & results 11:20 9 (lesser known) ADHD life hacks 16:14 Why Does Scrum Make Programmers HATE Coding? 19:40 Adding Agentic Layers to RAG 54:39 Creating Future-Proof Spring Applications with Event Sourcing by Steve Pember @ Spring I/O 2024 24:31 How we designed and model checked MongoDB reconfiguration protocol Siyuan Zhou, MongoDB 25:08 TLA Conf24 - Guo Hua - Specification Driven Development With TLA+ 15:12 TLA+ Conf - William Schultz - Towards Interactive Formal Specs 30:54 Andrew Ng On AI Agentic Workflows And Their Potential For Driving AI Progress 06:27 Catherine Olsson - Really Quick Questions with an OpenAI Engineer