É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

On vous avait parlé d'une implémentation en SPARK des hash SHA-3.
L'implémentation garantit qu'il n'y a pas de plantage à l'exécution mais ne prouve pas l'algorithme en-lui-même.
Pour cela, une batterie de tests est lancée.
Paul Butcher décrit dans un billet l'utilisation de GNATFuzz pour augmenter drastiquement le nombre de tests.
Bonne lecture

https://blog.adacore.com/automated-assurance-through-differential-fuzzing

#ada #adalanguage

For those unaware, in Brussels, the FOSDEM will take place this week-end.
If the Ada community doesn't have a "devroom" this time, we will have a stand where you'll be able to meet Ada-France members, Ada-Belgium members but not only.
The theme is "It's time to learn Ada!".
We've been telling you that for years so come and talk with us about it :)
Let's discover our FPGA and RISC-V demos among other cool things.

The stand wil be in building K, second floor, stand 13.

#fosdem #ada #adalanguage

Pour ceux qui ne seraient pas au courant, ce week-end à Bruxelles se déroule le FOSDEM.
Si la communauté Ada n'a pas de "dev-room", il y aura un stand où vous pourrez rencontrer des membres d'Ada-France mais pas seulement.
Le thème est "It's time to learn Ada!".
Ca fait des années qu'on vous le dit alors venez en parler :)
Venez découvrir les démos sur FPGA, RISC-V et autres joyeusetés.

Ce sera au bâtiment K, deuxième étage, stand 13

#fosdem #ada #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

La question d'un logo commun pour le langage Ada se pose souvent dans la communauté des Adaistes.
Si le langage n'est la propriété d'aucune entité commerciale, AdaCore utilise depuis maintenant dix ans un logo assez reconnaissable... Et ce logo vient d'être mis dans le domaine publique avec en prime un éditeur en ligne (https://ada-lang-io.github.io/ada-logo-editor/) pour le modifier.
C'est à lire ici https://blog.adacore.com/our-contribution-to-the-ada-logo-discussion
#ada #adalanguage

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

@Mek101 Typically a reason why I prefer Ada now #ada #adalanguage #adalang

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

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

Venez, on vous attend 😊
@osxp_paris @adafrance
#osxp #OSXP_Paris #AdaLanguage #ada

Allez, en route pour ma migration annuelle vers @osxp_paris pour aider à tenir le stand @adafrance
#ada #AdaLanguage #OSXP22 #OSXP_Paris #osxp_2022

J-1 pour le #OSXP2022 !⌛
A partir de demain, vous pourrez rencontrer les fantastiques membres de l'association Ada-France au stand A09 dans le village associatif

@osxp_paris

https://www.opensource-experience.com/village-associatif-2022/
#AdaLanguage #dev

Et si on utilisait SPARK pour faire de la cryptographie ?
Daniel King l'a fait pour implémenter SHA-3 et ça fonctionne bien 👍
Pour la petite histoire, l'implémentation de référence en C, XKCP, a vécu dix ans avec un buffer overflow caché dans ses entrailles ce qui aurait été évité en SPARK 😀

https://blog.adacore.com/avoiding-vulnerabilities-in-crypto-code-with-spark

#AdaLanguage
#SPARK-Ada
#cryptographie

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