#sparkada — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #sparkada, aggregated by home.social.
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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 participatehttps://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 participatehttps://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 participatehttps://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 participatehttps://blog.adacore.com/tis-the-season-to-be-giving-falalalala-lalalala
-
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