Hacker News new | ask | show | jobs
by adezxc 372 days ago
There's this talk by AdaCore and a SWE@nVidia on how nVidia utilized Ada/Spark for Embedded software: https://www.youtube.com/watch?v=2YoPoNx3L5E