from Irvise: The deadline has already passed by a long shot, but it seems that one can still do so. Also, do not forget to share it with other (Ada) programmers!

GetAda has been released!

Getada installs Alire on Mac and Linux and adds it to PATH.
You can use a one-liner copy-paste terminal command to install #Ada and get to coding in just a few minutes https://www.getada.dev/

More details on Hacker News: https://readhacker.news/c/66xjx

@ada_lang

Welcome to the monthly What Are You Working On? Post.

Share here what you've worked on during the last month. Anything goes: concepts, change logs, articles, videos, code, commercial products, etc, so long as it's related to Ada. From snippets to theses, from text to video, feel free to let us know what you've done or have ongoing. Please stay on the topic of Ada programming language.

SAMD51 and RP2040

For this three part series, we implemented a ‘pedal to the metal’ GPIO driven, flashing of a LED, in the context of a Linux kernel module for the NVIDIA Jetson Nano development board

AURA is a proposed specification for a native Ada source code package management system, developed in lock-step with a reference implementation. This links to the documentation (from where the Github project and such can be easily found).

Formal proof triumphs. Read the full story