The world on the edge of a nuclear disaster

The programming language used in nuclear technologies (nuclear bombs and power plants, for example) is Ada. Ada is developed by AdaCore, a small corporation. Ada is developed to be a very reliable programming language, to be suitable to control nuclear weapons and similar things. But there is an awful quantity of bugs in the compiler (GNAT) of this language. So the world is kept from … Continue reading The world on the edge of a nuclear disaster