https://diode.zone/videos/watch/368127d7-78bf-456c-90fd-a97c38ea8acc 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 Tue, 20 Oct 2026 15:10: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/368127d7-78bf-456c-90fd-a97c38ea8acc All rights reserved, unless otherwise specified in the terms specified at https://diode.zone/about and potential licenses granted by each content's rightholder.