PODCAST · technology
Beyond memory safety with the Ada SPARK programming language
by Kevin Chadwick
Discussions and news related to the memory safe Ada/SPARK programming languages.https://www.patreon.com/ada_rehttps://learn.adacore.comhttps://ada-lang.io
Episodes
-
Ada: A language born from crisis.
Ever wondered how programming languages truly come to life? This podcast delves into the unique history of Ada, a language commissioned by the US Department of Defense, a stark contrast to the organic evolution of most languages. Join us as we explore the 'software crisis' of the 1970s, the...
-
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:...
-
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
-
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…
more -
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 Support us: https://www.patreon.com/ada_re Join Discord:...
-
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 Support us: https://www.patreon.com/ada_re Join Discord:...
-
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…
more -
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 Support us: https://www.patreon.com/ada_re Join Discord…
more -
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/s7Support us: https://www.patreon.com/ada_reJoin Discord: https://discord.gg/fvNd5KunJoin...
-
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:...
-
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...
-
Ada Programming Practices (2/3)
In the second video of Ada Quality and Style Chapter 5, we cover important topics such as the proper use of Data Structures, Expressions and Statements. Dubbed by Google NotebookML. 01:23 Data Structures 11:42 Expressions 16:00 Statements https://youtu.be/mxlTFRkgRro
-
Ada Programming Practices (Part 1/ 3)
In this first video of Ada Quality and Style Chapter 5, we talk about optional parts of syntax, parameter lists and types. Dubbed by Google NotebookML. 01:23 Optional Parts of the Syntax 11:42 Parameter Lists 16:00 Types https://youtu.be/KkECe34C4-0
-
Ada Meetup 2025 April
This is an Ada and SPARK programming language podcast. If you prefer video or would like a breakdown of the discussed topics then please see the YouTube description. https://www.youtube.com/live/-XBxQISMjTw Support link of this episode from the youtube channels description....
-
Ada Meetup 2025 March
This is an Ada and SPARK programming language podcast. If you prefer video or would like a breakdown of the discussed topics then please see the YouTube description. https://www.youtube.com/live/U9GJCLfltAw #memorysafety #ada #adalang #software #engineering
-
Ada Meetup 2024 November
This is an Ada and SPARK programming language podcast. If you prefer video or would like a breakdown of the discussed topics then please see the YouTube description. https://www.youtube.com/live/5gACmjASOQs #memorysafety #ada #adalang #software #engineering
-
Ada Meetup 2024 October
This is an Ada and SPARK programming language podcast. If you prefer video or would like a breakdown of the discussed topics then please see the YouTube description. https://www.youtube.com/live/hpbXvSAAu30 #memorysafety #ada #adalang #software #engineering
-
Ada Meetup 2024 September
This is an Ada and SPARK programming language podcast. If you prefer video or would like a breakdown of the discussed topics then please see the YouTube description. https://www.youtube.com/live/i_bVoiDlw5E #memorysafety #ada #adalang #software #engineering
-
Memory Management with Ada 2012
A talk was given by Jean-Pierre Rosen at Fosdem 2016. Dynamic memory management has always been a source of trouble, and garbage collection is just a way to overcome the lack of proper memory management in many languages. This presentation shows how Ada addresses this issue in several original...
-
Ada Meetup 2024 May
This is an Ada and SPARK programming language podcast. If you prefer video or would like a breakdown of the discussed topics then please see the YouTube description. https://www.youtube.com/live/Bm0f0dyte8s #memorysafety #ada #adalang #software #engineering
-
Ada Meetup 2024 April
This is an Ada and SPARK programming language podcast. If you prefer video or would like a breakdown of the discussed topics then please see the YouTube description. https://www.youtube.com/live/BhfAQY8N-UQ #memorysafety #ada #adalang #software #engineering
-
"Ada's Past, Present, and Future" by Robert Dewar.
The late Robert Dewar gave this talk at the Massachusetts Institute of Technology in the 90s. Despite its age, it is still relevant and entertaining today, especially with the recent focus on memory safety and increasing security concerns. Robert Dewar was one of the creators of GNAT, a free...
-
Ada Meetup 2024 March
This is an Ada and SPARK programming language podcast. If you prefer video or would like a breakdown of the discussed topics then please see the YouTube description. https://youtu.be/x_p5qYqxGL8 #memorysafety #ada #adalang #software #engineering
-
Ada Meetup 2023 December
This is an Ada and SPARK programming language podcast. If you prefer video or would like a break down of the discussed topics then please see the youtube description. https://www.youtube.com/live/6OW93ukTXtg #memorysafety #ada #adalang #software #engineering
-
Ada Meetup 2023 October
This is an Ada and SPARK programming language podcast. If you prefer video or would like a break down of the discussed topics then please see the youtube description. https://www.youtube.com/live/0Pnuy663gZM #memorysafety #ada #adalang #software #engineering
-
Ada Meetup 2023 July
This is an Ada and SPARK programming language podcast. If you prefer video or would like a break down of the discussed topics then please see the youtube description. https://youtu.be/hKBnZcU12cY #memorysafety #ada #adalang #software #engineering
We're indexing this podcast's transcripts for the first time — this can take a minute or two. We'll show results as soon as they're ready.
No matches for "" in this podcast's transcripts.
No topics indexed yet for this podcast.
Loading reviews...
ABOUT THIS SHOW
Discussions and news related to the memory safe Ada/SPARK programming languages.https://www.patreon.com/ada_rehttps://learn.adacore.comhttps://ada-lang.io
HOSTED BY
Kevin Chadwick
CATEGORIES
Loading similar podcasts...
Frequently Asked Questions
How many episodes does Beyond memory safety with the Ada SPARK programming language have?
Beyond memory safety with the Ada SPARK programming language currently has 26 episodes available on PodParley. New episodes are automatically indexed when they're published to the podcast feed.
What is Beyond memory safety with the Ada SPARK programming language about?
Discussions and news related to the memory safe Ada/SPARK programming languages.https://www.patreon.com/ada_rehttps://learn.adacore.comhttps://ada-lang.io
How often does Beyond memory safety with the Ada SPARK programming language release new episodes?
Beyond memory safety with the Ada SPARK programming language has 26 episodes. Check the episode list to see recent publication dates and frequency.
Where can I listen to Beyond memory safety with the Ada SPARK programming language?
You can listen to Beyond memory safety with the Ada SPARK programming language on PodParley by clicking any episode. We provide an embedded audio player for direct listening, and you can also subscribe via your preferred podcast app using the RSS feed.
Who hosts Beyond memory safety with the Ada SPARK programming language?
Beyond memory safety with the Ada SPARK programming language is created and hosted by Kevin Chadwick.
URL copied to clipboard!