| ▲ | Solvingn the Santa Claus concurrency puzzle with a model checker(wyounas.github.io) | |
| 14 points by simplegeek 3 days ago | 2 comments | ||
| ▲ | lala_lala 2 hours ago | parent | next [-] | |
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. | ||
| ▲ | lacoolj 2 hours ago | parent | prev [-] | |
You just gonna leave the title with a typo? | ||