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

Aujourd'hui, on parle de #SPARKAda avec, un petit article de blog (https://blog.adacore.com/nvidia-security-team-what-if-we-just-stopped-using-c ) par @DesChips et le document disponible sur inscription (https://www.adacore.com/papers/nvidia-adoption-of-spark-new-era-in-security-critical-software-development ).
Et comme il y a plus de place ici, je peux développer un peu.
NVidia a décidé il y a maintenant 4 ans de tester #SPARKAda pour ses logiciels critiques afin de prouver leurs fonctionnements.

Si vous avez des questions, n'hésitez pas à les poser en-dessous
#security #NVIDIA