Всё про Аду

By

Видео о языке программирования Ада и сопутствующих технологиях... more

Download on the App Store

Download on the App Store

Get it on Google Play

FAQs about Всё про Аду:

How many episodes does Всё про Аду have?

The podcast currently has 17 episodes available.

Всё про Аду episodes:

February 05, 2023 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.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/
...more
0min
February 05, 2023 Ада новости за январь 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-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/
...more
0min
January 02, 2023 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: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
...more
0min
January 02, 2023 Ада новости за декабрь 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 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/
...more
0min
December 31, 2022 Jupyter Ada Kernel
The release of Jupyter Notebook Ada Kernel is published on GitHub and as a VS Code extension to simplify its installation. VS Code has a native support of Jupyter Notebooks, so everything should work smoothly.
(Jupyter Notebooks are documents of Markdown and code cells. Code cells could be executed and provide result into the document. Good for experiments and teaching.)
The extension is available on the marketplace.
...more
0min
November 29, 2022 Ада новости за ноябрь 2022г
00:35 SPARK против крипто - уязвимостей
01:52 NVIDIA меняет Си на SPARK
03:35 Введение в страиваемые системы
04:32 Advent of Code 2023 с AdaCore!
07:02 AdaWebPack 22.1 на LLVM 14
07:55 GNAT Studio на Mac OS
08:32 AdaCore выпускает всё 23.0
10:22 FOSDEM 2023 без Ады
10:55 Debian без GNAT Studio
12:31 ada-lang.io без хозяима
14:18 ada-ru.org без домена
14:53 Ada User Journal онлайн
...more
0min
October 02, 2022 Ада новости за октябрь 2022г
00:24 Ada Enchancement Guide 2022
02:50 The Work of Proof in SPARK
04:53 XCode 14 breaks Ada on Mac OS X
06:15 Gentoo has got Ada in system GCC
10:11 Ada for VS Code 23.0.10
12:43 Alire has got GCC 12.2.1 with avr libc
13:30 ada-lang.io improvements
...more
0min
September 04, 2022 Ада новости, август 2022
00:00 Памяти Дмитрия Анисимкова
01:50 Новый сайт для Ада сообщества
05:00 Перевод "Введение в язык Ада"
06:00 Блог пост о Ада, Си и встраиваемых системах
08:10 Исследования безопасности ПО и SPARK
12:25 Ада на AVR, 8-битном ЦПУ
...more
0min
August 06, 2022 Типы с фиксированной точкой в Аде
Рассматриваем, как работают числа с фиксированной точкой в языке Ада. Находим углы Эйлера на Micro:bit.
...more
0min
July 25, 2022 Ада на Raspberry Pi RP2040
Как запустить Аду на Raspberry Pi Pico используя встраиваемую библиотеку времени исполнения? С какими проблемами пришлось столкнуться? Джереми Гроссер.
Первоисточник: https://youtu.be/Pwd9Q5ELAGM
Документация: https://pico-doc.synack.me/
Поддержать канал: https://www.patreon.com/ada_ru
...more
0min

FAQs about Всё про Аду:

How many episodes does Всё про Аду have?

The podcast currently has 17 episodes available.