ParentFull threadcwebster2·No idea for SpaceX, but a lot of commercial avionics run code written in Ada.View on HN