Всё про Аду https://diode.zone/c/ada_tools/videos Видео о языке программирования Ада и сопутствующих технологиях Tue, 20 Oct 2026 10:28:45 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://diode.zone Всё про Аду https://diode.zone/lazy-static/avatars/d4c85478-5923-486f-bdc6-c5202251746a.png https://diode.zone/c/ada_tools/videos All rights reserved, unless otherwise specified in the terms specified at https://diode.zone/about and potential licenses granted by each content's rightholder. https://diode.zone/feeds/podcast/videos.xml?videoChannelId=4614 <![CDATA[Ada News Digest, September 2023]]> https://diode.zone/w/e67DrVdZuJt4uY35pWyJBe https://diode.zone/w/e67DrVdZuJt4uY35pWyJBe Sun, 01 Oct 2023 10:01:28 GMT 00:26 Ada Monthly Meetup anouncement
01:37 Crate of the Year 2023
03:26 Getting Started With Ada by Way of Rust
04:37 GNAT Studio on MacOS and a MacOS linking bug
05:33 Argon2for Ada
06:13 Conclusion

]]> Всё про Аду Science & Technology nonadult Ada News Digest, September 2023 00:26 Ada Monthly Meetup anouncement 01:37 Crate of the Year 2023 03:26 [Getting Started With Ada by Way ... <![CDATA[Ада новости за сентябрь 2023]]> https://diode.zone/w/wMqMG2p1wALzRhDVA4FDzd https://diode.zone/w/wMqMG2p1wALzRhDVA4FDzd Sun, 01 Oct 2023 09:57:28 GMT 00:30 Ada Monthly Meetup anouncement
01:45 Crate of the Year 2023
03:35 Getting Started With Ada by Way of Rust
05:01 GNAT Studio on MacOS and a MacOS linking bug
06:53 Argon2for Ada
07:45 Conclusion

]]> Всё про Аду Science & Technology nonadult Ада новости за сентябрь 2023 00:30 Ada Monthly Meetup anouncement 01:45 Crate of the Year 2023 03:35 [Getting Started With Ada by Way ... <![CDATA[Ada News Digest, August 2023]]> https://diode.zone/w/5a2YAgpQvo6X4jRk1ZRDYm https://diode.zone/w/5a2YAgpQvo6X4jRk1ZRDYm Sun, 03 Sep 2023 11:20:17 GMT 02:00 Adamant: A Mission-Critical Flight Software Framework Written in Ada
05:11 Formal Proof on Device Drivers with SPARK
06:11 Extending Priority Inheritance Beyond Protected Operations
07:00 HAC for native targets
07:53 PTC ObjectAda Version 10.5
08:43 SweetAda on NEORV32
09:45 GNAT-LLVM (for macOS) prerelease
10:37 GNAT FSF 13 available in Alire preview
11:32 Ada BFD 1.3.0 release
13:43 Ada History: Common HOL Phase 1 Reports

]]> Всё про Аду Science & Technology nonadult Ada News Digest, August 2023 02:00 Adamant: A Mission-Critical Flight Software Framework Written in Ada 05:11 [Formal Proof on Device Drivers with SPARK](https://blog.adacore.com/... <![CDATA[Ада новости за август 2023]]> https://diode.zone/w/5WtXb4hxDwV5x6e6XZ7XsM https://diode.zone/w/5WtXb4hxDwV5x6e6XZ7XsM Sun, 03 Sep 2023 10:59:08 GMT 01:42 Adamant: A Mission-Critical Flight Software Framework Written in Ada
07:16 Formal Proof on Device Drivers with SPARK
08:57 Extending Priority Inheritance Beyond Protected Operations
13:50 HAC for native targets
15:17 PTC ObjectAda Version 10.5
16:40 SweetAda on NEORV32
17:55 GNAT-LLVM (for macOS) prerelease
18:49 GNAT FSF 13 available in Alire preview
19:52 Ada BFD 1.3.0 release
23:10 Из истории Ады: Отчет о фазе 1

]]> Всё про Аду Science & Technology nonadult Ада новости за август 2023 01:42 Adamant: A Mission-Critical Flight Software Framework Written in Ada 07:16 [Formal Proof on Device Drivers with SPARK](https://blog.adacore.com/... <![CDATA[Ada News Digest, July 2023]]> https://diode.zone/w/1jEhf65Bj52rscRhqUEDwM https://diode.zone/w/1jEhf65Bj52rscRhqUEDwM Fri, 11 Aug 2023 14:40:58 GMT 00:28 VSS: Cursors, Iterators and Markers
04:29 GNAT Pro Roadmap
07:10 Explaining Ada's Generics
08:17 Threads of Confusion, Bit arrays
09:28 VS Code Ada extension 23.0.20
10:40 New Libraries: Cashe, SQLite 3, Ada in wolfSSL
12:20 HiRTOS, a high-integrity RTOS in SPARK
13:45 Ada Support on Archlinux
14:50 Ada Programmers to hire

]]> Всё про Аду Science & Technology nonadult Ada News Digest, July 2023 00:28 VSS: Cursors, Iterators and Markers 04:29 GNAT Pro Roadmap 07:10 [Explaining Ada's Generics](http://edward.fish/index.php/2023/07/22... <![CDATA[Ада новости за июнь 2023]]> https://diode.zone/w/6avQQ2Ufr4FeLub8DQksUj https://diode.zone/w/6avQQ2Ufr4FeLub8DQksUj Fri, 11 Aug 2023 14:13:50 GMT 00:40 VSS: Cursors, Iterators and Markers
04:43 GNAT Pro Roadmap
13:42 Explaining Ada's Generics
15:22 Threads of Confusion, Bit arrays
16:44 VS Code Ada extension 23.0.20
18:43 Cashe: A Money library for Ada
19:17 Ada Bindings to SQLite 3
20:24 Ada binding to the wolfSSL
22:15 HiRTOS, a high-integrity RTOS in SPARK
25:33 Ada Support on Archlinux
26:45 Ada Programmers to hire

]]> Всё про Аду Science & Technology nonadult Ада новости за июнь 2023 00:40 VSS: Cursors, Iterators and Markers 04:43 GNAT Pro Roadmap 13:42 [Explaining Ada's Generics](http://edward.fish/index.php/2023/07/22... <![CDATA[Ada Meetup 2023 July]]> https://diode.zone/w/3bspzdAbwnjYzCHD9h3QZr https://diode.zone/w/3bspzdAbwnjYzCHD9h3QZr Tue, 18 Jul 2023 07:49:10 GMT This is the first Ada Meetup where participants got to know each other. Videos from the GNAT Academic Program Workshop were presented. Jeff demonstrated a graph plotting program based on Ada GUI. And Max gave a brief overview of the prototype for an online problem-solving system.

The Ada Meetup is held during the first few days of every month. Attending is as simple as using a web browser - no additional software installation or registration is required. Join us!

07:00 Self-introduction of participants
16:14 Academic Workshop Videos
32:27 Qplt (Quick Plot) demo
44:59 Mission solving prototype
48:38 Final words

]]> Всё про Аду Science & Technology nonadult Ada Meetup 2023 July This is the first Ada Meetup where participants got to know each other. Videos from the GNAT Academic Program Workshop were presented. Jeff demonstrated a graph plotting program based on Ada G... <![CDATA[Ada News Digest, June 2023]]> https://diode.zone/w/7UwcoeFwqUyc8Q2yBCuk14 https://diode.zone/w/7UwcoeFwqUyc8Q2yBCuk14 Sun, 09 Jul 2023 12:12:37 GMT
  • 00:30 Ada Monthly Meetup
  • 01:50 Quick Plot
  • 02:43 CheckIO clone for Ada
  • 05:29 GNAT Studio for Arch Linux
  • 06:30 GNAT Academia Workshop
  • 19:11 Beyond Normal Termination
  • 19:44 Ada User Journal 43
    • ]]>     Всё про Аду Science & Technology nonadult Ada News Digest, June 2023 00:30 Ada Monthly Meetup, 01:50 Quick Plot, 02:43 CheckIO clone for Ada, 05:29 [GNAT Studio for ...     <![CDATA[Ада новости за июнь 2023]]> https://diode.zone/w/vWv8q1bA6wd9RJqPWyeXfC https://diode.zone/w/vWv8q1bA6wd9RJqPWyeXfC Sun, 09 Jul 2023 11:35:36 GMT
  • 00:30 Ada Monthly Meetup
  • 03:48 Quick Plot
  • 05:06 CheckIO clone for Ada
  • 07:55 GNAT Studio for Arch Linux
  • 09:16 GNAT Academia Workshop
  • 26:39 Beyond Normal Termination
  • 27:30 Ada User Journal 43
    • ]]>     Всё про Аду Science & Technology nonadult Ада новости за июнь 2023 00:30 Ada Monthly Meetup, 03:48 Quick Plot, 05:06 CheckIO clone for Ada, 07:55 [GNAT Studio for ...     <![CDATA[Ada News Digest, May 2023]]> https://diode.zone/w/oP3os9Kt9Fg6tCqHsm4DyF https://diode.zone/w/oP3os9Kt9Fg6tCqHsm4DyF Fri, 02 Jun 2023 13:43:46 GMT
  • 00:27 Ada Monthly Meetup
  • 01:40 New ISO Ada 2022 Standard
  • 03:29 New GNAT Studio release
  • 06:13 New yacc/aflex release
  • 06:57 Alice project
  • 08:11 Ada on PYPL
  • 08:49 Ada in StackOverflow Survey
  • 09:28 New Learning Course
  • 10:48 RecordFlux blog post
    • ]]>     Всё про Аду Science & Technology nonadult Ada News Digest, May 2023 00:27 Ada Monthly Meetup, 01:40 New ISO Ada 2022 Standard, 03:29 [New GNAT Studio rele...     <![CDATA[Ада новости за май 2023]]> https://diode.zone/w/mr9NEbTeLSRvPGxpArFgmX https://diode.zone/w/mr9NEbTeLSRvPGxpArFgmX Fri, 02 Jun 2023 12:27:31 GMT
  • 00:24 Ada Monthly Meetup
  • 01:44 New ISO Ada 2022 Standard
  • 04:00 New GNAT Studio release
  • 06:54 New yacc/aflex release
  • 07:59 Alice project
  • 10:12 Ada on PYPL
  • 11:17 Ada in StackOverflow Survey
  • 12:28 New Learning Course
  • 14:00 RecordFlux blog post
    • ]]>     Всё про Аду Science & Technology nonadult Ада новости за май 2023 00:24 Ada Monthly Meetup, 01:44 New ISO Ada 2022 Standard, 04:00 [New GNAT Studio rele...     <![CDATA[Ада новости за апрель 2023]]> https://diode.zone/w/ma2v4dyKWAxdkCHQidWmwp https://diode.zone/w/ma2v4dyKWAxdkCHQidWmwp Sun, 07 May 2023 12:08:37 GMT
  • 00:25 Блоги про SPARK
  • 03:31 Adareducer
  • 05:44 GCC 13.1 Release
  • 09:03 Ada 2022: List'Reduce
  • 11:23 Ada 2022: New cursor operations
  • 13:18 Ada 2022: Entry'Index
  • 14:55 О расширениях языка
  • 16:27 Объявления в операторах
  • 18:18 Интерполяция в строках
  • 21:40 Нейронные сети в Аде
  • 25:01 Обновления на Learn.adacore.com
  • 26:26 Развитие GNAT Academia

    • Blogs: https://blog.adacore.com/
    GCC 13: https://forum.ada-lang.io/t/gcc-13-1-released/374
    GAP: https://www.adacore.com/academia

    ]]>     Всё про Аду Science & Technology nonadult Ада новости за апрель 2023 00:25 Блоги про SPARK, 03:31 Adareducer, 05:44 GCC 13.1 Release, 09:03 Ada 2022: List'Reduce, 11:23 Ada 2022: New cursor operations, 13:18 Ada 2022: Entry'Index, 14:55 О расширениях языка, 16:27 Объявления в операторах, 18:18 Инт...     <![CDATA[Ада новости за март 2023]]> https://diode.zone/w/9kQpzbPwFzZDiErWMG4AXb https://diode.zone/w/9kQpzbPwFzZDiErWMG4AXb Sat, 08 Apr 2023 09:09:42 GMT 00:26 Навигация в GitLab
    05:02 OGG, Theora, Vulkan для Ada
    07:10 VS Code Ada 23.0.15
    09:32 Введение в VSS
    12:38 Релиз RecordFlux

    ]]>     Всё про Аду Science & Technology nonadult Ада новости за март 2023 00:26 Навигация в GitLab 05:02 OGG, Theora, Vulkan для Ada 07:10 VS Code Ada 23.0.15 09:32 Введение в VSS 12:38 Релиз RecordFlux LSIF-Ada, [VulkAda](https://www.redd...     <![CDATA[Ada News Digest, March 2023]]> https://diode.zone/w/68Z2mo3qPtSjKFrQdQzRBo https://diode.zone/w/68Z2mo3qPtSjKFrQdQzRBo Fri, 07 Apr 2023 15:54:04 GMT 00:57 Code navigation for GitLab
    02:48 Vulkan and OGG Ada bindings
    05:27 VS Code Ada extension 23.0.15
    06:58 Introduction to VSS blog post
    08:58 RecordFlux blog post

    Join Telegram: https://t.me/ada_lang

    ]]>     Всё про Аду Science & Technology nonadult Ada News Digest, March 2023 00:57 Code navigation for GitLab 02:48 Vulkan and OGG Ada bindings 05:27 VS Code Ada extension 23.0.15 06:58 Introduction to VSS blog post 08:58 RecordFlux blog post [LSIF}(https://forum.ada-lang.io/t/enabling-code-navigation-on-gitlab/35...     <![CDATA[Ada News Digest, February 2023]]> https://diode.zone/w/oPMxLmRyGwcQfiGcniiK1p https://diode.zone/w/oPMxLmRyGwcQfiGcniiK1p Sat, 04 Mar 2023 12:30:48 GMT 00:30 Ada stand FOSDEM
    03:19 SPARK presentation
    04:25 Advent of Computing Ada episodes
    05:44 Ada on Craft of Coding
    07:16 Unicode in Alire voting
    11:14 Ada for VSCode 23.0.14
    13:03 Ada on PLDB

    ]]>     Всё про Аду Science & Technology nonadult Ada News Digest, February 2023 00:30 Ada stand FOSDEM 03:19 SPARK presentation 04:25 Advent of Computing Ada episodes 05:44 Ada on Craft of Coding 07:16 Unicode in Alire voting 11:14 Ada for VSCode 23.0.14 13:03 Ada on PLDB [FOSDEM](https://forum.ada-lang.io/t/ada-s...     <![CDATA[Ада новости за февраль 2023]]> https://diode.zone/w/7h6fuKZDpZ2a1aXiMQTyck https://diode.zone/w/7h6fuKZDpZ2a1aXiMQTyck Sat, 04 Mar 2023 12:13:02 GMT 00:44 Ада стенд на FOSDEM
    04:05 презентация SPARK
    06:00 Подкасты Advent of Computing
    07:40 Статьи на Craft of Coding
    10:25 Unicode в Alire
    15:28 Ada for VSCode 23.0.14

    Дополнительно: PLDB

    ]]>     Всё про Аду Science & Technology nonadult Ада новости за февраль 2023 00:44 Ада стенд на FOSDEM 04:05 презентация SPARK 06:00 Подкасты Advent of Computing 07:40 Статьи на Craft of Coding 10:25 Unicode в Alire 15:28 Ada for VSCode 23.0.14 FOSDEM, [SP...     <![CDATA[Ada News Digest, January 2023]]> https://diode.zone/w/9uFdiksJgmzRUEr2H4REyn https://diode.zone/w/9uFdiksJgmzRUEr2H4REyn Sun, 05 Feb 2023 12:07:26 GMT 00:22 COTY 2022 Winners
    02:05 Ada on AVR Intro
    03:30 Demo: GtkAda with Alire and VS Code
    05:00 Ada logo editor
    06:23 Ada in Visual Studio 2022
    07:10 Gnu Emacs Ada mode 8.0.4
    08:03 Ada User Journal Volume 42

    COTY 2022 https://blog.adacore.com/ada-spark-cr...
    Ada Logo https://blog.adacore.com/our-contribu...
    AVR введение https://github.com/sowebio/adam-doc
    GtkAda введение https://www.youtube.com/watch?v=IofrV...
    AdaVisual 1.0.0.9 https://marketplace.visualstudio.com/...
    Emacs Ada 8.0.4 https://forum.ada-lang.io/t/gnu-emacs...
    Ada User Journal 42 https://www.ada-europe.org/auj/archive/

    ]]>     Всё про Аду Science & Technology nonadult Ada News Digest, January 2023 00:22 COTY 2022 Winners 02:05 Ada on AVR Intro 03:30 Demo: GtkAda with Alire and VS Code 05:00 Ada logo editor 06:23 Ada in Visual Studio 2022 07:10 Gnu Emacs Ada mode 8.0.4 08:03 Ada User Journal Volume 42 COTY 2022 https://blog.adacore....     <![CDATA[Ада новости за январь 2023г]]> https://diode.zone/w/czg3tUi5sigxtEGsKBUPt8 https://diode.zone/w/czg3tUi5sigxtEGsKBUPt8 Sun, 05 Feb 2023 11:58:42 GMT 00:25 Победители конкурса COTY 2022
    02:27 Ada логотип для всех
    04:55 Ада на AVR
    07:00 Демо GtkAda с Alire и VS Code
    08:33 Ada в Visual Studio 2022
    09:30 Gnu Emacs Ada mode 8.0.4
    10:55 AUJ Volume 42

    COTY 2022 https://blog.adacore.com/ada-spark-crate-of-the-year-2022-winners-announced
    Ada Logo https://blog.adacore.com/our-contribution-to-the-ada-logo-discussion
    AVR введение https://github.com/sowebio/adam-doc
    GtkAda введение https://www.youtube.com/watch?v=IofrV5hsUvg
    AdaVisual 1.0.0.9 https://marketplace.visualstudio.com/items?itemName=AlexGamper.VisualAda-2022
    Emacs Ada 8.0.4 https://forum.ada-lang.io/t/gnu-emacs-ada-mode-8-0-4-released/310
    Ada User Journal 42 https://www.ada-europe.org/auj/archive/

    ]]>     Всё про Аду Science & Technology nonadult Ада новости за январь 2023г 00:25 Победители конкурса COTY 2022 02:27 Ada логотип для всех 04:55 Ада на AVR 07:00 Демо GtkAda с Alire и VS Code 08:33 Ada в Visual Studio 2022 09:30 Gnu Emacs Ada mode 8.0.4 10:55 AUJ Volume 42 COTY 2022 https://blog.adacore.com/ada...     <![CDATA[Ada News Digest, December 2022]]> https://diode.zone/w/6Pr2U97ZdG3h9W7fLLnHBh https://diode.zone/w/6Pr2U97ZdG3h9W7fLLnHBh Mon, 02 Jan 2023 12:19:36 GMT 00:05 Advent of Code 2022 in Ada
    02:02 Crate of the Year 2022 Results
    07:30 Ada 2022 Standard
    08:33 New Ada Feedback Site
    10:25 TreeSitter for Ada
    12:20 MavLink with Ada support
    13:47 Fusion ignition uses Ada
    15:00 Coroutines in Ada
    16:28 FreeBSD has GNAT 12
    17:24 RecordFlux 0.8
    19:48 LKQL Jit with GraalVM

    Referencess:
    AoC 2022 https://forum.ada-lang.io/t/advent-of-ada-submissions/129/233
    COTY 2022 https://blog.adacore.com/announcing-the-2022-ada-spark-crate-of-the-year-award
    Ada 2022 https://forum.ada-lang.io/t/happy-new-year/278
    Ada Feedback https://arg.adaic.org/community-input
    TreeSitter https://forum.ada-lang.io/t/treesitter-grammar-for-ada
    MavLink https://www.reddit.com/r/ada/comments/zzt53r/ada_for_mavlink_protocol/
    Ada + Fuse https://www.reddit.com/r/ada/comments/zl33fi/ada_part_of_a_historic_milestone/
    Coroutines https://blog.adacore.com/coroutines-in-ada-a-clean-but-heavy-implementation
    FreeBSD https://www.freshports.org/lang/gnat12/
    RecordFlux https://blog.adacore.com/recordflux-from-message-specifications-to-spark-code
    LKQL JIT https://github.com/AdaCore/langkit-query-language/tree/topic/lkql_jit

    ]]>     Всё про Аду Science & Technology nonadult Ada News Digest, December 2022 00:05 Advent of Code 2022 in Ada 02:02 Crate of the Year 2022 Results 07:30 Ada 2022 Standard 08:33 New Ada Feedback Site 10:25 TreeSitter for Ada 12:20 MavLink with Ada support 13:47 Fusion ignition uses Ada 15:00 Coroutines in Ada 16...     <![CDATA[Ада новости за декабрь 2022г]]> https://diode.zone/w/bWDRNCdb5kQsou1aqKhR3j https://diode.zone/w/bWDRNCdb5kQsou1aqKhR3j Mon, 02 Jan 2023 12:15:48 GMT 00:20 Advent of Code 2022 in Ada
    02:10 Результат Crate of the Year 2022
    08:55 Стандарт Ada 2022
    09:53 Ada Feedback по новому
    12:33 TreeSitter for Ada
    15:12 MavLink и Ада
    17:07 Термояд на Аде
    18:49 Coroutines in на Аде
    20:17 GNAT 12 FreeBSD
    21:06 RecordFlux 0.8
    24:54 LKQL Jit на GraalVM

    AoC 2022 https://forum.ada-lang.io/t/advent-of-ada-submissions/129/233
    COTY 2022 https://blog.adacore.com/announcing-the-2022-ada-spark-crate-of-the-year-award
    Ada 2022 https://forum.ada-lang.io/t/happy-new-year/278
    Ada Feedback https://arg.adaic.org/community-input
    TreeSitter https://forum.ada-lang.io/t/treesitter-grammar-for-ada
    MavLink https://www.reddit.com/r/ada/comments/zzt53r/ada_for_mavlink_protocol/
    Fuse https://www.reddit.com/r/ada/comments/zl33fi/ada_part_of_a_historic_milestone/
    Coroutines https://blog.adacore.com/coroutines-in-ada-a-clean-but-heavy-implementation
    FreeBSD https://www.freshports.org/lang/gnat12/
    RecordFlux https://blog.adacore.com/recordflux-from-message-specifications-to-spark-code
    LKQL JIT https://github.com/AdaCore/langkit-query-language/branches/

    ]]>     Всё про Аду Science & Technology nonadult Ада новости за декабрь 2022г 00:20 Advent of Code 2022 in Ada 02:10 Результат Crate of the Year 2022 08:55 Стандарт Ada 2022 09:53 Ada Feedback по новому 12:33 TreeSitter for Ada 15:12 MavLink и Ада 17:07 Термояд на Аде 18:49 Coroutines in на Аде 20:17 GNAT 12 Free...