From Newsgroup: comp.lang.ada

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 <[email protected]>.

---

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/[email protected]/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!
--- Synchronet 3.20a-Linux NewsLink 1.114