1
AdaCore and Ferrous Systems Joining Forces to Support Rust
AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.
AdaCore Blog
AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.
- Popular posts
- 9
- Total points
- 1,626
- HN comments
- 1,127
- Rank
- #788 company
Visit blog.adacore.com → RSS feedOn Hacker News Nov 2017 – Oct 2025
Programming Languages 9Software Engineering 6Systems & Performance 1Security & Privacy 1Tech Industry & Business 1
2
Nvidia Security Team: “What if we just stopped using C?” (2022)
Today I want to share a great story about why many NVIDIA products are now running formally verified SPARK code. This blog post is in part a teaser for…
3
I can’t believe that I can prove that it can sort
When an enthusiastic Ada programmer and a SPARK expert pair up to prove the most "stupid" sorting algorithm, lessons are learned! Join us in this…
4
Introduction to Ada: a project-based exploration with rosettas
Discover Ada through a fun, project-based tutorial! Learn the language’s clarity, safety, and modern features while building an SVG rosetta generator. A…
5
There's a mini RTOS in my language
AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.
6
Going Beyond Ada 2022
AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.
7
Should I choose Ada, SPARK, or Rust over C/C++? (2024)
At AdaCore, we’re in the business of supporting people who develop high-integrity software, in particular for embedded systems. In terms of programming…
8
Ada crate of the year 2024 announced
In 2024 we announced our fourth Ada/SPARK Crate Of The Year Awards. We see the Alire source package manager as a game changer for Ada/SPARK, so we want to…
9
Using Pointers in SPARK
In this blog post, I will present one of the most interesting additions to the community 2019 version of SPARK: pointer support. One of the core…