The AdaCore Learn site is pretty good to learn / get refreshed on Ada programming: https://learn.adacore.com/index.html https://learn.adacore.com/index.html A

The AdaCore Learn site is pretty good to learn / get refreshed on Ada programming: https://learn.adacore.com/index.html https://learn.adacore.com/index.html Alire is a Cargo-like Ada package manager: https://alire.ada.dev/ https://alire.ada.dev/ There has been increased interest in Ada as Rust has grown in popularity. There has even been some synergy and exchange of ideas. Spark got Rust-style ownership of pointers: https://blog.adacore.com/using-pointers-in-spark https://blog.adacore.com/using-pointers-in-spark AdaCore and Ferrous Systems are working together to help Rust get more formalized for future use in safety critical work. Ferrous Systems recently released the Ferrocene Language Specification [2] to formally document the Rust subset that Ferrocene will use. [1] https://ferrous-systems.com/ferrocene/ https://ferrous-systems.com/ferrocene/ [2] https://ferrous-systems.com/blog/ferrocene-language-specification/ https://ferrous-systems.com/blog/ferrocene-language-specific...