[topdancing]

https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-auto...

And there's a whole new Paris metro line that runs on Ada: https://www.adahome.com/Ammo/Success/subway.html