- Видео 60
- Просмотров 18 872
Всё про Аду
Украина
Добавлен 2 апр 2021
Ада новости за сентябрь 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
Телеграм: 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 #Ада #программирование
Серия книг "Обоснование Ады". Ada Rationale
Просмотров 2512 года назад
Серия книг "Обоснование Ады". Ada Rationale
Ада, качество и стиль. Руководство для профессиональных программистов.
Просмотров 9682 года назад
Ада, качество и стиль. Руководство для профессиональных программистов.
Справочное руководство 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
Ты куда пропал друг ?
Что касается истории Ады, может быть интересно раздобыть спецификации всех четырёх кандидатов. Вот, например, чем интересен Blue? И как выглядел Green Никлауса Вирта
Жаль, что альтернативные компиляторы не поддерживают Android и iOS. Delphi уже бесплатно их поддерживает, а наш прострел везде поспел
how to do for javascript?
Truffle не только из Java, но и из любого языка для JVM. Патриоты Паскаля должны предпочитать Oxygene, если им нужно поработать с JVM
fixed size types - интересные фичи. Когда их можно ожидать в fsf ? ))
Сложно сказать, но я надеюсь в GCC 14 может попасть.
Большое спасибо Максим за ваш труд. Благодаря популяризаторам как вы, язык Ада набирает обороты с моей точки зрения!
Обзор возможностей ada2022 очень интересует. С Уважением!
Я початок відео 3 рази передивився! 💥❤🔥
Спасибо за ваш труд! Здоровья вам и терпения !
Вступне слово бомба 💥💥💥
Докладатиму зусиль, щоб зміст був не гіршим :)
Ух ты - подписка... Скажите на Ada возможно написать графический интерфейс и так ли это болезненно? (Имею ввиду зависимости linux). Возможно ли на Ada вызвать другой язык, например запустить Perl скрипт? Спасибо.
GNAT Studio использует GtkAda для графического интерфейса, так что это возможно и такой вариант будет работать еще долго. Кроме этой библиотеки есть еще какой-то биндинг к Qt, но я им никогда не пользовался. Вполне реально вызвать функцию из Си библиотеки или другого языка, который интегрируется с Си. Не составит труда вызвать отдельный процесс с помощью GNAT.OS_Lib.Spawn или модуля Spawn из Alire.
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.
Спасибо Макс за ваш труд и за то, что не оставляете дело популяризации нашего любимого языка. Кстати на Тиобе в этом месяце, Ада на 22 месте. Я каждый месяц смотрю на изменения по интересующим меня языкам и чувствую тенденцию к усилению позицию Ады.
Я боюсь, что хайп связаный с криптовалютой Ada вносит свои коррективы в тренды типа TIOBE. В тоже время появление Alire, сайта ada-lang.io, переход библиотек с GPL на Apache, ежегодные конкурсы с призами от AdaCore действительно вселяют некий оптимизм. Мне вот интересно, то что Copilot не умеет в Аду, и что ChatGPT больше ошибается на Аде чем деёт правильный код, как сильно это создаст преимущество более популярным языкам?
Спасибо Максим, за твой просвещенный труд!
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
I am having the same problem, the ada kernel is not displaying after I installed the jupyter notebook extension
Спасибо за ваш труд! Осветите пожалуйста вопрос о положении дел с языком Ада в реппозиториях линукса. Читал что появились какие то проблемы в дебиане, связанные с переходом на alire. Как вы видите дальнейшее развитие языка на разных дистрибутивах, особенно в дистрибутивах входящих в реестр ПО РФ. Имеется ли у вас информация или опыт работы с risc-v. Пробовал компилировать простейший код под sifive плату, успеха не достиг. Единственное что я понял - рантайм для этой платы который распространяет адакор, который можно выбрать в гнатстудио записывается в неверный адрес. Этот адрес вроде используется для qemu, а для реального железа нужен другой. Я брал этот адрес из мануала для sifive проца и руками прописывал в ld конфиге, но не помогло. Вообще интересует развитие Ады на risk-v платформе ввиду импортозамещения. С уважением.
На risc-v много проектов. Вот, для примера, можно посмотреть репозиторий демки для FOSDEM github.com/Irvise/Ada_NeoRV32
Здравствуйте, недавно узнал про язык ада, и мне стало интересно узнать про сетевые и графические возможности языка и возможно ли на нём написать хеловорл и прошить его на смартфон заменив этим ос(андроид)? Благодарю заранее за ответ! 🙂
Заменить Андроид не легко, ведь над ним трудились много лет большие коллективы разработчиков. Но сделать что-нибудь "встраиваемое" вполне по силам любому благодаря тому, что Ада имеет библиотеку времени исполнения для встраиваемых устройств. Проще всего взять платку с микроконтроллером и попробовать на нем. Поддерживаются такие платы, как Micro:bit, множество вариантов на ARM процессоре и RISC-V.
Спасибо за проделанную работу. Очень рад за тебя Максим, что не бросил канал.
Спасибо Максим за твою самоотверженную работу.
Давно ждал нормальной поддержки Ada в Gentoo, олно время даже пытался свой eclass для ады написать, чтоб ADA_TARGET использовал системный gcc, но всё времени не хватало. Очень рад, что наконец-то затащили по нормальному.
Спасибо большое, что не бросаете проект. Было интересно и полезно!
Октябрь только начался, а уже за весь октябрь новости
Точно, надо исправить.
Да, конечно! Видео по применению Ada в встраиваемых системах это крайне актуальная и интересная тема.
Спасибо! В принципе, вещи известные ( литература по Аде хорошо написана ), но интересно было посмотреть на практическое применение. А нельзя ли ссылочку на то, как настроить GNAT на компиляцию для микроконтроллеров ( ATmega )? Совсем было б здорово -- видео на тему, как это сделать в стиле "fast and dirty".
В alire есть кросс-компилятор для avr, но я не нашел пока, где есть к нему runtime. Я знаю Rolf Ebert сейчас плотно занимается этим. Попробую у него узнать, как обстоят дела.
Попытался показать, как работать с atmel avr в следующем видео. ruclips.net/video/7hvoHmKyA1Y/видео.html
Спасибо :)
Спасибо!
Спасибо за ваш труд. Рад что находите в себе силы в это трудное время на просветительскую деятельность!
Rationale'95 читается на ура, как хороший детектив. Последующие не такие интересные. Стоило упомянуть возможность использования и проверки размерных величин ( или это не в стандарте? ). Вообще, есть ощущение, что кое в чём язык необоснованно распух, делая уступки всемирному сишному засилью. Спасибо за хороший обзор.
Размерности это выдумка AdaCore и их действительно нет в стандарте. Согласен, что выдумка интересная. Был Ada Gem на эту тему: www.adacore.com/gems/gem-136-how-tall-is-a-kilogram
List comprehension это Icon, Haskell и Python
Патреон не принимает ни МИР, ни UnionPay. Голос надо усилить
Спасибо Вам за ваш труд! Рад что с вами всё в порядке. Надеюсь всё обойдётся и вы сможете продолжить свою профессиональную деятельность.
Героям Слава !
Спасибо :)
Ада это круто! Продолжай
Согласен :) Буду стараться!
Огромное спасибо за вашу работу! Очень мало современного материала на русском языке по Аде, и я буду рад дальнейшему развитию канала.
Спасибо! Поделитесь, что было бы вам интересно узнать и посмотреть на нашем канале?
@@ВсёпроАду Учебные ролики не помешали бы; только начал осваивать язык, и это было бы хорошим подспорьем; в целом учебного видеоматериала по языку мало, и для популяризации языка это сослужило бы хорошую службу. Как пример конкретных тем - система типов языка и параллельные вычисления.
Здравствуйте! Спасибо, очень интересно, но, к сожалению, не хватает времени на то, чтоб поучаствовать. Что касается этой задачи, то я бы перестраховался и определил бы команды так: type COMMAND is ( FORWARD , UP , DOWN ) ; for COMMAND use ( FORWARD =>1 , UP => 2 , DOWN => 3 ) ;
Да, задания хоть и простые в основном, но времени требуют. Интересно решать, когда есть команда единомышленников.
Здравствуйте! Будет ли поддерживаться gnatstudio в alire? А то в дебиане из исходников трудновато собирать.
Собрать GS действительно сложно. Пока ещё думаем, чем его лучше собирать. Alire не очень подходит, он не умеет делать install, но можно попробовать, как эксперимент.
Благодарю за видео! Очень познавательно!
Спасибо за идею видео! Напишите, о чём ещё стоило ты рассказать.