HackerTube / Video
NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)
AdaCore
An AdaCore webinar in which NVIDIA engineers explain why and how they adopted Ada and SPARK for security-critical firmware. It covers the business case and the engineering experience of the transition.
HN cites it in Rust-versus-C++ and Ada discussions as a real industrial case of choosing SPARK for safer embedded code.
7 Hacker News mentions · 2022–2026