Ada-France
LightNews LightNews
banner
adafrance.bsky.social
Ada-France
@adafrance.bsky.social
5 followers 17 following 5 posts
L'association Ada France. Association de promotion du langage de programmation Ada.
Développeurs soyez les bienvenus :)
Existe aussi sur Mastodon @adafrance@mamot.fr et historiquement sur X.
https://www.ada-france.org/
Posts Replies Media Videos
adafrance.bsky.social
La 30ème conférence internationale pour les technologies de logiciels sûrs (AEiC 2026) aura lieu en Suède à Västerås du 9 au 12 June 2026. Différentes thématiques seront traitées et divers évènements seront organisés en parallèle.

www.ada-europe.org/conference20...

#ada #adlanguage #software
AEiC 2026
16 September 2025: Call for contributions published.
www.ada-europe.org
December 4, 2025 at 3:38 PM
adafrance.bsky.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.

ironsides.martincarlisle.com
Ironsides
ironsides.martincarlisle.com
December 4, 2025 at 1:26 PM
adafrance.bsky.social
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 :)

www.just-auto.com/sponsored/me...

#spark #ada #adalanguage #formal_methods
Meeting ASIL C and D with Formal Methods - Just Auto
Zenseact develops world-leading safety software for passenger cars. As an AI and software company dedicated to revolutionizing car safety, Zenseact designs the complete software stack for autonomous d...
www.just-auto.com
December 4, 2025 at 8:17 AM
adafrance.bsky.social
C'est reparti pour le "calendrier de l'avent" en Ada !!

www.adacore.com/blog/announc...

#ada #adalanguage #contest #programming
Announcing Advent of Ada/SPARK 2025: Coding for a Cause!
Advent of Ada/SPARK is back! Solve Advent of Code 2025 challenges in Ada/SPARK and help us raise up to $5,000 for Ada Developers Academy.
www.adacore.com
December 3, 2025 at 6:57 PM
Reposted by Ada-France
hacker.at.thenote.app
AdaCore and CodeSecure Merge to Form a Global Company Providing Embedded Software Security and Safety Solutions

[New York, US, 06/18/25] AdaCore, which provides software development tools for mission-critical systems, and embedded software security company CodeSecure, today anno…

#hackernews #news
AdaCore and CodeSecure Merge to Form a Global Company Providing Embedded Software Security and Safety Solutions
[New York, US, 06/18/25] AdaCore, which provides software development tools for mission-critical systems, and embedded software security company CodeSecure, today announced a definitive merger agreement. The merger creates a unified company committed to advancing software safety, security, and reliability across critical industries. The merger combines two highly complementary portfolios: AdaCore’s expertise in high-integrity software development…
securityboulevard.com
June 19, 2025 at 8:04 AM
Reposted by Ada-France
adacore.bsky.social
We just revisited the crucial role of high-integrity software in space exploration, focusing on the Mars Rover's safety monitor system. Check out how AdaCore's solutions help ensure mission success by keeping software reliable in the most critical environments.

blog.adacore.com/revisiting-t...
Revisiting the Mars Rover Safety Monitor
by M. Anthony Aiello – Jul 17, 2025. In the blog
blog.adacore.com
July 21, 2025 at 12:36 PM