Hacker News new | ask | show | jobs
Solvingn the Santa Claus concurrency puzzle with a model checker (wyounas.github.io)
16 points by simplegeek 142 days ago
2 comments
lala_lala 139 days ago
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.
link
lacoolj 139 days ago
You just gonna leave the title with a typo?
link