News for hackers. Stuff that matters.

A comment on Reproducing the AWS Outage Race Condition with a Model Checker. Parent comment

Re:Reproducing the AWS Outage Race Condition with a Model Ch... by ignoramous on Monday November 03, 2025 @05:47AM (#45797741)
> but it's hardly axiomatic.

Agree, but Time-of-Check to Time-of-Use is a pretty well established failure mode.

[ Parent | on HN ]

There are no comments on this comment yet.