Hacker News new | ask | show | jobs
by tiffanyh 32 days ago
Re: Rust (and "safe" programming languages).

Does anyone have more details on NVIDIAs use of Spark/Ada?

All I can find is what's listed below:

https://www.adacore.com/case-studies/nvidia-adoption-of-spar...
2 comments
NobodyNada 32 days ago
They gave a detailed talk last DEF CON: https://www.youtube.com/watch?v=KhWtkZmOPn4
link
cpeterso 32 days ago
Here's a recording of a 2020 presentation ("Securing the Future of Safety and Security of Embedded Software") from NVIDIA at the AdaCore conference:

https://www.youtube.com/watch?v=2YoPoNx3L5E

link