| ▲ | tiffanyh 2 hours 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... | ||
| ▲ | NobodyNada 2 hours ago | parent | next [-] | |
They gave a detailed talk last DEF CON: https://www.youtube.com/watch?v=KhWtkZmOPn4 | ||
| ▲ | cpeterso 2 hours ago | parent | prev [-] | |
Here's a recording of a 2020 presentation ("Securing the Future of Safety and Security of Embedded Software") from NVIDIA at the AdaCore conference: | ||