https://diode.zone/videos/watch/d0f680b7-2fea-448e-8e28-f28851545704 00:00 Памяти Дмитрия Анисимкова 01:50 Новый сайт для Ада сообщества 05:00 Перевод "Введение в язык Ада" 06:00 Блог пост о Ада, Си и встраиваемых системах 08:10 Исследования безопасности ПО и SPARK 12:25 Ада на AVR, 8-битном ЦПУ Tue, 20 Oct 2026 15:14:09 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://diode.zone https://diode.zone/lazy-static/avatars/61b689b7-84d5-43c7-9fa8-e63a7fd1d952.png https://diode.zone/videos/watch/d0f680b7-2fea-448e-8e28-f28851545704 All rights reserved, unless otherwise specified in the terms specified at https://diode.zone/about and potential licenses granted by each content's rightholder.