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

Why it was recommended

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

Recommendationtnballo · Original2022-03

What it covers

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. It is for someone who already knows the basic terms and wants the next step.

Video details

Channel

AdaCore

Length

58 min 37 sec

Year

2020

More in this topic

• Brian Beckman: Don't fear the Monad
• 28c3: The Science of Insecurity
• "Propositions as Types" by Philip Wadler
• Math's Fundamental Flaw
• The Banach–Tarski Paradox
• The Future of Mathematics?