Beyond memory safety with the Ada SPARK programming language
Podcast von Kevin Chadwick
Nimm diesen Podcast mit
Mehr als 1 Million Hörer*innen
Du wirst Podimo lieben und damit bist du nicht allein
Mit 4,7 Sternen im App Store bewertet
Alle Folgen
25 Folgen
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/cada_art.html
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]
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 ]
