Ada jaypatelani • Now • 100%

The Good, the Bad, and the Disruptive: Let us know where you stand in the 2024 Annual Developer Survey - Stack Overflow

stackoverflow.blog

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!

Ada aj • Now • 100%

GetAda has been released!

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](https://s.aj.immo/tags/Ada) and get to coding in just a few minutes [https://www.getada.dev](https://www.getada.dev) More details on Hacker News: [https://readhacker.news/c/66xjx](https://readhacker.news/c/66xjx) [@ada\_lang](https://lemmy.ml/c/ada_lang)

Ada jaypatelani • Now • 100%

April 2024 What Are You Working On?

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.

Ada marcuse1w • Now • 100%

An Embedded USB Device stack completely in Ada

blog.adacore.com

SAMD51 and RP2040

Ada marcuse1w • Now • 100%

Hacking the Linux kernel in Ada

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

Ada ttmrichter • Now • 100%

AURA: The Ada User Repository Annex

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

Ada marcuse1w • Now • 100%

When NVIDIA hired hackers to test the security of one of their applications written in SPARK / Ada for a Risk-V chip, they found a vulnerability in the RISC-V IVA instead!

blog.adacore.com

Formal proof triumphs. Read the full story

Ada marcuse1w • Now • 100%

Giving Ada a chance

An in-depth look at the Ada programming language, its history, and what it has to offer developers today. As well as a fistful of my humble opinions.

Ada maxr • Now • 100%

A template repo

github.com

Time to time I create a new Ada repo on GitHub. Till today I wrote them from the scratch each time, copy/pasting some pieces from others my projects. It appears to take time. So I decided to create a template repo, keep it up to date and update when I find something good to be reused. For now it has a README template, a pair of project files (for a library and an executable), REUSE compliant license headers, GitHub Actions script, COPR scripts to create Fedora RPMs. Feel free to take it as a template for your project (change all as you need including license) or share your ideas.