https://diode.zone/videos/watch/aaff5ff2-13ee-4243-a2d3-43576b3f31bc 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 онлайн Tue, 20 Oct 2026 20:00:29 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://diode.zone https://diode.zone/lazy-static/avatars/f8052465-9d60-4b32-92d3-0f4304b24ca6.png https://diode.zone/videos/watch/aaff5ff2-13ee-4243-a2d3-43576b3f31bc All rights reserved, unless otherwise specified in the terms specified at https://diode.zone/about and potential licenses granted by each content's rightholder.