https://diode.zone/videos/watch/27fff19c-d3fa-4c90-8f7e-36a6493dae6d 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 13 available in Alire preview 19:52 Ada BFD 1.3.0 release 23:10 Из истории Ады: Отчет о фазе 1 Tue, 20 Oct 2026 14:07:34 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/27fff19c-d3fa-4c90-8f7e-36a6493dae6d All rights reserved, unless otherwise specified in the terms specified at https://diode.zone/about and potential licenses granted by each content's rightholder.