News for hackers. Stuff that matters.

A comment on Boeing Flies on 99% Ada (2010). Parent comment

Re:Boeing Flies on 99% Ada (2010) by Fabien_C on Thursday March 14, 2019 @12:40PM (#19390907)
NVIDIA is starting to use Ada and SPARK for their autonomous vehicle products: https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-auto...
[ Parent | on HN ]

There are no comments on this comment yet.