@MarkoHelgenko @AdaProgrammers

Там, де потрібна безпека та надійність, Ада має досить стійку популярність, на мою думку (зараз туди пробує лізти Rust). Зараз вона стала трохи більш популярною в спільноті Open Source завдяки відмінним новим навчальним матеріалам на https://learn.adacore.com/ (у мене є кілька перекладів російською https://reznikmm.github.io/learn/) та пакетному менеджеру https://alire.ada.dev/.

#AdaProgramming #OpenSource #AdaCommunity #AlirePackageManager

Ce samedi, à 15:00, se tiendra, si tout se passe bien, le premier Ada Monthly Meetup en anglais.
Le programme est simple :
chaque participant se présentera rapidement ainsi que les projets Ada sur lesquels il travaille si c'est le cas.
https://meet.jit.si/AdaMonthlyMeetup

#ada #AdaProgramming

Vous aviez aimé les cours d'introduction à Ada ? AdaCore
vient de publier les cours avancés.
De quoi vous faire découvrir les types, les tableaux, la gestion des chaines de caractères et autres sujets intéressants
https://blog.adacore.com/advanced-journey-with-ada-a-flight-in-progress
#AdaProgramming #Ada

Écrire un parser pour protocole binaire n'est pas simple mais le faire sans souci l'est encore moins.
Le but de RecordFlux, c'est de générer le parser et de le prouver via SPARK.
Actuellement, il faut les versions PRO de SPARK et GNATmais cela devrait changer d'ici quelques mois.
https://blog.adacore.com/the-end-of-binary-protocol-parser-vulnerabilities
#ada #adaprogramming #adalanguage

Une compétition a eu lieu pour récompenser les meilleures "crates" Alire en fin d'année 2022 et les gagnants viennent d'être annoncés.
Dans la catégorie SPARK, une implémentation de l'algorithme keccak (future SHA-3 ?) a remporté le prix.
Dans la catégorie Embarqué, c'est la crate AVR-Ada facilitant la création de projets AVR.
Dans la catégorie Ada, le projet Rejuvenation-Ada qui permet du refactoring de code automatique.

#ada #adalanguage #adaprogramming

https://blog.adacore.com/ada-spark-crate-of-the-year-2022-winners-announced

Les clauses de représentation et l'endianness en Ada expliqués par l'exemple 👍
Aligner une spec matériel et sa transcription en Ada dans un article est une bonne idée et parlera à tous ceux qui ont déjà eu à faire à ces magnifiques specs 😀
En espérant que ça vous donne envie d'en savoir un peu plus sur notre merveilleux langage !

https://www.electronicdesign.com/technologies/embedded-revolution/article/21167036/adacore-how-to-use-ada-to-insulate-software-from-hardware-updates

#ada #adalanguage #adaprogramming

Les clauses de représentation et l'endianness en Ada expliqués par l'exemple 👍
Aligner un spec matériel et sa transcription en Ada dans un article est une bonne idée et parlera à tous ceux qui ont déjà eu à faire à ces magnifiques specs 😀
En espérant que ça donne envie d'en savoir un peu plus sur notre merveilleux langage !

https://www.electronicdesign.com/technologies/embedded-revolution/article/21167036/adacore-how-to-use-ada-to-insulate-software-from-hardware-updates

#ada #adalanguage #adaprogramming

@fosdem Cool ! Ada community got a stand !
It's time to learn #Ada #adalang #adalanguage #AdaProgramming

ça manque de tags notamment le fameux tag #ada #AdaProgramming #AdaProgramming

ça manque de tags notamment le fameux tag #ada #AdaProgramming #AdaProgramming

Cette année pour l' #adventofcode , Adacore offre à https://adadevelopersacademy.org/ 10$ pour toute solution codée en #AdaLanguage et 20$ pour toute solution en #SPARKAda

https://blog.adacore.com/tis-the-season-to-be-giving-falalalala-lalalala

#Adaprogramming #ada #adalang

This year, for #adventofcode , AdaCore will offer 10$ to https://adadevelopersacademy.org/ for every solution in #AdaLanguage and 20$ for every #SPARKAda solution.
Good reason to participate

https://blog.adacore.com/tis-the-season-to-be-giving-falalalala-lalalala

#AdaProgramming

Merci d'être passés nous voir à @osxp_paris

Vous retrouverez des liens utiles dans notre billet de fin de conf.

https://www.ada-france.org/adafr/blogs/post.html?post=2022/11/10/Ada-France-au-salon-Open-Source-Experience-2022

#OSXP2022 #osxp #AdaProgramming #ADA #AdaLanguage

Usually, that's the moment I loose several followers :)
I have to navigate inside C++ network code in order to provide an Ada library dealing with the same protocol.
Under Linux, which C++ code editor would you use ?

#C++ #AdaProgramming #AdaLanguage

Usually, that's the moment I loose several followers :)
I have to navigate inside C++ network code in order to provide an Ada library dealing with the same protocol.
Under Linux, which C++ code editor would you use ?

#C++ #AdaProgramming #AdaLanguage

"#AdaEurope #Conference on Reliable Software Technologies #AEiC2022, #Ghent, #Belgium, June 14-17 2022, early #registration #deadline May 20, full #program at http://ada-europe.org/conference2022 #AdaProgramming" (@DirkCraeynest, 3 mai 2022)
https://twitter.com/DirkCraeynest/status/1521579846392070145
#Ada