Welcome! personal blog

Reproducing the AWS Outage Race Condition with a Model Checker

wyounas.github.io 7 min read

Welcome to Waqas' blog

Points

144

HN comments

50

Submissions

1

Cited by

0 commenters

Infrastructure & DevOpsSystems & Performance2025

Related posts from the same era

Axios compromised on NPM – Malicious versions drop remote access trojan

StepSecurity Blog20261,934 points807 comments details

WTF Ubuntu?

Chalmovský20261,627 points684 comments details

Decisions that eroded trust in Azure – by a former Azure Core engineer

Axel’s Substack20261,297 points648 commentscited by 20 details

How uv got so fast

Andrew Nesbitt20251,290 points459 commentscited by 7 details

Don't rent the cloud, own instead

comma.ai Blog20261,222 points497 comments details

Almost every infrastructure decision I endorse or regret

JJack's home on the web20241,181 points865 comments details