Ada Monthly Meetup, 7th December 2024

[Dirk Craeynest]

Original posted on Nov 4, 2024 8:48pm at
https://forum.ada-lang.io/t/ada-monthly-meetup-7th-december-2024/
by Fernando aka Irvise <***@irvise.xyz>.

---

Hello everybody!

I would like to announce the December (2024) Ada Monthly Meetup which
will be taking place on the 7th of December at 14:00 UTC time (15:00
CET). As always the meetup will take place over at Jitsi. The Meetup
will also be livestreamed/recorded to YouTube.

**If someone would like to propose a talk or a topic, feel free to do
so! We currently have no proposals.**

Here are the connection details from previous posts:
The meetup will take place over at Jitsi, a conferencing software that
runs on any modern browser. The link is Jitsi Meet [1]. The room name is
"AdaMonthlyMeetup" and in case it asks for a password, it will be set to
"AdaRules".
I do not want to set up a password, but in case it is needed, it will
be the one above without the quotes. The room name is generally not
needed as the link should take you directly there, but I want to write
it down just in case someone needs it.

Also, this will be the last Monthly Meetup for a long while! There
will be none in January 2025 nor one for February, as a large portion
of the Ada community will be meeting in FOSDEM [2]!!

Best regards and see you soon!
Fer

P.S: you can see the October summary in "Ada Monthly Meeting October
2024" [3] or in YouTube [4].

[1] https://meet.jit.si/AdaMonthlyMeetup
[2] https://fosdem.org/2025/
[3] https://forum.ada-lang.io/t/ada-monthly-meetup-5th-october-2024/1209/4
[4]

[Dirk Craeynest]

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 <***@irvise.xyz>.

---

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/***@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!