1
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…
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
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…
3
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.
4
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…
5
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…
6
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…