Sign up to save your podcasts
Or
Share Ада новости за август 2023
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
Ада новости за август 2023
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
View all episodes
By 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