Updates on the Ada Ecosystem

In the past few years, the Ada ecosystem has been changing quite rapidly, but most people may have missed most of it; but worry not! We will cover a whole bunch of wonderful news and improvements that have taken place recently: Ada 2022 was released. The Alire package manager reached v2. GetAda was created as an easy way to get a full Ada development environment in no time. SPARK and GNATProve have been making enormous progress in its proving capabilities. The Ada Users Society has been founded and the Ada-Lang.com website has become a general home for all Ada programmers. Finally, there have been terrific improvements to the learning experience of Ada.