Ada Monthly Meeting September 2024

[Irvise]

Hello everybody!

I would like to announce the September (2024) Ada Monthly Meetup which will be taking place on the 7th of September at 13:00 UTC time (15:00 CEST). 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. Nonetheless, I would like to talk about the AEiC 2024 Ada Developers Workshop, remind people about the 2024 Crate of the Year Award and maybe talk a bit about the Ada Users Society

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 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.

Best regards and see you soon!
Fer

[Irvise]

Hi all,

this is just a quick reminder of tomorrows Meetup!

Best regards and happy coding!
Fer

[cantanima]

Is there an agenda? Sorry if you posted it elsewhere; I lost track. I doubt I can attend, but I am curious.

[Irvise]

@Irvise

If someone would like to propose a talk or a topic, feel free to do so! We currently have no proposals. Nonetheless, I would like to talk about the AEiC 2024 Ada Developers Workshop , remind people about the 2024 Crate of the Year Award and maybe talk a bit about the Ada Users Society

Not much of an agenda, apart for some talking points. I should also add WolfSSL crate to the list… That reminds me that I have to submit the PR… Oh…

EDIT: oh, and I should also mention FOSDEM…

[AJ-Ianozi]

I’d be very interested in hearing about the “Ada Users Society”. We could probably just have some open discussion in general… I don’t have much to say on it but I can talk about YASS.

[Irvise]

Hi all!

We just finished the Ada Monthly Meetup and here are the topics that were discussed:

• The recording of the presentations given during the Ada Developers Workshop with their slides are now available
• Stemming from (@jgrivera67) J. German Rivera’s talk about HiRTOS and him working the Renode hardware emulation tool, @ohenley did a nice article about getting started with Renode and Ada programs! Check it out!
  • And actually, since the last stable version of Renode, v1.15.2, released 3 weeks ago, there is a built-in demo/example of HiRTOS!
• @simonjwright created a PR for SVD2Ada for it to support dimensioned register ports!
• @Max has been working on creating an Ada toolchain for the XTENSA architecture. It is now officially part of Alire! Check the forum post for more info.
• A reminder that the Ada Crate of the Year Award is still taking place!
• We had a discussion on whether there should be a proposal for an Ada Devroom for next year’s FOSDEM.
  • There will be a forum thread about this topic “shortly”.
• With the “demise” of SIGAda, the proposal of the creation of the Ada Users Society is moving along, which was approved in the General Assembly (GA) of Ada-Europe this past month of June.
  • The next GA of Ada-Europe will be taking place in a couple of weeks, the next 26th of September. Remember to ask for the meetup link if you would like to join!
  • We had a couple of discussions during the meetup and afterwards regarding some doubts and timeline/availability of the new Ada Users Society.
• A complete working Alire manifest has been created for the WolfSSL library.
  • Though it is not in Alire’s index! It still needs some work, but you can already start using it!
• @stcarrez and @Max have been working on Ada-Enet, an embedded network stack written in Ada.
  • It is now available in Alire and it has a few STM32 drivers already!
• @Max also has an ethernet stack written in Ada, which has also been added ot Alire
• @simonjwright updated us on the state (and struggles) of the Ada support on the newly released RP 2350 CPU.
  • Progress is good and small examples are already running on the chip. Interrupts are still a problem to be solved
• @AJ-Ianozi reminded us about the latest Yet Another Static Site (Generator) and its features, which recently had its 3.1.0 release

That is all that was discussed today!

I forgot to mention the release/update of the toolchains available in Alire (GCC 14 and GNATProve 24) and the new features of GNATProve. So those topics will go to October’s meetup.

[Irvise]

I have been made aware that the livestream audio is quite shitty. I wont go into the detail but indeed, it was an issue from my side as I was not wearing earphones and my mic was also capturing the speakers audio…

I will try to have it fixed for the next time. I am sorry for the inconvenience…

[jere]

Don’t sweat it too much. We really appreciate you organizing these meetings.

[kevlar700]

I left my mic on without headphones whilst Simon was talking about RiscV too.

[Irvise]

Oh, and here is the YouTube video link: https://www.youtube.com/live/i_bVoiDlw5E