Hi all,
the meetup is now over. Here are the minutes of the meetup:
- A strong reminder of the Ada Crate of the Year competition. The deadline is approaching quickly! There are three prices, one for Ada, another for SPARK and finally another for embedded system crates! Here is the forum thread covering the topic.
- A reminder that Advent of Code 2024 is now live.
- AdaCore, like last year, is going to donate money based on the amount of solutions and submission that are being done in Ada or SPARK. The submissions need to be done in this forum thread
- The Learn.AdaCore.com website has received several improvements in these past few months. Some changes are detailed in this blog post. Improvements include controlled and limited types and discriminats.
- The Call for Presentations for the FOSDEM conference has now ended. We did get a nice bunch of submissions which we hope to publish in short time.
- An Ada program was recently showcased in HackerNews. Prunt is a motion controller for 3D printers writen in Ada. It is open source, so you can go ahead an take a look at the code.
- There was recently a question in the forum about the use of SPARKlib. The library is a set of nice utilities, algorithms and data structures which have been formally verified. I recommend people to check it out!
- For the people who use AWS in Fedora systems, it is recommended that you read this email thread by Björn Persson. It discusses a security vulnerability disclosed by AdaCore.
- For those interested, charlie5 (Rod Kay) is porting the Linux e1000e network driver to Ironclad. Here is the repo with the progress. Feel free to help and lend a hand. For more info, join Ironclad’s Matrix chat room.
- The WG9, the ISO Work Group behind the Ada standard, had a meeting a few days ago. Some information was shared with regards to the Ada Users Society. The public list of WG9 documents can be found here.
A huge thanks to @AJ-Ianozi for showing us his MMO game whose backend is written using Ada and is based on AWS.
There will be no meetup on January as most people are unavailable in those dates. February will also not have a meetup as we will be in FOSDEM!
Best regards to you all!
Fer
P.S: sorry for the technical issues during the meetup!