Beyond memory safety with the Ada SPARK programming language

Kevin Chadwick•26 avsnitt•40 min•Månatligen

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

Ada: A language born from crisis.

2 nov. 2025•8 min

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

1 okt. 2025•29 min

Explaining Adas Generics by Edward Fish

28 sep. 2025•25 min

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

26 sep. 2025•52 min

Ada Quality and Style Guide: Improving Performance

14 sep. 2025•15 min

Ada Quality and Style Guide: Object-Oriented Features

24 aug. 2025•25 min

Ada Quality and Style Guide: Reusability

17 juni 2025•26 min

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

31 maj 2025•28 min

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

18 maj 2025•27 min

Ada Quality and Style Guide: Concurrency

28 apr. 2025•28 min

Relaterade poddar

All-In with Chamath, Jason, Sacks & Friedberg

All-In Podcast, LLC

Acquired

Ben Gilbert and David Rosenthal

Dwarkesh Podcast

Dwarkesh Patel

Hard Fork

The New York Times

Veckans AI

Fredrik Hanefalk och Magnus Paues

Bli säker-podden

Nikka Systems

Lex Fridman Podcast

Lex Fridman

Search Engine

PJ Vogt

AI Sweden Podcast

AI Sweden

Elbilsveckan

Peter Esse & Christoffer Gullin

Darknet Diaries

Jack Rhysider

Fabriken

UR – Utbildningsradion

Beyond memory safety with the Ada SPARK programming language med Kevin Chadwick finns tillgänglig på flera plattformar. Poddens innehåll och bilderna på den här webbplatsen hämtas med hjälp av poddens RSS-flöde.