Powered by RND
PodcastsTecnologíaBeyond memory safety with the Ada SPARK programming language

Beyond memory safety with the Ada SPARK programming language

Kevin Chadwick
Beyond memory safety with the Ada SPARK programming language
Último episodio

Episodios disponibles

5 de 22
  • Ada Quality ans 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/s10Support us: ⁠https://www.patreon.com/ada_re⁠⁠Join Discord: ⁠⁠https://discord.gg/fvNd5KunJoin Telegram: ⁠⁠https://t.me/ada_lang​⁠⁠
    --------  
    14:33
  • 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/s9Support us: ⁠https://www.patreon.com/ada_re⁠⁠Join Discord: ⁠⁠https://discord.gg/fvNd5KunJoin Telegram: https://t.me/ada_lang​⁠⁠
    --------  
    24:48
  • 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/s8Support us: ⁠https://www.patreon.com/ada_re⁠⁠Join Discord: ⁠⁠https://discord.gg/fvNd5KunJoin Telegram: ⁠⁠https://t.me/ada_lang​⁠⁠
    --------  
    25:33
  • 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: ⁠https://discord.gg/fvNd5Kun⁠Join Telegram: ⁠https://t.me/ada_lang​⁠
    --------  
    27:48
  • 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 Telegram: https://t.me/ada_lang​
    --------  
    26:35

Más podcasts de Tecnología

Acerca de 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
Sitio web del podcast

Escucha Beyond memory safety with the Ada SPARK programming language, Emilcar Daily y muchos más podcasts de todo el mundo con la aplicación de radio.es

Descarga la app gratuita: radio.es

  • Añadir radios y podcasts a favoritos
  • Transmisión por Wi-Fi y Bluetooth
  • Carplay & Android Auto compatible
  • Muchas otras funciones de la app
Aplicaciones
Redes sociales
v7.23.9 | © 2007-2025 radio.de GmbH
Generated: 9/18/2025 - 2:10:33 AM