Petite indiscrétion suite à l'AG d'Ada-France hier soir, il semblerait qu'un des membres veuille reprendre Ironsides, un serveur DNS écrit, à l'époque, en Spark 2012.
L'idée serait de porter vers la dernière version de Spark et d'ajouter les protocoles manquants.

A suivre

https://ironsides.martincarlisle.com/

#ada #adaprogramming #adalanguage #sparkada #spark #DNS

C'est reparti pour le "calendrier de l'avent" en Ada/Spark !!

En plus, vous ferez une bonne action car pour chaque puzzle résolu Adacore donnera 10$ à l'association Ada Developers Academy et 20$ si le code atteint le niveau silver en Spark.

A vos claviers !

https://www.adacore.com/blog/announcing-advent-of-ada-spark-2025-coding-for-a-cause

#ada #adalanguage #contest #programming #spark #sparkada #adaprogramming

WolfSSL a son binding Ada/Spark !!

Voilà, vous n'aurez plus aucune excuse de ne pas faire de cryptographie dans vos développements Ada/SPARK.

https://blog.adacore.com/announcing-ada-binding-to-the-wolfssl-library

#ada #sparkada #wolfssl

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

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

RT @[email protected]

Download this free book to learn about #SPARKAda, a programming language & toolsuite that brings mathmatics-based confidence to #softwareverification. The book presents SPARK Ada from a #MISRAC developer's perspective. #formalmethods #Adaprogramming
https://www.adacore.com/books/spark-ada-for-misra-c-developer

🐦🔗: https://twitter.com/AdaCoreCompany/status/1298598432748208128

RT @[email protected]

Ahead of launching #MakewithAda 2020/21, we'll be looking back at last year's competition winners. First up is John Singleton's The Smartbase - an #IoT adjustable bed for comfort & safety. Formal methods meets innovation! #Adaprogramming #SPARKAda - https://blog.adacore.com/make-with-ada-the-smartbase

🐦🔗: https://twitter.com/AdaCoreCompany/status/1271065146836824065

RT @[email protected]

#SPARK, with its support for zero-footprint runtimes & embedded devices, is well suited for formally-verified OS development. Guest blogger Jon Andrews demonstrates this with his project CuBit: A General-Purpose Operating System in #SPARKAda. Check it out! https://blog.adacore.com/cubit-a-general-purpose-operating-system-in-spark-ada

🐦🔗: https://twitter.com/AdaCoreCompany/status/1270705894276415488

RT @[email protected]

We are happy to announce that the #GNATCommunity 2020 release is now available to download! Check out the blog for this year's release highlights - https://blog.adacore.com/gnat-community-2020-is-here @[email protected] #Adaprogramming #SPARKAda #embeddedprogramming

🐦🔗: https://twitter.com/AdaCoreCompany/status/1265634832069115906