TOC:

• J. P. Rosen. “Report on the ASIS BoF Session: The Future of ASIS and Vendor Independent Tools” 221
• C. Dross. “Containers for Specification in SPARK” 249
• S. Tucker Taft. “Rigorous Pattern Matching as a Language Feature” 255
• L. Humphrey. “Basic Formal Verification of a Waypoint Manager for Unmanned Air Vehicles in SPARK”

🎉 NetBSD has got GNAT 13, gprbuild and Alire!

LibMLKEM: a brand new, formally verified implementation of the post-quantum key exchange algorithm ML-KEM, built with the Ada & SPARK.

Why LibMLKEM?

• Rock-solid security: SPARK's formal verification guarantees no errors, leaks, or type issues.
• Independent & transparent: a completely new take on ML-KEM, free from existing code biases.
• Pushing the boundaries: a benchmark for formal verification tools like SPARK, CBMC, and Kani.

Not production-ready yet!

LibMLKEM is for research and demonstration purposes only. It prioritizes security and verifiability over optimization. The constant time property hasn't verified yet.

📆 I would like to announce the March (2024) Ada Monthly Meetup which will be taking place on the 9th of March at 14:00 UTC time (15:00 CET). As always the meetup will take place over at Jitsi. The Meetup will also be livestreamed to Youtube.

If someone would like to propose a talk or a topic, feel free to do so! We currently have no topics 😉

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