Beyond memory safety with the Ada SPARK programming language

Hosted by Kevin Chadwick

TechnologyInterviews guests

Website RSS feed

Episodes

Latest episode

Nov 2025

Language

About the show

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

Listen to episodes

26 recent

November 2, 20258 min

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.

October 1, 202528 min

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

September 28, 202524 min

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

September 26, 202551 min

Comparing Development costs of C and Ada at Rational Software '95

This episode is generated by Googles Notebooklm based on the following source. Comparing Development costs of C and Ada March 30, 1995 by Stephen F. Zeigler, Ph.D. of Rational Software Corporation.The key takeaway for me is that experienced C developers were thrown in to using Ada whilst learning on the job and yet consistently produced better results with Ada.http://sunnyday.mit.edu/16.355/cada_art.html

September 14, 2025Episode 914 min

Ada Quality and Style Guide: Improving Performance

This podcast is a summary of the Ada Quality and Style Guide, the last chapter - Improving Performance. Voiced by AI (Google NotebookML) and hallucination free.Style Guide: ⁠⁠https://ada-lang.io/docs/style-guide/s10Support us: ⁠https://www.patreon.com/ada_re⁠⁠Join Discord: ⁠⁠https://discord.gg/fvNd5KunJoin Telegram: ⁠⁠https://t.me/ada_lang⁠⁠

August 24, 2025Episode 824 min

Ada Quality and Style Guide: Object-Oriented Features

This podcast is a summary of the Ada Quality and Style Guide, Chapter 9 "Object-Oriented Features". Voiced by AI (Google NotebookML) and hallucination free.Style Guide: ⁠⁠https://ada-lang.io/docs/style-guide/s9Support us: ⁠https://www.patreon.com/ada_re⁠⁠Join Discord: ⁠⁠https://discord.gg/fvNd5KunJoin Telegram: https://t.me/ada_lang⁠⁠

June 17, 2025Episode 725 min

Ada Quality and Style Guide: Reusability

This podcast is a summary of the Ada Quality and Style Guide, Chapter 8 "Reusability" - a very important and interesting topic. Voiced by AI (Google NotebookML) and hallucination free.Style Guide: ⁠⁠https://ada-lang.io/docs/style-guide/s8Support us: ⁠https://www.patreon.com/ada_re⁠⁠Join Discord: ⁠⁠https://discord.gg/fvNd5KunJoin Telegram: ⁠⁠https://t.me/ada_lang⁠⁠

May 31, 2025Episode 627 min

Ada Quality and Style Guide: Portability (2/2)

This podcast is a summary of the Ada Quality and Style Guide, Chapter 7 "Portability" part 2 of 2. Voiced by AI (Google NotebookML) and hallucination free.Style Guide: ⁠https://ada-lang.io/docs/style-guide/s7⁠Support us: https://www.patreon.com/ada_re⁠Join Discord: ⁠https://discord.gg/fvNd5Kun⁠Join Telegram: ⁠https://t.me/ada_lang⁠

May 18, 202526 min

Ada Quality and Style Guide: Portability (1/2)

This podcast is a summary of the Ada Quality and Style Guide, Chapter 7 "Portability" part 1 of 2. Voiced by AI (Google NotebookML) and hallucination free.Style Guide: https://ada-lang.io/docs/style-guide/s7Support us: https://www.patreon.com/ada_reJoin Discord: https://discord.gg/fvNd5KunJoin Telegram: https://t.me/ada_lang

April 28, 202528 min

Ada Quality and Style Guide: Concurrency

This podcast is a summary of the Ada Quality and Style Guide, Chapter 6 "Concurrency". Voiced by AI (Google NotebookML) and hallucination free. https://youtu.be/vyEGYKsIpTE Style Guide: "https://ada-lang.io/docs/style-guide/s6" Support us: "https://www.patreon.com/ada_re" Join Discord: "https://discord.gg/fvNd5Kun" Join Telegram: "https://t.me/ada_lang"