News for hackers. Stuff that matters.

A comment on Escaping the Safari sandbox with a kernel GPU bug. Parent comment

Re:Escaping the Safari sandbox with a kernel GPU bug by digi_owl on Thursday November 27, 2014 @07:19AM (#8666912)
Thats what the US military use on mission critical systems, right? Seem to recall reading that it is a pain to work with.
[ Parent | on HN ]
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.

[ Parent | on HN ]
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.
[ Parent | on HN ]