hackertube.io

NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)

AdaCore · talk · Watch on YouTube

Logic & formal methodsSecurity & hackingProgramming language design

What it is

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.

Why Hacker News recommends it

HN cites it in Rust-versus-C++ and Ada discussions as a real industrial case of choosing SPARK for safer embedded code.

  • 1 people recommended it
  • 1 different months
  • 0 strong recommendations
  • first 2022, last 2026

What HN commenters said

  1. “The HN community may be interested in this 1 hour presentation [1] on Nvidia's adoption of Ada”

    NVIDIA's adoption of Ada and why it chose it over Rust

    tnballo, 2022-03 · Recommendation · in “High Assurance Rust: Developing Secure and Robust Software”

Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.

Topics: ada, spark, nvidia, firmware, memory safety, formal verification

Also recommended by the same people