4 ms·
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.ad
by tiffanyh 5mo 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-spark-new-era-in-security-critical-software-development https://www.adacore.com/case-studies/nvidia-adoption-of-spar...
- cpeterso 5mo agoHere'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 https://www.youtube.com/watch?v=2YoPoNx3L5E
- NobodyNada 5mo agoThey gave a detailed talk last DEF CON: https://www.youtube.com/watch?v=KhWtkZmOPn4 https://www.youtube.com/watch?v=KhWtkZmOPn4