Solvingn the Santa Claus concurrency puzzle with a model checker(wyounas.github.io)14 points by simplegeek 8 months ago | 2 comments
Reproducing the AWS Outage Race Condition with a Model Checker(wyounas.github.io)131 points by simplegeek 11 months ago | 38 comments
When the Simplest Concurrent Program Goes Against All Intuition(wyounas.github.io)15 points by simplegeek 1 year ago | 6 comments
How concurrecy works: A visual guide(wyounas.github.io)143 points by simplegeek 1 year ago | 45 comments