The #Rust borrow checker is one of its main memory-management features. bit.ly/4bS0BgG #programming

Ada is back in the TIOBE Index top 20 bit.ly/4iQVeB4

CHERI on Top: AdaCore's Hardware 'Fix' for Legacy C/C++ Code thenewstack.io/cheri-on-top-a…

Ada and SPARK enter the automotive ISO-26262 market with Nvidia adacore.com/press/ada-and-… (news.ycombinator.com/item?id=441848…)

High-integrity software tooling experts, AdaCore, have announced the introduction of the Ada and SPARK programming languages into the automotive market. hubs.ly/Q03qHVN40

#NewsAlert | High-integrity software tooling experts, AdaCore, are delighted to announce the introduction of the Ada and SPARK programming languages into the automotive market. Together with their partner NVIDIA.

It's really really cool to see NVIDIA products running on formally verified Ada/SPARK, amazing! blog.adacore.com/nvidia-securit…

Never exhibited at #HISC? Our Mini Booth package is designed for new exhibitors as well as software #Startups. 🤝Network with 200+ delegates from Government, Academia & Industry 🎙️Add on a Spotlight Talk to draw traffic to your booth More info: his-conference.co.uk/exhibitors

AdaCore and CodeSecure Merge to Form a Global Company Providing Embedded Software Security and Safety Solutions ow.ly/1rLR50WbF8m #TechnologyNews #AI #TechNews #CIOCommunity #CIOLeadership #CIOInfluence #TechLeadership #ITStrategy #FutureOfIT #TechTrends

Nvidia recently moved a lot of their firmware to SPARK (formally verified Ada) blog.adacore.com/nvidia-securit…

AdaCore und CodeSecure fusionieren zu globalem Anbieter von Sicherheitslösungen für eingebettete Software dlvr.it/TLfbLN

What's All the Fuzz about? Best title I've done for ages, if I do say so myself.... #fuzztesting #fuzzing blog.adacore.com/whats-all-the-…

The #HISC2025 programme is now live 🎉 Kicking off with a keynote from Dave Kleidermacher, this year’s event is not to be missed. Find the full programme here: his-conference.co.uk/programme

Our Chief Product and Revenue Officer, Quentin Ochem, talks to Automotive Engineering (SAE Media Group) about the value of international standards like ISO 26262 in preventing recalls. youtu.be/OoI2hDvrsak

Ada, other older languages vie for top spots in Tiobe language index infoworld.com/article/402051…

AIMindUpdate News! Safety-critical systems need a rock-solid language. Ada, conceived in the 70s, is surging in the Tiobe Index. Find out why!#AdaLanguage #TiobeIndex #SoftwareSecurity Click here↓↓↓ aimindupdate.com/2025/07/14/ada…

Ada continues to rise in the TIOBE and PYPL indices, now ranked 9 and 13, respectively, for July 2025. 🎉 “With the ever-stronger demands on security, Ada is, as a s

One of the things I love the most about working at AdaCore | Ada/C/C++ tools for critical software is the people. The passion and ambition to improve every part of our work. In his new blog, M. Anthony Aiello revisits some work he did earlier this year. blog.adacore.com/revisiting-the…

At the recent DARPA Resilient Software Systems Colloquium, a series of panel discussions shed light on how government agencies are adopting formal methods. We summarise these discussions in our latest blog blog.adacore.com/formal-methods…

AdaCore is proud to be part of the NVIDIA DRIVE AGX Thor ecosystem. “At AdaCore | Ada/C/C++ tools for critical software we are committed to supporting technologies that enable safe, secure, and reliable mobility.” Read more on the #NVIDIA blog ⬇️ blogs.nvidia.com/blog/drive-agx…