02:00 <a href="https://www.reddit.com/r/ada/comments/15mmvzn/adamant_a_soontobe_opensource_missioncritical/" target="_blank" rel="noopener noreferrer">Adamant: A Mission-Critical Flight Software Framework Written in Ada</a> 
05:11 <a href="https://blog.adacore.com/formal-proof-on-device-drivers-with-spark" target="_blank" rel="noopener noreferrer">Formal Proof on Device Drivers with SPARK</a> 
06:11 <a href="https://blog.adacore.com/priority-extending-mutexes" target="_blank" rel="noopener noreferrer">Extending Priority Inheritance Beyond Protected Operations</a> 
07:00 <a href="https://gautiersblog.blogspot.com/2023/08/hac-for-native-targets.html" target="_blank" rel="noopener noreferrer">HAC for native targets</a> 
07:53 <a href="https://www.reddit.com/r/ada/comments/161q6yk/objectada_105_released_the_other_ada12_compiler/" target="_blank" rel="noopener noreferrer">PTC ObjectAda Version 10.5</a> 
08:43 <a href="https://www.reddit.com/r/ada/comments/15mugpu/sweetada_on_neorv32/" target="_blank" rel="noopener noreferrer">SweetAda on NEORV32</a> 
09:45 <a href="https://forum.ada-lang.io/t/gnat-llvm-for-macos/470" target="_blank" rel="noopener noreferrer">GNAT-LLVM (for macOS) prerelease</a> 
10:37 <a href="https://forum.ada-lang.io/t/gnat-fsf-13-available-in-alire-preview/458" target="_blank" rel="noopener noreferrer">GNAT FSF 13 available in Alire preview</a> 
11:32 <a href="https://forum.ada-lang.io/t/ada-bfd-1-3-0-release/465" target="_blank" rel="noopener noreferrer">Ada BFD 1.3.0 release</a> 
13:43 <a href="https://www.reddit.com/r/ada/comments/165f5zg/common_hol_phase_1_reports/" target="_blank" rel="noopener noreferrer">Ada History: Common HOL Phase 1 Reports</a>

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

02:00 <a href="https://www.reddit.com/r/ada/comments/15mmvzn/adamant_a_soontobe_opensource_missioncritical/" rel="noopener noreferrer">Adamant: A Mission-Critical Flight Software Framework Written in Ada</a> 
05:11 <a href="https://blog.adacore.com/formal-proof-on-device-drivers-with-spark" rel="noopener noreferrer">Formal Proof on Device Drivers with SPARK</a> 
06:11 <a href="https://blog.adacore.com/priority-extending-mutexes" rel="noopener noreferrer">Extending Priority Inheritance Beyond Protected Operations</a> 
07:00 <a href="https://gautiersblog.blogspot.com/2023/08/hac-for-native-targets.html" rel="noopener noreferrer">HAC for native targets</a> 
07:53 <a href="https://www.reddit.com/r/ada/comments/161q6yk/objectada_105_released_the_other_ada12_compiler/" rel="noopener noreferrer">PTC ObjectAda Version 10.5</a> 
08:43 <a href="https://www.reddit.com/r/ada/comments/15mugpu/sweetada_on_neorv32/" rel="noopener noreferrer">SweetAda on NEORV32</a> 
09:45 <a href="https://forum.ada-lang.io/t/gnat-llvm-for-macos/470" rel="noopener noreferrer">GNAT-LLVM (for macOS) prerelease</a> 
10:37 <a href="https://forum.ada-lang.io/t/gnat-fsf-13-available-in-alire-preview/458" rel="noopener noreferrer">GNAT FSF 13 available in Alire preview</a> 
11:32 <a href="https://forum.ada-lang.io/t/ada-bfd-1-3-0-release/465" rel="noopener noreferrer">Ada BFD 1.3.0 release</a> 
13:43 <a href="https://www.reddit.com/r/ada/comments/165f5zg/common_hol_phase_1_reports/" rel="noopener noreferrer">Ada History: Common HOL Phase 1 Reports</a>

Ada News Digest, August 2023

Видео о языке программирования Ада и сопутствующих технологиях

Share Ada News Digest, August 2023

Sign up to save your podcasts

Ada News Digest, August 2023

Ada News Digest, August 2023