Hacker News
new
past
comments
ask
show
jobs
Solvingn the Santa Claus concurrency puzzle with a model checker
(wyounas.github.io)
13 points
by
simplegeek
3 days ago
|
2 comments
by
lala_lala
21 minutes ago
|
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.
reply
by
lacoolj
28 minutes ago
|
prev
|
next
[-]
You just gonna leave the title with a typo?
reply
by
1 hours ago
|
prev
|
[-]
deleted
reply