#adalanguage — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #adalanguage, aggregated by home.social.
-
Dans un mois, ce sera le début de la 30ème conférence sur les technologies de logiciels sûrs AEiC.
Elle aura lieu cette année en Suède à Västerås.
Il y aura des tutos sur Ada et Spark, des présentations sur Ada mais aussi Rust et plein d'autres sujets...
https://www.ada-europe.org/conference2026/index.html -
Many programming languages were originally written or are even still partially written in C. Rust was originally written in OCaml.
Are there any languages that were originally written in Ada?
-
Many programming languages were originally written or are even still partially written in C. Rust was originally written in OCaml.
Are there any languages that were originally written in Ada?
-
Many programming languages were originally written or are even still partially written in C. Rust was originally written in OCaml.
Are there any languages that were originally written in Ada?
-
Many programming languages were originally written or are even still partially written in C. Rust was originally written in OCaml.
Are there any languages that were originally written in Ada?
-
Many programming languages were originally written or are even still partially written in C. Rust was originally written in OCaml.
Are there any languages that were originally written in Ada?
-
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
-
Après NVidia, c'est Zenseact, une startup issue de Volvo qui fournit des logiciels pour voitures autonomes, qui choisit Spark pour ses développements.
Nous, on trouve que c'est une bonne idée :)
https://www.just-auto.com/sponsored/meeting-asil-c-and-d-with-formal-methods/
-
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
-
S'il y en a qui veulent passer me voir, je serai mercredi à l' #opensourceexperience sur le stand d'Ada-France
-
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.
-
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