Beyond memory safety with the Ada SPARK programming language

Beyond memory safety with the Ada SPARK programming language

Podcast af Kevin Chadwick

Begrænset tilbud

1 måned kun 9 kr.

Derefter 99 kr. / månedIngen binding.

Phone screen with podimo app open surrounded by emojis

Mere end 1 million lyttere

Du vil elske Podimo, og du er ikke alene

Bedømt til 4,7 stjerner i App Store

Læs mere Beyond memory safety with the Ada SPARK programming language

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

Alle episoder

25 episoder
episode NVIDIA: Adoption of SPARK Ushers in a New Era in Security-Critical Software Development artwork
NVIDIA: Adoption of SPARK Ushers in a New Era in Security-Critical Software Development

This episode is a great demonstration of Ada SPARK going beyond memory safety. It is generated by Googles NotebookLM. It may be subject to hallucinations that are not present in AdaCores source material found below: https://www.adacore.com/papers/nvidia-adoption-of-spark-new-era-in-security-critical-software-development

01. okt. 2025 - 28 min
episode Explaining Adas Generics by Edward Fish artwork
Explaining Adas Generics by Edward Fish

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 it's type system. https://web.archive.org/web/20230930004650/http://edward.fish/wp-content/uploads/2023/07/Explaining-Ada%E2%80%99s-Generics-1.pdf

28. sep. 2025 - 24 min
episode Comparing Development costs of C and Ada at Rational Software '95 artwork
Comparing Development costs of C and Ada at Rational Software '95

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. Zeigler, Ph.D. of Rational Software Corporation. The key takeaway for me is that experienced C developers were thrown in to using Ada whilst learning on the job and yet consistently produced better results with Ada. http://sunnyday.mit.edu/16.355/cada_art.html

26. sep. 2025 - 51 min
episode Ada Quality and Style Guide: Improving Performance artwork
Ada Quality and Style Guide: Improving Performance

This podcast is a summary of the Ada Quality and Style Guide, the last chapter - Improving Performance. Voiced by AI (Google NotebookML) and hallucination free. * Style Guide: ⁠⁠https://ada-lang.io/docs/style-guide/s10 [https://ada-lang.io/docs/style-guide/s10] * 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] ⁠⁠

14. sep. 2025 - 14 min
episode Ada Quality and Style Guide: Object-Oriented Features artwork
Ada Quality and Style Guide: Object-Oriented Features

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/s9 [⁠⁠https://ada-lang.io/docs/style-guide/s9] * 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 ⁠⁠]

24. aug. 2025 - 24 min
En fantastisk app med et enormt stort udvalg af spændende podcasts. Podimo formår virkelig at lave godt indhold, der takler de lidt mere svære emner. At der så også er lydbøger oveni til en billig pris, gør at det er blevet min favorit app.
En fantastisk app med et enormt stort udvalg af spændende podcasts. Podimo formår virkelig at lave godt indhold, der takler de lidt mere svære emner. At der så også er lydbøger oveni til en billig pris, gør at det er blevet min favorit app.
Rigtig god tjeneste med gode eksklusive podcasts og derudover et kæmpe udvalg af podcasts og lydbøger. Kan varmt anbefales, om ikke andet så udelukkende pga Dårligdommerne, Klovn podcast, Hakkedrengene og Han duo 😁 👍
Podimo er blevet uundværlig! Til lange bilture, hverdagen, rengøringen og i det hele taget, når man trænger til lidt adspredelse.
Phone screen with podimo app open surrounded by emojis

Mere end 1 million lyttere

Du vil elske Podimo, og du er ikke alene

Bedømt til 4,7 stjerner i App Store

Begrænset tilbud

1 måned kun 9 kr.

Derefter 99 kr. / månedIngen binding.

Eksklusive podcasts

Uden reklamer

Gratis podcasts

Lydbøger

20 timer / måned

Kom i gang

Kun på Podimo

Populære lydbøger