кросс-пост из: https://programming.dev/post/9454695 > Mike Shah a computer science professor who teaches programming topics, primarily modern C++, C, D, game, and computer graphics. He is also a former senior 3D Graphics Engineer who worked at several game and graphics companies. He also has a YouTube channel where he covers a variety of software development topics with a focus on D and C++. > > Over the past several months, he has been exploring several alternative high performance languages as part his First Impressions series, devoting a full episode to each one. Instead of giving a canned presentation, he lets the audience ride along on his journey as he tries to uncover the language's capabilities while sharing his impressions along the way. > > His latest episode #16 covers Ada, which should be exciting after already covering 15 of them:

cross-post from: https://programming.dev/post/6503260 > [Latitude](https://www.latitude.eu), a French aerospace startup, selected Ada and SPARK for their Zephyr light launcher project, recognizing the languages' safety, reliability, and efficiency. The entire software, from device drivers to microcontroller logic, is written in Ada, showcasing its trust in the language's capabilities. The team leverages AdaCore's GNAT Pro and SPARK tools for robust development, positioning them for success in the competitive New Space industry. > > PS. [They are hiring...](https://www.latitude.eu/job-posts/gnc-engineer)

cross-port from: https://programming.dev/post/5377847 > **Ironclad** is a formally verified, hard real-time capable kernel for general-purpose and embedded uses, written in SPARK and Ada. It is comprised of 100% free software, free in the sense that it respects the user's freedom. > > Some of the supported features are: > > - A familiar POSIX-compatible interface. > - True simultaneous preemptive multitasking. > - Advanced cryptography and a security-centered architecture. > - Mandatory Access Control (MAC). > - Highly configurable, hard real-time scheduling. > - Support for several architectures and boards. > > Today (4 Nov 2023) at 14:00 UTC the author will preset it on [Ada Monthly Meetup](https://forum.ada-lang.io/t/ada-monthly-meeting/384/19)!