2/2/2026 at 6:54:01 PM
Looks interesting. Like that the author modeled the failure scenario first before the correct one, it’s instructive. As other commenter pointed, a small typo in the title.by lala_lala
1/30/2026 at 1:55:16 PM
Solvingn the Santa Claus concurrency puzzle with a model checker
https://wyounas.github.io/puzzles/concurrency/2026/01/10/how-to-help-santa-claus-concurrently/by simplegeek