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 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!!
I could name many things which I would love to read or hear about regarding Ada, but I’m not sure that they would find motivated speakers.
With one exception: parallelism has been part of the standard for close to three years now and implementation in GNAT (or anywhere else I suppose) is still on hold, while other things are being developed. I think we would appreciate more information on this strange state of affairs here, if someone is privy to details.
It never hurts to ask! Though you may be disappointed if there are indeed no speakers :S
I have a bit more info about this, but I am no one to talk about this topic. Any summary that I could give here would be wrong, but the short answer is “while people are happy with this idea, it is complex and it seems to be already dead in arrival as the original scope intended parallel to be very powerful but the complexity of implementation outweighed interest from compiler developers; and the current scope of parallel does not seem to be that appealing”
oh… I see. I did read that concurrency and parallelism were very distinct but I see why now. Maybe it was a bad idea approving something not even the main compiler is even close to implementing, and now they can’t go back
There are also:
developments on the wish to use aspects instead of magic types like tagged types
User-defined slicing is lacking, and generics could target that
More integration between compilers and static tools
I made a silly “.io” like game to test out websockets-- the server is written in Ada and the client is written in Gamemaker Studio. It’s not published on an official domain, but I’ll be happy to showcase it during the Ada monthly meeting.
Adding this for more visibility. Rod Kay will also present some of the work he has been doing on porting and translating some Linux network drivers (written in C) to the Ironclad kernel
AdaCore, like last year, is going to donate money 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
The Call for Presentations for the FOSDEM conference has now ended. We did get a nice bunch of submissions which we hope to publish in short time.
An Ada program was recently showcased in HackerNews. Prunt 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.
There was recently a question in the forum about the use of SPARKlib. The library is a set of nice utilities, algorithms and data structures which have been formally verified. I recommend people to check it out!
For the people who use AWS in Fedora systems, it is recommended that you read this email thread by Björn Persson. It discusses a security vulnerability disclosed by AdaCore.
The WG9, the ISO Work Group behind the Ada standard, had a meeting a few days ago. Some information was shared with regards to the Ada Users Society. The public list of WG9 documents can be found here.
A huge thanks to @AJ-Ianozi for showing us his MMO game whose backend is written using Ada and is based on AWS.
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!
