Beyond memory safety with the Ada SPARK programming language

Beyond memory safety with the Ada SPARK programming language

Podkast av Kevin Chadwick

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

Tidsbegrenset tilbud

3 Måneder for 9,00 kr

Deretter 99,00 kr / MånedAvslutt når som helst.

Kom i gang

Alle episoder

20 Episoder
episode Ada Quality and Style Guide: Reusability artwork
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/s8 * Support us: ⁠https://www.patreon.com/ada_re⁠⁠ * Join Discord: ⁠⁠https://discord.gg/fvNd5Kun * Join Telegram: ⁠⁠https://t.me/ada_lang ⁠⁠

17. juni 2025 - 25 min
episode Ada Quality and Style Guide: Portability (2/2) artwork
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 [https://ada-lang.io/docs/style-guide/s7] * ⁠Support us: https://www.patreon.com/ada_re [https://www.patreon.com/ada_re] * ⁠Join Discord: ⁠https://discord.gg/fvNd5Kun⁠ [⁠https://discord.gg/fvNd5Kun⁠] * Join Telegram: ⁠https://t.me/ada_lang ⁠ [https://t.me/ada_lang ⁠]

31. mai 2025 - 27 min
episode Ada Quality and Style Guide: Portability (1/2) artwork
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/s7 [https://ada-lang.io/docs/style-guide/s7]Support us: https://www.patreon.com/ada_re [https://www.patreon.com/ada_re]Join Discord: https://discord.gg/fvNd5Kun [https://discord.gg/fvNd5Kun]Join Telegram: https://t.me/ada_lang [https://t.me/ada_lang ]

18. mai 2025 - 26 min
episode Ada Quality and Style Guide: Concurrency artwork
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 "

28. apr. 2025 - 28 min
episode Ada Programming Practices (3/3) artwork
Ada Programming Practices (3/3)

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 execution and bounded errors. Dubbed by Google NotebookML. 00:50 Visibility 07:43 Exception usage 09:56 Erroneous execution and bounded errors https://youtu.be/GOVfwBcnU_E

23. apr. 2025 - 17 min
Enkelt å finne frem nye favoritter og lett å navigere seg gjennom innholdet i appen
Enkelt å finne frem nye favoritter og lett å navigere seg gjennom innholdet i appen
Liker at det er både Podcaster (godt utvalg) og lydbøker i samme app, pluss at man kan holde Podcaster og lydbøker atskilt i biblioteket.
Bra app. Oversiktlig og ryddig. MYE bra innhold⭐️⭐️⭐️

Tidsbegrenset tilbud

3 Måneder for 9,00 kr

Deretter 99,00 kr / MånedAvslutt når som helst.

Eksklusive podkaster

Uten reklame

Gratis podkaster

Lydbøker

20 timer i måneden

Kom i gang

Bare på Podimo

Populære lydbøker