alt Hacker NewsRe: 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...
Replies
cpeterso • today at 6:14 PM
Here's a recording of a 2020 presentation ("Securing the Future of Safety and Security of Embedded Software") from NVIDIA at the AdaCore conference:
They gave a detailed talk last DEF CON: https://www.youtube.com/watch?v=KhWtkZmOPn4