Hacker News Reader

Actually I am really scared that they use C or C++ instead of something sane like Ada.

Unless their static analysis tools just make C or C++ look like Ada.

I wouldn't be supplied if they used MISRA [1]. It can be enforced just using static analysis too, and IIRC it's good enough for avionics used elsewhere.

[1] : http://en.wikipedia.org/wiki/MISRA_C

Reply on news.ycombinator.com