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 […]