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