by Fabien Chouteau – Jun 19, 2024. We're happy to announce the fourth edition of our programming awards, The Ada/SPARK Crate of the Year Award! The Alire package manager is a game changer for Ada/SPARK, so we want to use this competition to reward the people contributing to the ecosystem.
![Announcing the 2024 Ada/SPARK Crate of the Year Award](https://programming.dev/pictrs/image/e57a843c-d1fe-4a0d-8b9d-6c26375ea1dd.jpeg?format=webp&thumbnail=256)
The competition has three prizes of $2,000 each!
Contributing to the Ada open source ecosystem through the Alire package manager for Ada/SPARK
![Alire - Open Collective](https://programming.dev/pictrs/image/c183e44c-88ca-4033-869e-f266d6db24a8.png?format=webp&thumbnail=256)
Just came across a donation site for the Alire project.
> Contributing to the Ada open source ecosystem through the Alire package manager for Ada/SPARK
Online participation in the Ada Developers Workshop will be free of charge! It is still a requirement to register. As a reminder, the Workshop's programe has been available for a while, so go ahead an take a look! 🤩
GNAT FSF 14 is now available in a special index branch. Use this command to add the index branch:
alr index "--add=git+https://github.com/alire-project/alire-index#gnat-fsf-14.1" --name=gnat_fsf_14 --before=community
And then alr index --del=gnat_fsf_14
to remove it once your done playing with it.
If you have some time to give it a try and give me some feedback that would be great 👍️
#gcc #alire
by Michael Frank – May 20, 2024. Many of our customers ask if we have a "Coding Standard" that we can provide for writing code in Ada or SPARK. The answer has typically been: "We provide GNATcheck, which you can use to create your own." While this provides a lot of flexibility and control to the…
![Creating Your Own Ada/SPARK Coding Standard](https://programming.dev/pictrs/image/f8999103-89e0-4307-8a0c-1bfd18c30389.jpeg?format=webp&thumbnail=256)
The list of presentations looks great!
AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.
![Elevate Security Confidence with Memory Safe Hardware and Software](https://programming.dev/pictrs/image/35550f33-fed8-467f-8670-aa22b30470ba.jpeg?format=webp&thumbnail=256)
- New implementation-defined aspects and pragmas:
Local_Restrictions
, which specifies that a particular subprogram does not violate one or more local restrictions, nor can it call a subprogram that is not subject to the same requirements.User_Aspect_Definition
andUser_Aspect
, which provide a mechanism for avoiding textual duplication if some set of aspect specifications is needed in multiple places.
- New implementation-defined aspects and pragmas for verification of the SPARK 2014 subset of Ada:
Always_Terminates
, which provides a condition for a subprogram to necessarily complete (either return normally or raise an exception).Ghost_Predicate
, which introduces a subtype predicate that can reference Ghost entities.Exceptional_Cases
, which lists exceptions that might be propagated by the subprogram with side effects in the context of its precondition and associates them with a specific postcondition.Side_Effects
, which indicates that a function should be handled like a procedure with respect to parameter modes,Global
contract, exceptional contract and termination: it may have output parameters, write global variables, raise exceptions and not terminate.
- The new attributes and contracts have been applied to the relevant parts of the Ada runtime library, which has been subsequently proven to be correct with SPARK 2014.
- Support for the LoongArch architecture.
- Support for vxWorks 7 Cert RTP has been removed.
- Additional hardening improvements. For more information reltated to hardening options, refer to the GCC Instrumentation Options and the GNAT Reference Manual, Security and Hardening Features.
- Improve style checking for redundant parentheses with
-gnatyz
- New switch
-gnateH
to force reverse Bit_Order threshold to 64. - Experimental features:
- Storage Model: this feature proposes to redesign the concepts of Storage Pools into a more efficient model allowing higher performances and easier integration with low footprint embedded run-times.
- String Interpolation: allows for easier string formatting. Further clean up and improvements to the GNAT code.
GNAT Studio continuous release for the community (20240506). Use the standalone .AppImage file for Linux distributions: just run chmod -x GNAT_Studio-x86_64.AppImage to be able to run it.
![Release GNAT Studio Continuous Release 20240506 · AdaCore/gnatstudio](https://programming.dev/pictrs/image/5904533e-2581-4617-b454-c400e5175ef4.png?format=webp&thumbnail=256)
![](https://programming.dev/pictrs/image/e1ae795c-d68d-4f52-8e3f-f71b9aa41f4b.jpeg?format=webp&thumbnail=512)
YouTube Video
Click to view this content.
#nvidia #gpu #cuda #ada
Who doesn’t want to use a programming language that is designed to be reliable, straightforward to learn and also happens to be certified for everything from avionics to rockets and ICBMs? De…
![Programming Ada: First Steps On The Desktop](https://programming.dev/pictrs/image/c80f7580-ae15-4c1d-8e90-90f86eb6bd4e.jpeg?format=webp&thumbnail=256)
Did you know that Debian has Aiire packages?!
Fabien is starting a crowdfunding campaign for a pocket groovebox he has been developing on his spare time. Of course the firmware is in Ada 🤩 The sources are on GitHub if you want to have a look.
If you can subscribe on CrowdSupply and send this link to anyone that could be interested, that would help a lot.
A new Muen version with a long change log! 🤩
Dear Ada community, I come with great news! For the past two years, there was no Ada DevRoom over @ FOSDEM, a place where the Ada community used to meet and share their work and projects. Some of us wanted to keep having such experience as we believed it to be a greatly beneficial aspect to the wid...
![Ada Developer Workshop @ AEiC 2024, a new "FOSDEM DevRoom" for the community](https://programming.dev/pictrs/image/0870e4f9-f8c2-441b-9671-aa607ee83fbc.png?format=webp&thumbnail=256)
🔥 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!
Amen! But as a believer in Ada, I'd say those who code in other languages need God's help more. ✨
Not only this startup speaks highly of Ada. Here's another example of successful application of this technology in space: SPARK/Ada for high integrity spacecraft software.
I'm new to Lemmy. Appreciate the heads-up, thank you! 👍
I would like to see Ada grow. Its clean syntax, rich expressive capabilities, and early error detection by the compiler due to strict typing create a very pleasant experience during development. This year, the language got a new standard. Recently, a package manager and a community index were created. There's an extension/LSP for vscode, etc. Along with great educational materials on learn.adacore.com, it's easy to pick up and start using this language.
PS I created a community on p.d two days ago: https://programming.dev/c/ada
![ada](https://programming.dev/pictrs/image/6b205398-32a1-449d-b3c9-89f8a75dc437.jpeg?format=webp&thumbnail=64)
- Community site: ada-lang.io
- Learning Ada: learn.adacore.com