Some additional insights on NASA and the highly reliable code that it produces:
https://mystudentvoices.com/a-look-into-nasas-coding-philosophy-b747957c7f8a
Quoting:
"With some years of work there, I wish to provide a first-hand account on the philosophy that’s allowed the space agency to produce some of the world’s most reliable software, and I’ll frame their attitude towards programming with a set of four assumptions I think they make for programmers in the workforce (and which I have experienced directly.)"
