@StrangeLoopConf
@StrangeLoopConf
Strange Loop Conference | "Tackling Concurrency Bugs with TLA+" by Hillel Wayne @StrangeLoopConf | Updated October 2024, 3 hours ago.
Tackling Concurrency Bugs with TLA+ by Hillel WayneHow Automated Tools Can Communicate Effective Strategies for Fixing Bugs by Justin SmithAlberto Bacchelli: How code review works (and doesnt) in the real worldHow to Build a Meaningful Career by Taylor Poindexter and Scott Hanselman (Strange Loop 2023)Impacting Global Policy by Understanding Litter Data by Sean DohertyType-Driven API Design in Rust by Will CrichtonReviving 1990s Digital Dress-Up Dolls with Smooch by Libby Horacek (Strange Loop 2022)Systems that run forever self-heal and scale by Joe Armstrong (2013)Nim Nuggets: Systems Programming & Metaprogramming Magic by Aditya SiramHow to Think about Parallel Programming: Not! - Guy L. Steele Jr. (Strange Loop 2010)The Evolution of a Planetary-scale Distributed Database by Kevin Scaldeferri (Strange Loop 2022)Blueprints for a Universal Reasoning Machine by Zenna Tavares (Strange Loop 2022)

"Tackling Concurrency Bugs with TLA+" by Hillel Wayne @StrangeLoopConf

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER