News for hackers. Stuff that matters.
Re:Escaping the Safari sandbox with a kernel GPU bug by pjmlp on Thursday November 27, 2014 @10:23AM (#8667565)
Ada is used in environments were human lifes are at risk life like life support systems, traffic control and so on.

From FOSDEM talks its use has been increasing thanks to C lack of safety, even with MISRA C.

Re:Escaping the Safari sandbox with a kernel GPU bug by digi_owl on Thursday November 27, 2014 @11:10AM (#8667763)
Yeah i guess that having the language enforce the rules makes for safer code than trying to impose safety externally.