AdaPlanet @AdaPlanet@botsin.space

Ann: HAC v.0.2 https://groups.google.com/g/comp.lang.ada/c/qwJQtChl5ic #ada #programming

@duartejmg @sw17ch learn.adacore.com and then alire.ada.dev 😉👍 https://twitter.com/adaprogrammers/status/1540563891624837120 #ada #programming

@sw17ch did you know there’s fairly complete support for Ada on the RP2040? pico-doc.synack.me https://twitter.com/bmastenbrook/status/1540183928077750272 #ada #programming

@sw17ch did you know Nvidia’s secure enclave is written in SPARK? https://twitter.com/bmastenbrook/status/1540182114498494464 #ada #programming

@sw17ch Indeed, you should 😇 learn.adacore.com https://twitter.com/adaprogrammers/status/1540558821562646528 #ada #programming

🤔 I should learn Ada. https://twitter.com/sw17ch/status/1540179129403711489 #ada #programming

overloading predefined operators https://groups.google.com/g/comp.lang.ada/c/6L6ttBv2fEI #ada #programming

Took us a long time to get out the door but here's a SPARK proof (and lots of hubris) blog.adacore.com/i-cant-believe… twitter.com/chordbug/statu… https://twitter.com/touisteur/status/1540009341125885955 #ada #programming

GitHub - ellamosi/libgade: A GameBoy emulation library in Ada https://www.reddit.com/r/ada/comments/vhaqgz/github_ellamosilibgade_a_gameboy_emulation/ #ada #programming #r/ada

Has anybody successfully installed Alire 1.2.0 in Windows 10 Pro? https://groups.google.com/g/comp.lang.ada/c/7hS4an9GEwQ #ada #programming

What's New in Ada 2022 https://www.reddit.com/r/ada/comments/vgmlod/whats_new_in_ada_2022/ #ada #programming #r/ada

You are required to write a program in Ada which will find the frequency https://stackoverflow.com/questions/72686458/you-are-required-to-write-a-program-in-ada-which-will-find-the-frequency #ada #programming #ada

@kazum93 mondego.ics.uci.edu/projects/dejav… https://twitter.com/adaprogrammers/status/1538802760912621568 #ada #programming

Defining a package with its sub units in Package Name? https://stackoverflow.com/questions/72681048/defining-a-package-with-its-sub-units-in-package-name #ada #programming #package #ada

New aggregates with Ada 2022. https://groups.google.com/g/comp.lang.ada/c/tkVRcSyD1Cc #ada #programming

Get output from array in Ada https://stackoverflow.com/questions/72667743/get-output-from-array-in-ada #ada #programming #ada

who needs types? Types makes code ugly. https://groups.google.com/g/comp.lang.ada/c/Ouzke04dBpc #ada #programming

Un-installing GNAT https://groups.google.com/g/comp.lang.ada/c/n2QjthVtuWU #ada #programming

Using pointers with inline assembly in Ada https://groups.google.com/g/comp.lang.ada/c/69PyJkMFDPo #ada #programming

Bugged Multiway_Tree package? https://groups.google.com/g/comp.lang.ada/c/HJMas-RYl-w #ada #programming