Всё про Аду
Всё про Аду
  • Видео 60
  • Просмотров 18 872
Ада новости за сентябрь 2023г.
Поддержать канал: www.patreon.com/ada_re
Телеграм: t.me/ada_ru_chat
00:30 Ada Monthly Meetup anouncement
01:45 Crate of the Year 2023
03:35 Getting Started With Ada by Way of Rust
05:10 Ada on MacOS news
06:53 Argon2 for Ada
07:45 Ada в рейтингах языков
* meetup forum.ada-lang.io/t/ada-monthly-meeting/384/18
* COTY 2023 blog.adacore.com/announcing-the-2023-ada-spark-crate-of-the-year-award
* Ada by Rust way coniferproductions.com/ada/ohyes/getting-started-with-ada-by-way-of-rust/
* GS on MacOS groups.google.com/g/comp.lang.ada/c/HLVUtaE32Qs
* MacOS bug groups.google.com/g/comp.lang.ada/c/thhh_JcjMXg
* Argon2 github.com/atalii/argon2-ada
#ada #adalang #Ада #ada-lang
Просмотров: 117

Видео

Ада новости за август 2023г.
Просмотров 92Год назад
Поддержать канал: www.patreon.com/ada_re Телеграм: t.me/ada_ru_chat 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...
Ада новости за июль 2023г.
Просмотров 71Год назад
Поддержать канал: www.patreon.com/ada_re Телеграм: t.me/ada_ru_chat 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 release 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:...
Ада новости за июнь 2023г.
Просмотров 96Год назад
Поддержать канал: www.patreon.com/ada_re Телеграм: t.me/ada_ru_chat * 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 * Ada Meetup forum.ada-lang.io/t/ada-monthly-meeting/384/3 * Quick Plot forum.ada-lang.io/t/qplt-quick-plot/401 * CheckIO for...
Ада новости за май 2023г.
Просмотров 65Год назад
Поддержать канал: www.patreon.com/ada_re Телеграм: t.me/ada_ru_chat 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 Ada Meetup: groups.google.com/g/comp.lang.ada/c/fqG-_b2Pvvo ISO Ada 2022: www.reddit.com...
Ада новости за апрель 2023г
Просмотров 56Год назад
Поддержать канал: www.patreon.com/ada_re Телеграм: t.me/ada_ru_chat 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 Aca...
Ада новости за март 2023г
Просмотров 74Год назад
Поддержать канал: www.patreon.com/ada_re Телеграм: t.me/ada_ru_chat 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: forum.ada-lang.io/t/enabling-code-navigation-on-gitlab/356 VulkAda: www.reddit.com/r/ada/comments/11gtrrg/adaogg_and_vulkada_ada2012_bindings_to_oggvorbis/ VS Code Ada: www.reddit.com/r/ada/...
Ада новости за февраль 2023г
Просмотров 61Год назад
Поддержать канал: www.patreon.com/ada_re 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 forum.ada-lang.io/t/ada-stand-at-fosdem-2023/ SPARK blog.adacore.com/adacore-at-fosdem-2023 Advent of Computing adventofcomputing.libsyn.com/episode-101-origins-of-ada Craft of Codi...
Ада новости за январь 2023г
Просмотров 82Год назад
Поддержать канал: www.patreon.com/ada_re 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 blog.adacore.com/ada-spark-crate-of-the-year-2022-winners-announced Ada Logo blog.adacore.com/our-contribution-to-the-ada-logo-discussion AVR введен...
Ада новости за декабрь 2022г
Просмотров 72Год назад
Поддержать канал: www.patreon.com/ada_re 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 forum.ada-lang.io/t/advent-of-ada-submissions/129/233 COTY 2...
Ada Kernel for Jupyter Notebook and VS Code
Просмотров 12 тыс.Год назад
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. Support: www.patreon.com/ada_re
Ада новости за ноябрь 2022г
Просмотров 53Год назад
Поддержать канал: www.patreon.com/ada_re 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:...
Ада новости за сентябрь 2022г
Просмотров 83Год назад
Поддержать канал: www.patreon.com/ada_re 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 www.ada-auth.org/standards/overview22.html www.adacore.com/papers/work-of-proof-in-spark www.reddit.com/r/...
Ада новости за август 2022г
Просмотров 1232 года назад
00:00 Памяти Дмитрия Анисимкова 01:50 Новый сайт для Ада сообщества: ada-lang.io 05:00 Перевод "Введение в язык Ада": reznikmm.github.io/learn/ 06:00 Блог пост о Ада, Си и встраиваемых системах: blog.adacore.com/embedded-ada-spark-theres-a-shortcut 08:10 Исследования безопасности ПО и SPARK: www.reddit.com/r/ada/comments/wwrvyb/exploitation_in_the_era_of_formal_verification_a/ 12:25 Ада на AVR,...
Типы с фиксированной точкой в Аде
Просмотров 1422 года назад
Рассматриваем, как работают числа с фиксированной точкой в языке Ада. Находим углы Эйлера на Micro:bit. Поддержать канал: www.patreon.com/ada_re #Ada #fixedpoint #embedded #Ада #программирование
Ада на Raspberry Pi RP2040
Просмотров 4482 года назад
Ада на Raspberry Pi RP2040
Alire - Пакетный менеджер для Ады
Просмотров 1632 года назад
Alire - Пакетный менеджер для Ады
Серия книг "Обоснование Ады". Ada Rationale
Просмотров 2512 года назад
Серия книг "Обоснование Ады". Ada Rationale
Ада, качество и стиль. Руководство для профессиональных программистов.
Просмотров 9682 года назад
Ада, качество и стиль. Руководство для профессиональных программистов.
AdaWebPack. Как начать использовать?
Просмотров 1112 года назад
AdaWebPack. Как начать использовать?
Проектные файлы GNAT
Просмотров 1172 года назад
Проектные файлы GNAT
Руководство пользователя GNAT.
Просмотров 1892 года назад
Руководство пользователя GNAT.
Справочное руководство GNAT. Что внутри?
Просмотров 1082 года назад
Справочное руководство GNAT. Что внутри?
Как пользоваться Ada Reference Manual?
Просмотров 2082 года назад
Как пользоваться Ada Reference Manual?
Library unit renaming in Ada for VS Code.
Просмотров 772 года назад
Library unit renaming in Ada for VS Code.
Итерация по собственному контейнеру | Live Coding in Ada
Просмотров 1322 года назад
Итерация по собственному контейнеру | Live Coding in Ada
Remote Development in Ada using VSCode
Просмотров 1,2 тыс.3 года назад
Remote Development in Ada using VSCode
Auto-detected tasks in Ada extension for VSCode
Просмотров 7923 года назад
Auto-detected tasks in Ada extension for VSCode

