AdaCore: Build Software that Matters
AdaCore Hero Image

Blog Posts by Fabien Chouteau

Profile small

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.

I Stock 1198271727
Dec 06, 2022

Fabien Chouteau

Coroutines in Ada, a Clean but Heavy Implementation

A few months ago I was reading this article about coroutines in game development and how they are great tools for writing scripts (as in movie…

Hacking santa
Nov 24, 2022

Fabien Chouteau

Tis the Season to be Giving falalalala lalalala

Every year since 2015, a team of dedicated individuals led by Eric Wastl organizes an online programming challenge called: Advent of Code. The…

2021 nvidia corporate key visual 16x9 dark 1080p
Nov 07, 2022

Fabien Chouteau

NVIDIA Security Team: “What if we just stopped using C?”

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…

Esp32 c3 devkitm 1 v1 isometric
Aug 25, 2022

Fabien Chouteau

Embedded Ada/SPARK, There's a Shortcut

For years in this blog my colleagues and I have published examples, demos, and how-to’s on Ada/SPARK embedded (as in bare-metal) development. Most of…

Package manager
Jun 28, 2022

Fabien Chouteau

Announcing The 2022 Ada/SPARK Crate Of The Year Award

We're happy to announce our the second edition of our programming competition, the Ada/SPARK Crate Of The Year Award! We believe the Alire package…

I Stock 899597476
Jun 02, 2022

Fabien Chouteau

A New Era For Ada/SPARK Open Source Community

Today we have two exciting announcements for the future of the Ada/SPARK ecosystem.

I Stock 1190901911
Mar 10, 2022

Fabien Chouteau, Joffrey Huguet

Quite Proved Image Format

A few weeks ago a piece of code went viral in the online dev community. The “Quite OK Image Format” (QOI) is a fast, lossless image compression…

2021 08 31 174734 3840x1200 scrot
Mar 08, 2022

Fabien Chouteau

Ada GameDev Part 2: Making 2D maps with Tiled

In this second post of the Ada GameDev series we will see how to create game maps and export them to a format that is compatible with the GESTE…

Palette tiles maps
Feb 28, 2022

Fabien Chouteau

Ada GameDev Part 1: GEneric Sprite and Tile Engine (GESTE)

In this first entry of the series, I want to present my GEneric Sprite and Tile Engine (GESTE) project. The goal of GESTE is to bring the rendering…

Fosdem
Feb 01, 2022

Fabien Chouteau

AdaCore at FOSDEM 2022

Package manager
Jan 27, 2022

Fabien Chouteau

Ada/SPARK Crate Of The Year 2021 Winners Announced!

I Stock 628015736
Nov 03, 2021

Fabien Chouteau

An Embedded USB Device stack in Ada

A couple years ago I started to tackle what was probably my most daunting project at the time, an embedded USB Device stack written 100% in Ada.