Hacker News new | ask | show | jobs
Weeks of Debugging Can Save You Hours of TLA+ (youtube.com)
1 points by lemmster 1990 days ago