Ada Planet

Rejected (legal?) program groups.google.com/g/comp.lang.ad… #ada #programming

We're thrilled to announce the release of our latest technical paper highlighting NVIDIA's use of RecordFlux and SPARK to Implement SPDM for Secure Co... twitter.com/AdaCoreCompany… #ada #programming

Currency Library for Ada? groups.google.com/g/comp.lang.ad… #ada #programming

Ada-Spain Technical (Half-)Day, April 18. reddit.com/r/ada/comments… #ada #programming

How to best import a menu from a glade file and then connect signals to them? forum.ada-lang.io/t/how-to-best-… #ada #programming

Which universities teach Ada programming courses? forum.ada-lang.io/t/which-univer… #ada #programming

Ada targeting RPI reddit.com/r/ada/comments… #ada #programming

ANN: VisualAda (Ada Integration for Visual Studio 2022) release 1.0.0.12 groups.google.com/g/comp.lang.ad… #ada #programming

What's the best way to go about fixing the elaboration order in a largish pile of Ada code that was written without concern for it? reddit.com/r/ada/comments… #ada #programming

Why does elaboration require the programmers attention in Ada? stackoverflow.com/questions/7597… #ada #programming

[ANN] Release of UXStrings 5.0 reddit.com/r/ada/comments… #ada #programming

Help with Ada reddit.com/r/ada/comments… #ada #programming

Ada news March 2023 reddit.com/r/ada/comments… #ada #programming

Contracts in generic formal subprogram groups.google.com/g/comp.lang.ad… #ada #programming

Seer - a gui frontend to gdb forum.ada-lang.io/t/seer-a-gui-f… #ada #programming

Ada Energy Efficiency reddit.com/r/ada/comments… #ada #programming

Sftp reddit.com/r/ada/comments… #ada #programming

How to get the ARM toolchain up and running? reddit.com/r/ada/comments… #ada #programming

gnatstub groups.google.com/g/comp.lang.ad… #ada #programming

ChatGPT groups.google.com/g/comp.lang.ad… #ada #programming