cwebster2·há 6 anos·discussNo idea for SpaceX, but a lot of commercial avionics run code written in Ada.