Beyond memory safety with the Ada SPARK programming language

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 linguistic chaos in military systems, and the unprecedented, systematic process that led to Ada'...

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

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

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/cad...

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: ⁠⁠ https://discord.gg/fvNd5Kun Join Telegram: ⁠⁠https://t.me/ada_lang ​⁠⁠

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: ⁠⁠ https://discord.gg/fvNd5Kun Join Telegram: https://t.me/ada_lang​⁠⁠

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

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

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 Support us: https://www.patreon.com/ada_re Join Discord: https://discord.gg/fvNd5Kun Join Telegram: https://t.me/ada_lang​

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​"

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

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

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

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. https://www.patreon.com/ada_re #memorysafety #ada​ #adalang​ #software #engineering

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

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

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

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

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 ways: first by requiring much less dynamic memory than other languages, and then by providing powerful to...

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

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

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 software compiler for Ada that is part of the GNU Compiler Collection (GCC). In 2024, Gnat is the most wide...

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

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

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