News for hackers. Stuff that matters.
Re:Airbus Chooses GNAT Pro Ada for Development of Unmanned A... by pjmlp on Wednesday September 16, 2020 @09:38AM (#24492580)
Watch the video, slides are just one part.

Part of "Determine the difficulty and learning curve for others".

Re:Airbus Chooses GNAT Pro Ada for Development of Unmanned A... by termie on Wednesday September 16, 2020 @09:57AM (#24492744)
Rust is also discussed at 35:00 into the presentation, noting the lack of a spec, higher memory util, and no commmercial vendor.
Re:Airbus Chooses GNAT Pro Ada for Development of Unmanned A... by fluffything on Wednesday September 16, 2020 @10:00AM (#24492763)
Yeah, Rust is not certified, and probably can't be certified without a spec.
Re:Airbus Chooses GNAT Pro Ada for Development of Unmanned A... by ifmpx on Wednesday September 16, 2020 @10:11PM (#24500446)
> and no commmercial vendor.

So it's about liability. Makes sense.