Y
Hacker News
new
|
ask
|
show
|
jobs
by
Fabien_C
2658 days ago
NVIDIA is starting to use Ada and SPARK for their autonomous vehicle products:
https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-auto...