ada

🔥 Hot news!

Thanks to AdaCore sponsoring the Ada Developer Workshop in Barcelona, the early registration fee for in-person participation will be only 10 EUR, including 🥪 lunch and ☕ coffee breaks.

That’s as low-cost as attending an Ada Developer Room at FOSDEM in Brussels, as you easily spend 10 EUR on food and drinks there… 😉

Registration info, for the conference, tutorials, workshops, social events, will shortly be added to the conference website at Ada-Europe 2024 1.

Hope to see many of you there! And remember, submissions are still welcome!

The March 2024 Meetup just finished! Thanks to everybody who participated.

Quite a few topics were discussed, here is a list of topics and references to them:

• WolfSSL and its Ada binding
• FOSDEM
• Ada Developer Workshop taking place in Barcelona the 14th of June.
  • The (current) submission deadline for presentations is the 31st of March!
  • Online participation is expected. We will try and have a setup to let people participate online!
  • It was created in order to let the wider Ada community have a home to meet and talk about Ada. This is a "response" to the lack of an Ada DevRoom @ FOSDEM the past couple of years.
• Alire v2.0 is around the corner
  • Help test the new Release Candidate 1
  • Mac M1 (ARM64) support is in the works. Thanks Simon and Maxim!
• There is now a list of projects to work on in the main Ada-Lang webpage.
  • It focuses of projects that would help the wider Ada community.
• Ada support for org-mode code blocks (babel) is now going to be part of the official org-mode distribution of Emacs!
  • Thanks Francesc for the work!
• The NSA published a list of memory safe languages
  • Ada was not mentioned in the list of programming languages. Nonetheless Ada/SPARK are listed in the references.
  • Ada needs better visibility and "marketing".
• The GCC 14's Ada changelog section is on its way, stay tuned!

LatenceTech leverages Ada's capabilities to develop innovative network tools. They successfully implemented patented LIFBE process, reducing data volume for bandwidth testing by 90%.

Ada's low-level memory management and concurrency features were crucial for this project. GNAT Pro's real-time capabilities also ensured timely delivery.

This collaboration highlights Ada's suitability for energy-efficient network software and complex real-time systems.

Join the Ada community and empower the next generation of reliable, high-performance software!

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!