#modelchecker β Public Fediverse posts
Live and recent posts from across the Fediverse tagged #modelchecker, aggregated by home.social.
-
π Oh, look! Another brave soul trying to understand the magical AWS outage with a "model checker" π§ββοΈ. Because, clearly, a keyboard warrior with zero insider knowledge is all it takes to fix what the cloud overlords could not. ππ©οΈ
https://wyounas.github.io/aws/concurrency/2025/10/30/reproducing-the-aws-outage-race-condition-with-model-checker/ #AWSOutage #CloudComputing #ModelChecker #TechHumor #KeyboardWarrior #HackerNews #ngated