
Blog Posts by Fabien Chouteau

Fabien Chouteau
Fabien joined AdaCore in 2010 after his engineering degree at the EPITA (Paris). He is involved in real-time, embedded and hardware simulation technology. Maker/DIYer in his spare time, his projects include electronics, music and woodworking.

Fabien Chouteau
Announcing the 2025 Ada/SPARK Crate of the Year Award
We're happy to announce the fifth edition of our programming awards, The Ada/SPARK Crate of the Year Award! The Alire package manager is a game…

Fabien Chouteau
Solving Sudoku with AdaSAT
Originally, constraint solving in Libadalang was handled by several ad-hoc solvers built specifically for different parts of the type system. These…

Fabien Chouteau
Ada/SPARK Crate Of The Year 2024 Winners 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…

Fabien Chouteau
Advent of Ada/SPARK 2024 Results
At the end of November, we called the Ada and SPARK programmers community to take on a challenge for a good cause. For each person completing one of…

Fabien Chouteau
Announcing Advent of Ada 2024: Coding for a Cause!
We're thrilled to kick off the holiday season with the third edition of Advent of Ada, a programming challenge that not only tests your coding skills…

Fabien Chouteau
How GNATkp Safeguards Against Known Compiler Issues
GNAT Pro Assurance customers have access to a special variant of GNATcheck called GNATkp (GNAT Known Problems detector). This tool is packaged with…

Fabien Chouteau
Ada GameDev Part 3: Enjoy Video Games Programming with Raylib
In April 2024 a streamer named Tsoding developed a video game from start to finish in Ada in 20 days. He seemed to have enjoyed the experience, to…

Fabien Chouteau
The use of Ada Language in the Telecommunications Industry
In this article, Fabien Chouteau explains the importance of secure software in the emerging telecommunications industry.

Fabien Chouteau
Announcing the 2024 Ada/SPARK Crate of the Year Award
We're happy to announce the fourth edition of our programming awards, The Ada/SPARK Crate of the Year Award! The Alire package manager is a game…

Fabien Chouteau
Ada Programming like it's 1985
A few days ago, someone posted a request for the Abacus Commodore 64 Ada compiler on the reddit Ada channel. After a quick look at the manual I…

Fabien Chouteau
BACK TO THE BUILDING BLOCKS: AdaCore’s Contributions to Secure and Measurable Software
The focus on enhancing cybersecurity through various technological approaches and methodologies, as detailed in the White House Office of the…

Fabien Chouteau
Ada/SPARK Crate Of The Year 2023 Winners Announced!
In 2023 we announced the third edition of the Ada/SPARK Crate Of The Year Awards. We see the Alire source package manager as a game changer for…


