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. 🌟