Beyond memory safety with the Ada SPARK programming language
Episodes
Ada: A language born from crisis.
02 Nov 2025
Contributed by Lukas
Ever wondered how programming languages truly come to life? This podcast delves into the unique history of Ada, a language commissioned by the US Depa...
NVIDIA: Adoption of SPARK Ushers in a New Era in Security-Critical Software Development
01 Oct 2025
Contributed by Lukas
This episode is a great demonstration of Ada SPARK going beyond memory safety. It is generated by Googles NotebookLM. It may be subject to hallucinati...
Explaining Adas Generics by Edward Fish
28 Sep 2025
Contributed by Lukas
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 ...
Comparing Development costs of C and Ada at Rational Software '95
26 Sep 2025
Contributed by Lukas
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. Z...
Ada Quality ans Style Guide: Improving Performance
14 Sep 2025
Contributed by Lukas
This podcast is a summary of the Ada Quality and Style Guide, the last chapter - Improving Performance. Voiced by AI (Google NotebookML) and hallucina...
Ada Quality and Style Guide: Object-Oriented Features
24 Aug 2025
Contributed by Lukas
This podcast is a summary of the Ada Quality and Style Guide, Chapter 9 "Object-Oriented Features". Voiced by AI (Google NotebookML) and hal...
Ada Quality and Style Guide: Reusability
17 Jun 2025
Contributed by Lukas
This podcast is a summary of the Ada Quality and Style Guide, Chapter 8 "Reusability" - a very important and interesting topic. Voiced by AI...
Ada Quality and Style Guide: Portability (2/2)
31 May 2025
Contributed by Lukas
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 hall...
Ada Quality and Style Guide: Portability (1/2)
18 May 2025
Contributed by Lukas
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 hall...
Ada Quality and Style Guide: Concurrency
28 Apr 2025
Contributed by Lukas
This podcast is a summary of the Ada Quality and Style Guide, Chapter 6 "Concurrency". Voiced by AI (Google NotebookML) and hallucination free. https...
Ada Programming Practices (3/3)
23 Apr 2025
Contributed by Lukas
In the final video of Ada Quality and Style Chapter 5, we cover important topics such as the proper use of Visibility, exception handling, Erroneous e...
Ada Programming Practices (2/3)
23 Apr 2025
Contributed by Lukas
In the second video of Ada Quality and Style Chapter 5, we cover important topics such as the proper use of Data Structures, Expressions and Statement...
Ada Programming Practices (Part 1/ 3)
23 Apr 2025
Contributed by Lukas
In this first video of Ada Quality and Style Chapter 5, we talk about optional parts of syntax, parameter lists and types. Dubbed by Google NotebookML...
Ada Meetup 2025 April
06 Apr 2025
Contributed by Lukas
This is an Ada and SPARK programming language podcast. If you prefer video or would like a breakdown of the discussed topics then please see the YouT...
Ada Meetup 2025 March
16 Mar 2025
Contributed by Lukas
This is an Ada and SPARK programming language podcast. If you prefer video or would like a breakdown of the discussed topics then please see the YouT...
Ada Meetup 2024 November
08 Jan 2025
Contributed by Lukas
This is an Ada and SPARK programming language podcast. If you prefer video or would like a breakdown of the discussed topics then please see the YouT...
Ada Meetup 2024 October
06 Oct 2024
Contributed by Lukas
This is an Ada and SPARK programming language podcast. If you prefer video or would like a breakdown of the discussed topics then please see the YouT...
Ada Meetup 2024 September
06 Oct 2024
Contributed by Lukas
This is an Ada and SPARK programming language podcast. If you prefer video or would like a breakdown of the discussed topics then please see the YouT...
Memory Management with Ada 2012
16 May 2024
Contributed by Lukas
A talk was given by Jean-Pierre Rosen at Fosdem 2016. Dynamic memory management has always been a source of trouble, and garbage collection is just ...
Ada Meetup 2024 May
16 May 2024
Contributed by Lukas
This is an Ada and SPARK programming language podcast. If you prefer video or would like a breakdown of the discussed topics then please see the YouT...
Ada Meetup 2024 April
07 Apr 2024
Contributed by Lukas
This is an Ada and SPARK programming language podcast. If you prefer video or would like a breakdown of the discussed topics then please see the YouT...
"Ada's Past, Present, and Future" by Robert Dewar.
06 Apr 2024
Contributed by Lukas
The late Robert Dewar gave this talk at the Massachusetts Institute of Technology in the 90s. Despite its age, it is still relevant and entertaining t...
Ada Meetup 2024 March
21 Mar 2024
Contributed by Lukas
This is an Ada and SPARK programming language podcast. If you prefer video or would like a breakdown of the discussed topics then please see the YouT...
Ada Meetup 2023 December
21 Mar 2024
Contributed by Lukas
This is an Ada and SPARK programming language podcast. If you prefer video or would like a break down of the discussed topics then please see the you...
Ada Meetup 2023 October
21 Mar 2024
Contributed by Lukas
This is an Ada and SPARK programming language podcast. If you prefer video or would like a break down of the discussed topics then please see the you...
Ada Meetup 2023 July
20 Mar 2024
Contributed by Lukas
This is an Ada and SPARK programming language podcast. If you prefer video or would like a break down of the discussed topics then please see the you...