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 <
irvise_ml@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/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!
--- Synchronet 3.20a-Linux NewsLink 1.114