3 ms·
Or follow NVidia's security pick - SPARK, a subset of Ada [1] for their autonomous driving and automotive firmware software. [1] https://blogs.nvidia.com/blog
by eggy 8y ago
Or follow NVidia's security pick - SPARK, a subset of Ada [1] for their autonomous driving and automotive firmware software.
[1] https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-autonomous-driving/ https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-auto...
- pjmlp 8y agoThat as well. They also support initiatives to have Java, .NET, Julia target their GPGPUs. And they have supported Fortran since early days as well. Which is why OpenCL by being so focused in plain old C, with manual compilation, never got that much love from researchers.
- eggy 8y agoFor me the key take away on the Spark bit was on the security of software for autonomous vehicles. Java, .NET, and Julia do not have similar security and verifiability features as Spark. Although, I was playing with F/F# for this. F compiles to OCaml, F#, or C via KreMLin.