Re: Ada Monthly Meetup, 7th December 2024

[dirk@orka.cs.kuleuven.be. (Dirk Craeynest)]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 3963 bytes --]

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!