On: Escaping the Safari sandbox with a kernel GPU bug

[digi_owl]

Thats what the US military use on mission critical systems, right? Seem to recall reading that it is a pain to work with.

[pjmlp → digi_owl]

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.

[digi_owl → pjmlp]

Yeah i guess that having the language enforce the rules makes for safer code than trying to impose safety externally.