You Deserve Unicode TLA+, and Other Nice Things Too Andrew Helwer, Disjunctive Consulting LLC Published 2024-05-04 Download video MP4 360p Recommendations 45:44 Validating System Executions with the TLA+ Tools Markus A Kuppe, Microsoft 27:03 Practical Insights from Datadog’s Use of TLA+ and Simulations Arun Parthiban, Datadog 09:55 Don't Contribute to Open Source 20:21 Open Source Safety Elements - Out of Context? - Nicole Pappler, AlektoMetis 29:13 Ryan Dahl introduces JSR at DevWorld 2024 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 24:31 How we designed and model checked MongoDB reconfiguration protocol Siyuan Zhou, MongoDB 41:47 Xilem: Let's Build High Performance Rust UI - Raph Levien 14:05 "Stop Using Async Await in .NET to Save Threads" | Code Cop #018 18:39 Formal Methods in the Enterprise David McNeil 47:21 19. Rob Pike - What We Got Right, What We Got Wrong | GopherConAU 2023 1:12:26 Ultimate Notetaking: My Neovim Zettelkasten Based on Obsidian - Complete Walkthrough 46:11 "Highly Technical Talk" with Hanselman and Toub | BRK194 31:12 Deciphering Obfuscated JavaScript Malware 13:42 Helix Text Editor: A Review 23:00 Vim Tips I Wish I Knew Earlier 48:50 Mojo🔥: a deep dive on ownership with Chris Lattner