Комментарии

  • @border_lands
    @border_lands 4 месяца назад

    Ты куда пропал друг ?

  • @OCTAGRAM
    @OCTAGRAM Год назад

    Что касается истории Ады, может быть интересно раздобыть спецификации всех четырёх кандидатов. Вот, например, чем интересен Blue? И как выглядел Green Никлауса Вирта

  • @OCTAGRAM
    @OCTAGRAM Год назад

    Жаль, что альтернативные компиляторы не поддерживают Android и iOS. Delphi уже бесплатно их поддерживает, а наш прострел везде поспел

  • @arpitkhanulia7
    @arpitkhanulia7 Год назад

    how to do for javascript?

  • @OCTAGRAM
    @OCTAGRAM Год назад

    Truffle не только из Java, но и из любого языка для JVM. Патриоты Паскаля должны предпочитать Oxygene, если им нужно поработать с JVM

  • @vladimirfedorov9461
    @vladimirfedorov9461 Год назад

    fixed size types - интересные фичи. Когда их можно ожидать в fsf ? ))

    • @ВсёпроАду
      @ВсёпроАду Год назад

      Сложно сказать, но я надеюсь в GCC 14 может попасть.

  • @andreyavraliov3020
    @andreyavraliov3020 Год назад

    Большое спасибо Максим за ваш труд. Благодаря популяризаторам как вы, язык Ада набирает обороты с моей точки зрения!

  • @andreyavraliov3020
    @andreyavraliov3020 Год назад

    Обзор возможностей ada2022 очень интересует. С Уважением!

  • @andreyfil6862
    @andreyfil6862 Год назад

    Я початок відео 3 рази передивився! 💥❤‍🔥

  • @andreyavraliov3020
    @andreyavraliov3020 Год назад

    Спасибо за ваш труд! Здоровья вам и терпения !

  • @andreyfil6862
    @andreyfil6862 Год назад

    Вступне слово бомба 💥💥💥

    • @ВсёпроАду
      @ВсёпроАду Год назад

      Докладатиму зусиль, щоб зміст був не гіршим :)

  • @yaroshchenko_coder
    @yaroshchenko_coder Год назад

    Ух ты - подписка... Скажите на Ada возможно написать графический интерфейс и так ли это болезненно? (Имею ввиду зависимости linux). Возможно ли на Ada вызвать другой язык, например запустить Perl скрипт? Спасибо.

    • @ВсёпроАду
      @ВсёпроАду Год назад

      GNAT Studio использует GtkAda для графического интерфейса, так что это возможно и такой вариант будет работать еще долго. Кроме этой библиотеки есть еще какой-то биндинг к Qt, но я им никогда не пользовался. Вполне реально вызвать функцию из Си библиотеки или другого языка, который интегрируется с Си. Не составит труда вызвать отдельный процесс с помощью GNAT.OS_Lib.Spawn или модуля Spawn из Alire.

  • @allively3301
    @allively3301 Год назад

    This would be so much better with audio included. Would it be possible to include audio on your next video?

    • @ВсёпроАду
      @ВсёпроАду Год назад

      I thought the screencast was self-explanatory. We also have a wiki site for Ada Language Server (VS Code extension for Ada) with useful tips. There is also an English RUclips channel www.youtube.com/@ada-maximized.

  • @andreyavraliov3020
    @andreyavraliov3020 Год назад

    Спасибо Макс за ваш труд и за то, что не оставляете дело популяризации нашего любимого языка. Кстати на Тиобе в этом месяце, Ада на 22 месте. Я каждый месяц смотрю на изменения по интересующим меня языкам и чувствую тенденцию к усилению позицию Ады.

    • @ВсёпроАду
      @ВсёпроАду Год назад

      Я боюсь, что хайп связаный с криптовалютой Ada вносит свои коррективы в тренды типа TIOBE. В тоже время появление Alire, сайта ada-lang.io, переход библиотек с GPL на Apache, ежегодные конкурсы с призами от AdaCore действительно вселяют некий оптимизм. Мне вот интересно, то что Copilot не умеет в Аду, и что ChatGPT больше ошибается на Аде чем деёт правильный код, как сильно это создаст преимущество более популярным языкам?

  • @mediascan
    @mediascan Год назад

    Спасибо Максим, за твой просвещенный труд!

  • @ikaankeskin7473
    @ikaankeskin7473 Год назад

    My kernel selection doesn't display anything. What am I doing wrong here?

    • @ВсёпроАду
      @ВсёпроАду Год назад

      Check, if you have Jupyter extension pack installed. marketplace.visualstudio.com/items?itemName=ms-toolsai.jupyter

    • @irvingluo9304
      @irvingluo9304 6 месяцев назад

      I am having the same problem, the ada kernel is not displaying after I installed the jupyter notebook extension

  • @andreyavraliov3020
    @andreyavraliov3020 Год назад

    Спасибо за ваш труд! Осветите пожалуйста вопрос о положении дел с языком Ада в реппозиториях линукса. Читал что появились какие то проблемы в дебиане, связанные с переходом на alire. Как вы видите дальнейшее развитие языка на разных дистрибутивах, особенно в дистрибутивах входящих в реестр ПО РФ. Имеется ли у вас информация или опыт работы с risc-v. Пробовал компилировать простейший код под sifive плату, успеха не достиг. Единственное что я понял - рантайм для этой платы который распространяет адакор, который можно выбрать в гнатстудио записывается в неверный адрес. Этот адрес вроде используется для qemu, а для реального железа нужен другой. Я брал этот адрес из мануала для sifive проца и руками прописывал в ld конфиге, но не помогло. Вообще интересует развитие Ады на risk-v платформе ввиду импортозамещения. С уважением.

    • @ВсёпроАду
      @ВсёпроАду Год назад

      На risc-v много проектов. Вот, для примера, можно посмотреть репозиторий демки для FOSDEM github.com/Irvise/Ada_NeoRV32

  • @sandrovegan8156
    @sandrovegan8156 Год назад

    Здравствуйте, недавно узнал про язык ада, и мне стало интересно узнать про сетевые и графические возможности языка и возможно ли на нём написать хеловорл и прошить его на смартфон заменив этим ос(андроид)? Благодарю заранее за ответ! 🙂

    • @ВсёпроАду
      @ВсёпроАду Год назад

      Заменить Андроид не легко, ведь над ним трудились много лет большие коллективы разработчиков. Но сделать что-нибудь "встраиваемое" вполне по силам любому благодаря тому, что Ада имеет библиотеку времени исполнения для встраиваемых устройств. Проще всего взять платку с микроконтроллером и попробовать на нем. Поддерживаются такие платы, как Micro:bit, множество вариантов на ARM процессоре и RISC-V.

  • @mediascan
    @mediascan Год назад

    Спасибо за проделанную работу. Очень рад за тебя Максим, что не бросил канал.

  • @mediascan
    @mediascan Год назад

    Спасибо Максим за твою самоотверженную работу.

  • @shiz0161
    @shiz0161 2 года назад

    Давно ждал нормальной поддержки Ada в Gentoo, олно время даже пытался свой eclass для ады написать, чтоб ADA_TARGET использовал системный gcc, но всё времени не хватало. Очень рад, что наконец-то затащили по нормальному.

  • @andreyavraliov3020
    @andreyavraliov3020 2 года назад

    Спасибо большое, что не бросаете проект. Было интересно и полезно!

  • @OCTAGRAM
    @OCTAGRAM 2 года назад

    Октябрь только начался, а уже за весь октябрь новости

  • @shiz0161
    @shiz0161 2 года назад

    Да, конечно! Видео по применению Ada в встраиваемых системах это крайне актуальная и интересная тема.

  • @cyrilsazonov7375
    @cyrilsazonov7375 2 года назад

    Спасибо! В принципе, вещи известные ( литература по Аде хорошо написана ), но интересно было посмотреть на практическое применение. А нельзя ли ссылочку на то, как настроить GNAT на компиляцию для микроконтроллеров ( ATmega )? Совсем было б здорово -- видео на тему, как это сделать в стиле "fast and dirty".

    • @ВсёпроАду
      @ВсёпроАду 2 года назад

      В alire есть кросс-компилятор для avr, но я не нашел пока, где есть к нему runtime. Я знаю Rolf Ebert сейчас плотно занимается этим. Попробую у него узнать, как обстоят дела.

    • @ВсёпроАду
      @ВсёпроАду 2 года назад

      Попытался показать, как работать с atmel avr в следующем видео. ruclips.net/video/7hvoHmKyA1Y/видео.html

  • @gorsing
    @gorsing 2 года назад

    Спасибо :)

  • @zatochiSiberian
    @zatochiSiberian 2 года назад

    Спасибо!

  • @andreyavraliov3020
    @andreyavraliov3020 2 года назад

    Спасибо за ваш труд. Рад что находите в себе силы в это трудное время на просветительскую деятельность!

  • @cyrilsazonov7375
    @cyrilsazonov7375 2 года назад

    Rationale'95 читается на ура, как хороший детектив. Последующие не такие интересные. Стоило упомянуть возможность использования и проверки размерных величин ( или это не в стандарте? ). Вообще, есть ощущение, что кое в чём язык необоснованно распух, делая уступки всемирному сишному засилью. Спасибо за хороший обзор.

    • @ВсёпроАду
      @ВсёпроАду 2 года назад

      Размерности это выдумка AdaCore и их действительно нет в стандарте. Согласен, что выдумка интересная. Был Ada Gem на эту тему: www.adacore.com/gems/gem-136-how-tall-is-a-kilogram

    • @OCTAGRAM
      @OCTAGRAM 2 года назад

      List comprehension это Icon, Haskell и Python

  • @OCTAGRAM
    @OCTAGRAM 2 года назад

    Патреон не принимает ни МИР, ни UnionPay. Голос надо усилить

  • @andreyavraliov3020
    @andreyavraliov3020 2 года назад

    Спасибо Вам за ваш труд! Рад что с вами всё в порядке. Надеюсь всё обойдётся и вы сможете продолжить свою профессиональную деятельность.

  • @anisimkov
    @anisimkov 2 года назад

    Героям Слава !

  • @zatochiSiberian
    @zatochiSiberian 2 года назад

    Спасибо :)

  • @reluner
    @reluner 2 года назад

    Ада это круто! Продолжай

  • @ВасилийВидякин-к9с

    Огромное спасибо за вашу работу! Очень мало современного материала на русском языке по Аде, и я буду рад дальнейшему развитию канала.

    • @ВсёпроАду
      @ВсёпроАду 2 года назад

      Спасибо! Поделитесь, что было бы вам интересно узнать и посмотреть на нашем канале?

    • @ВасилийВидякин-к9с
      @ВасилийВидякин-к9с 2 года назад

      ​@@ВсёпроАду Учебные ролики не помешали бы; только начал осваивать язык, и это было бы хорошим подспорьем; в целом учебного видеоматериала по языку мало, и для популяризации языка это сослужило бы хорошую службу. Как пример конкретных тем - система типов языка и параллельные вычисления.

  • @cyrilsazonov7375
    @cyrilsazonov7375 2 года назад

    Здравствуйте! Спасибо, очень интересно, но, к сожалению, не хватает времени на то, чтоб поучаствовать. Что касается этой задачи, то я бы перестраховался и определил бы команды так: type COMMAND is ( FORWARD , UP , DOWN ) ; for COMMAND use ( FORWARD =>1 , UP => 2 , DOWN => 3 ) ;

    • @ВсёпроАду
      @ВсёпроАду 2 года назад

      Да, задания хоть и простые в основном, но времени требуют. Интересно решать, когда есть команда единомышленников.

  • @andreyavraliov3020
    @andreyavraliov3020 2 года назад

    Здравствуйте! Будет ли поддерживаться gnatstudio в alire? А то в дебиане из исходников трудновато собирать.

    • @ВсёпроАду
      @ВсёпроАду 2 года назад

      Собрать GS действительно сложно. Пока ещё думаем, чем его лучше собирать. Alire не очень подходит, он не умеет делать install, но можно попробовать, как эксперимент.

  • @MrR1DDLE
    @MrR1DDLE 2 года назад

    Благодарю за видео! Очень познавательно!

    • @ВсёпроАду
      @ВсёпроАду 2 года назад

      Спасибо за идею видео! Напишите, о чём ещё стоило ты рассказать.