Original posted on Dec 7, 2024 5:12pm at https://forum.ada-lang.io/t/ada-monthly-meetup-7th-december-2024/1444/12 by Fernando aka Irvise . --- 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 [01]. 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 [02]. [01] https://blog.adacore.com/announcing-the-2024-ada-spark-crate-of-the-year-award [02] https://forum.ada-lang.io/t/2024-crate-of-the-year-awards/923 * A reminder that Advent of Code 2024 [03] is now live. + AdaCore, like last year, is going to donate money [04] 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 [05] [03] https://adventofcode.com/ [04] https://blog.adacore.com/announcing-advent-of-ada-2024-coding-for-a-cause [05] https://forum.ada-lang.io/t/advent-of-code-2024/1500 * The Learn.AdaCore.com website has received several improvements in these past few months [06]. Some changes are detailed in this blog post [07]. Improvements include controlled and limited types and discriminats. [06] https://learn.adacore.com/courses/advanced-ada/changelog.html [07] https://blog.adacore.com/learn-advanced-ada-2024-09 * The Call for Presentations for the FOSDEM [08] conference has now ended. We did get a nice bunch of submissions which we hope to publish in short time. [08] https://fosdem.org/2025/ * An Ada program was recently showcased in HackerNews [09]. Prunt [10] 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. [09] https://news.ycombinator.com/item?id=42314905 [10] https://600f3559.prunt-docs.pages.dev/ * There was recently a question in the forum [11] about the use of SPARKlib [12]. The library is a set of nice utilities, algorithms and data structures which have been formally verified. I recommend people to check it out! [11] https://forum.ada-lang.io/t/where-is-sparklib/218/4 [12] https://docs.adacore.com/spark2014-docs/html/ug/en/source/spark_libraries.html# * For the people who use AWS [13] in Fedora systems, it is recommended that you read this email thread [14] by Björn Persson [15]. It discusses a security vulnerability disclosed by AdaCore. [13] https://github.com/AdaCore/aws [14] https://lists.fedoraproject.org/archives/list/ada@lists.fedoraproject.org/thread/IYXTYY2SCZQ32U76MVO5GHK52RXVNQJ6/?noscript [15] https://lists.fedoraproject.org/archives/users/34271505be0745b085f0fd955fb2e3ef/ * For those interested, charlie5 (Rod Kay) is porting the Linux e1000e network driver to Ironclad. Here is the repo with the progress [16]. Feel free to help and lend a hand. For more info, join Ironclad's Matrix chat room [17]. [16] https://codeberg.org/charlie5/ironclad_intel_e1000e_driver_port.git [17] https://matrix.to/#/#ironclad:matrix.org" rel="noopener nofollow ugc * The WG9, the ISO Work Group behind the Ada standard, had a meeting a few days ago. Some information [18] was shared with regards to the Ada Users Society. The public list of WG9 documents can be found here [19]. [18] https://www.open-std.org/jtc1/sc22/wg9/n654_WG_9_Future_Plan.pdf [19] https://www.open-std.org/jtc1/sc22/wg9/documents.htm A huge thanks to @AJ-Ianozi [20] for showing us his MMO game whose backend is written using Ada and is based on AWS. [20] https://forum.ada-lang.io/u/aj-ianozi 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!