[kpozin]

> read up on some catastrophic bugs. Those that have caused space ships to explode and cars to crash.

One of the most famous type errors in recent history did in fact crash a spaceship.

https://en.m.wikipedia.org/wiki/Mars_Climate_Orbiter#Cause_o...