Beyond memory safety with the Ada SPARK programming language

Beyond memory safety with the Ada SPARK programming language

Podcast by 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

90 vrk ilmainen kokeilu

Kokeilun jälkeen 19,99 € / kuukausi.Peru milloin tahansa.

Aloita maksutta

Kaikki jaksot

20 jaksot
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. kesäk. 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. toukok. 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. toukok. 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. huhtik. 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. huhtik. 2025 - 17 min
Loistava design ja vihdoin on helppo löytää podcasteja, joista oikeasti tykkää
Loistava design ja vihdoin on helppo löytää podcasteja, joista oikeasti tykkää
Kiva sovellus podcastien kuunteluun, ja sisältö on monipuolista ja kiinnostavaa
Todella kiva äppi, helppo käyttää ja paljon podcasteja, joita en tiennyt ennestään.

90 vrk ilmainen kokeilu

Kokeilun jälkeen 19,99 € / kuukausi.Peru milloin tahansa.

Podimon podcastit

Mainoksista vapaa

Maksuttomat podcastit

Äänikirjat

100 tuntia / kk

Aloita maksutta

Vain Podimossa

Suosittuja äänikirjoja