/rbmk

Really Bad Math Kontracts — "RBMK reactors don't explode"

rbmk (Really Bad Math Kontracts)

"RBMK reactors don't explode" - Anatoly Dyatlov, 1986