ada

кросс-пост из: 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:

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:

🛠 Ada first steps on ∞ Arduino Due!

Exciting news! 📖 The first four chapters of a new course "Advanced Journey With Ada: A Flight In Progress" are now available. Dive into topics like Data Types, Control Flow, Modular Programming, Resource Management and more. Download the PDF or EPUB 📦 or better read online 🌐 and try examples live in your browser 🔧!

In this webinar, Yannick Moy outlines key features of SPARK Pro, including demos on pointer ownership, function contracts and safe type casting.

Watch this session to learn more about:

• The rich possibilities for data representation in SPARK
• Available contracts on data types
• The ownership principle for tracking pointers to data
• Available contracts on functions
• Handling of bindings with C libraries, safe type casting, software-hardware interactions
• Specializing the analysis for a given target platform

🚀 pla-util, the power line adapter utility, is now part of Alire - your package manager for Ada!

Manage HomePlug AV2 compliant power line adapters like BCM60500 or BCM60333 effortlessly on Linux. Explore the capabilities with pla-util 2.1.1. Check out the commands, set configurations, and make the most of your power line adapters. 🛠️💡

Discover the latest advancements in Ada Extension 24.0.3! 🚀

This update introduces native support for Mac M1 and Linux ARM64, ensuring a smooth experience across various platforms. The compilation and proving tasks have undergone significant improvements. Benefit from better support for editing project files. Explore the future of Ada development!

Happy coding! 🌐

🚀 The Advent of Ada is here, challenging your coding skills with daily exercises from December 1st to 25th. Use Ada or SPARK for extra motivation: AdaCore donates $10 for each Ada solution and $20 for SPARK solutions (Silver level) to the Ada Developers Academy, up to $5,000. Dive in and make a difference! Don't forget to register on our leaderboard (1708445-6a8f7730) if you're participating. 🌟

cross-post from: https://programming.dev/post/6503260

Latitude, 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...

Latitude, 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...