AdaCore Blog

Tis the Season to be Giving falalalala lalalala

by Fabien Chouteau

Every year since 2015, a team of dedicated individuals led by Eric Wastl organizes an online programming challenge called: Advent of Code. The concept is simple yet brilliant: from December 1st to 25th, every day a new small programming exercise is published on the website. Participants get points for each completed exercise.

This event is great to start learning a new language as the exercises are small and simple, at least for the first few days, and can be completed using any programming language. It is gaining traction every year, including more and more people implementing the challenges in Ada/SPARK.

This year we want to join the fun, and bring a little bit of extra motivation for a good cause. For each person completing one of the Advent of Code challenges using the Ada programming language, AdaCore will donate $10 to the Ada Developers Academy, up to a total of $5,000. And for those willing to go an extra mile, AdaCore will donate $20 if the solution is implemented in SPARK with at least proof of absence of run-time errors (a.k.a. Silver level).

How to participate?

A special thread on the forum was created for anyone to get their solutions registered. Once you have completed an exercice, head over to that thread and post a message with a link to the sources of your solution using the following format:

[<pseudonym>][<day>][<Ada or SPARK>]<link to solution source code>

For instance, if I solve the 3rd day problem using Ada:


And the 5th day using SPARK:


If you prefer, you can just have one post and edit it every time you solve a new problem.

  • You don’t have to solve all the 25 problems

  • You don’t have to solve the problems on the day they are submitted

  • You can switch back and forth between Ada and SPARK

  • You don’t have to be a beginner in Ada/SPARK. Advent of Code is great for learning new languages but it’s also fun for experienced programmers

Early January we will count all the submissions, and donate the corresponding amount to the Ada Developers Academy.

Happy hacking season!

Posted in

About 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.