Beyond memory safety with the Ada SPARK programming language

About Beyond memory safety with the Ada SPARK programming language

Discussions and news related to the memory safe Ada/SPARK programming languages. https://www.patreon.com/ada_re https://learn.adacore.com https://ada-lang.io

Publisher

Kevin Chadwick

Category

technology

Language

en

Explicit

No

First episode

20 Mar 2024

Latest episode

2 Nov 2025

Latest episodes

26 episodes in the feed.

1. 

   2 Nov 2025

   Ada: A language born from crisis.

   Ever wondered how programming languages truly come to life? This podcast delves into the unique history of Ada, a language commissioned by the US Department of Defense, a stark contrast to the organic evolution of most languages. Join us as we explore the 'software crisis' of the 1970s, the linguistic chaos in military systems, and the unprecedented, systematic process that led to Ada's creation. From the Strawman to the Steelman, discover the ambitious requirements and the international competition that shaped a language designed for reliability, maintainability, and efficiency – principles that remain relevant today. This is the story of a systematic approach to software engineering that continues to impact how we develop software.

2. 

   1 Oct 2025

   NVIDIA: Adoption of SPARK Ushers in a New Era in Security-Critical Software Development

   This episode is a great demonstration of Ada SPARK going beyond memory safety. It is generated by Googles NotebookLM. It may be subject to hallucinations that are not present in AdaCores source material found below: https://www.adacore.com/papers/nvidia-adoption-of-spark-new-era-in-security-critical-software-development

3. 

   28 Sept 2025

   Explaining Adas Generics by Edward Fish

   This is a Google NotebookLM generated podcast based on Edward Fish paper entitled Explaining Adas Generics. It starts off with an overview of Ada and it's type system. https://web.archive.org/web/20230930004650/http://edward.fish/wp-content/uploads/2023/07/Explaining-Ada%E2%80%99s-Generics-1.pdf

Reach and audience

Public platform figures. Ratings count people who left a rating, not total listeners.

Spotify

5.0 / 5

2 ratings

Podcast Authority Score: 39 / 100

A composite of feed quality, social presence, YouTube performance and engagement. Read the methodology.

Quality

54

Social presence

0

YouTube

0

Engagement

60

Contact Beyond memory safety with the Ada SPARK programming language

Guest appearances

Books guests

Based on episode analysis; this does not confirm that the show is currently accepting guests.