Rapita Systems and Avionyx partner to accelerate DO-178C DAL A avionics certification, focusing on multicore processor safety and next-gen aircraft like eVTOLs. The collaboration combines automated tools with engineering expertise. #RapitaSystems #Avionyx #Aerospace
airpronews.com/2026/03/01/r...
You're already building with Claude, OpenClaw, and the next generation of AI tools. Here's where to publish what you learn.
Who else is at Embedded World? #ew2026
2am start and not for a horse show??!!
Can only mean it’s time for embedded world Exhibition&Conference - may need more coffee! Looking forward to seeing my @adacore.bsky.social team!
Yes NVIDIA are using Ada/SPARK in some of their teams 👍
When we talk about “build software that matters” at @adacore.bsky.social this is what we mean!
Great to see the mentions of #SPARK in this Defcon talk by Adam Zabrocki and Marko Mitic #NVIDIA
www.youtube.com/live/MEPF0dE...
#formalmethods #softwareengineering #defcon33 #defcon
One of the things I love the most about working at @adacore.bsky.social 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-t...
Ada continues to rise in the TIOBE and PYPL indices, now ranked 9 and 13, respectively, for July 2025. 🎉
The @adacore.bsky.social CPRO Quentin Ochem, talks to Automotive Engineering (SAE Media Group) about the value of international standards like ISO 26262 in preventing recalls. www.youtube.com/watch?v=OoI2...
Such a clean (embedded) Rust walkthru - and a cool use-case!
“Navigating Mars with Rust: Developing an Autonomous Pathfinding Rover” from @adacore.bsky.social
blog.adacore.com/navigating-m...
Navigating Mars with Rust: Developing an Autonomous Pathfinding Rover 🦀
#rust #rustlang #programming
blog.adacore.com/navigating-m...
Best title I’ve written in ages……
What’s all the Fuzz About? (Best title I’ve done for ages) #fuzzing #fuzztesting blog.adacore.com/whats-all-th...
As federal deadlines loom for memory-safe code requirements, AdaCore offers practical solutions combining hardware innovation, strategic rewrites, and formal verification methods to secure legacy systems without complete overhauls.
I'm at Embedded World with AdaCore, demoing a cute little robot programmed in Ada and SPARK 🤖 (booth 4A-128) #embeddedworld #ew25
AdaCore e CodeSecure si fondono per formare una società globale che offra soluzioni integrate di tutela e sicurezza del software
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
How 2 Ransomware Attacks on 2 Hospitals Led to 2 Deaths in Europe
Two deadly Ransomware Attacks on European hospitals show cybercrime now risks lives not just data with patients dying after treatment delays.
#hackernews #news
Interested in #SPARK #fuzzing and #codeanalysis? - check out the new bog blog.adacore.com/improving-sp...
Every enterprise is experimenting with AI, but few are achieving real value. Learn how to take advantage of AI’s transition into widespread use.
Exciting news out today that AdaCore and CodeSecure have announced a merger www.adacore.com/press/adacor...
😳
As federal deadlines loom for memory-safe code requirements, AdaCore offers practical solutions combining hardware innovation, strategic rewrites, and formal verification methods to secure legacy systems without complete overhauls.
As federal deadlines loom for memory-safe code requirements, AdaCore offers practical solutions combining hardware innovation, strategic rewrites, and formal verification methods to secure legacy systems without complete overhauls.
That is such a good question - as ‘disruptive’ can be such a harsh word. I’d like to think that original thinking is completely possible without having to disrupt. Sometimes it’s a journey to support rather than a disruption to make. If that makes any sense?!
