https://diode.zone/videos/watch/21a77754-f928-456c-996a-b742ebff9a70 02:00 Adamant: A Mission-Critical Flight Software Framework Written in Ada 05:11 Formal Proof on Device Drivers with SPARK 06:11 Extending Priority Inheritance Beyond Protected Operations 07:00 HAC for native targets 07:53 PTC ObjectAda Version 10.5 08:43 SweetAda on NEORV32 09:45 GNAT-LLVM (for macOS) prerelease 10:37 GNAT FSF 13 available in Alire preview 11:32 Ada BFD 1.3.0 release 13:43 Ada History: Common HOL Phase 1 Reports Tue, 20 Oct 2026 10:05:20 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/21a77754-f928-456c-996a-b742ebff9a70 All rights reserved, unless otherwise specified in the terms specified at https://diode.zone/about and potential licenses granted by each content's rightholder.