Beyond memory safety with the Ada SPARK programming language

https://anchor.fm/s/f373569c/podcast/rss

0 Followers 26 Episodes Claim Ownership

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

Episode List

Ada Quality and Style Guide: Object-Oriented Features

Aug 24th, 2025 3:37 PM

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⁠⁠

Ada Quality and Style Guide: Reusability

Jun 17th, 2025 2:46 PM

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⁠⁠

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

May 31st, 2025 12:23 PM

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⁠

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

May 18th, 2025 8:59 AM

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

Ada Quality and Style Guide: Concurrency

Apr 28th, 2025 11:53 AM

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"

More Episodes