Beyond memory safety with the Ada SPARK programming language

Kevin Chadwick
  • ٠٫٠ (٠)
  • التكنولوجيا
  • يتم التحديث شهريًا

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

  1. ٢٤ أغسطس

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

    ٢٥ من الدقائق

  2. ١٧ يونيو

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

    ٢٦ من الدقائق

  3. ٣١ مايو

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

    ٢٨ من الدقائق

  4. ١٨ مايو

    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​

    ٢٧ من الدقائق
  5. Ada Quality and Style Guide: Concurrency

    ٢٨ أبريل

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

    ٢٨ من الدقائق

  6. ٢٣ أبريل

    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 https://youtu.be/GOVfwBcnU_E

    ١٧ من الدقائق

  7. ٢٣ أبريل

    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

    ٢٤ من الدقائق

  8. ٢٣ أبريل

    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

    ٢٣ من الدقائق
مشاهدة الكل (٢١)

حول

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

المعلومات