#adaprogramming — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #adaprogramming, 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
-
Overview of the Ada Computer Language Competition (1979)
https://iment.com/maida/computer/redref/
#HackerNews #Ada #Competition #AdaProgramming #ComputerHistory #1979 #TechLegacy
-
On parle souvent de Rust en complément du C pour les développements dans le noyau Linux mais saviez-vous qu'on peut tout à fait faire de l'Ada ?
C'est ce qu'Olivier Henley montre ici https://embeddedcomputing.com/technology/open-source/linux-freertos-related/hacking-the-linux-kernel-in-ada-part-1 -
J-7 !
Cette année encore, Ada-France sera présent à l'Open Source Experience pour vous faire connaitre le langage Ada et ses dernières évolutions -
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
-
Merci d'être passés nous voir à @osxp_paris
Vous retrouverez des liens utiles dans notre billet de fin de conf.
-
Merci d'être passés nous voir à @osxp_paris
Vous retrouverez des liens utiles dans notre billet de fin de conf.
-
Merci d'être passés nous voir à @osxp_paris
Vous retrouverez des liens utiles dans notre billet de fin de conf.
-
Check out our drawing robot programmed in #Ada and #Ravenscar, running on the new radiation-hardened microcontroller from @[email protected] (SAMRH71)! Come and visit us at #SpaceTechExpoEU - booth G58 to see it live.
#Adaprogramming #microchip #spacetech🐦🔗: https://twitter.com/AdaCoreCompany/status/1460890072656617474
-
We're delighted to support the 2021 @[email protected] as a featured exhibitor, from next Mon 27th until Weds. Come and meet us to find out how we help development teams build mission-critical software based #spacesystems 🚀 #UKSC21 #UKspace21 #Adaprogramming https://r.adaco.re/l7
🐦🔗: https://twitter.com/AdaCoreCompany/status/1439867565346631681
-
Check out our latest blog post presenting the whitepaper "Security-Hardening Software Libraries with Ada and SPARK" as part of our efforts under the HICLASS project.
https://blog.adacore.com/security-hardening-with-spark
#HICLASS #softwaresecurity #Adaprogramming🐦🔗: https://twitter.com/AdaCoreCompany/status/1413043365881565186