Comment on CUDA-oxide: Nvidia's official Rust to CUDA compilerComments−tiffanyh4moRe: 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...−NobodyNada4moThey gave a detailed talk last DEF CON: https://www.youtube.com/watch?v=KhWtkZmOPn4−cpeterso4moHere'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
Comments
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...
They gave a detailed talk last DEF CON: https://www.youtube.com/watch?v=KhWtkZmOPn4
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