#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 -
👏 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 -
👏 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 -
👏 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 -
Reflecting on a Queueing Prism Leads To Unexpected Results - Computers are difficult enough to reason about when there’s just a single thread d... - https://hackaday.com/2022/05/07/reflecting-on-a-queueing-prism-leads-to-unexpected-results/ #softwaredevelopment #formalverification #modelchecker #probability #concurrent #prism