I’d like to invite “streaksu” to consider submitting a Work-in-Progress or Industrial (aka experience) Presentation proposal for the 2024 Ada-Europe conference in Barcelona, Spain, next June. Ada-Europe 2024
Hi Everybody,
we just finished the AdaMonthlyMeetup and it was quite interesting! A big thanks to Streaksu for his work on Ironclad:
Here are some links for people interested in learning more about Ironclad:
- Ironclad’s main webpage
- Gloire, and Ironclad based distribution
- Slides used during the presentation
- Community site and communication channels for Ironclad/Gloire
Related OSes written in Ada/SPARK include:
Thank you for the proposal. It looks like quite an interesting conference, and it isn’t even that far from home! I will make sure to send a submission
Hello everybody!
I would like to announce the December Ada Monthly Meetup which will be taking place on the 2nd 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 to Youtube
If someone would like to propose a talk or a topic, feel free to do so! We currently have no topics
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
Hi all,
nobody has submitted any topics. Nonetheless, I will talk shortly about FOSDEM, Ada Crate of the Year 2023, Advent of Code and that we will not have an Ada Meetup in January and most likely also not in February!
Best regards,
Fer
Merry Christmas!
This is a reminder that there will be no Ada Monthly Meetup in January!
I would also like to remind people to submit their projects to the Ada Crate of the Year competition if they have not already done so by now!
I would also like to thank everybody that did Advent of Code in Ada/SPARK and submitted their work to the forum! This shows the lively community that we have and increases the donation that AdaCore will give! Sadly I could not personally participate much due to life being life, but that is what we have…
I have also booked a room and flights to Brussels in order to be there for FOSDEM 2024. Lets meet there if we can!
Best regards,
Fer
P.S: I still have not started working on my proposal for the new “Projects” section of the webpage, but hopefully I will find some time.
Hi all! I will not be available on the 2nd of March, Saturday, when the next Meetup should take place… I would like to share some news there and maybe have someone show a project… However, I do not know if I should move it to another day, cancel it or let someone take over for March…
Do you have any opinion/preference?
I am personally finding myself in a lot of activities and “work” these weekends, so I don’t really have that much flexibility sadly…
Just arrange it for the following Saturday, that’s fine.
Hello everybody!
I would like to announce the March (2024) Ada Monthly Meetup which will be taking place on the 9th of March at 14:00 UTC time (15:00 CET). As always the meetup will take place over at Jitsi. The Meetup will also be livestreamed to Youtube.
If someone would like to propose a talk or a topic, feel free to do so! We currently have no topics
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
Dear all, this is just a quick reminder that the Ada Monthly Meetup will take place next Saturday!
No topics were proposed for this meetup. Nonetheless, I will take the opportunity to talk a bit about FOSDEM (and WolfSSL), the newly proposed Ada Developer Workshop during AEiC, remind people about the newly released Alire v2.0-RC1 and a few other topics if we have time.
Best regards,
Fer
The March 2024 Meetup just finished! Thanks to everybody who participated.
Quite a few topics were discussed, here is a list of topics and references to them:
- WolfSSL and its Ada binding
- Announcement
- Initial commit, SPARK included!
- Build as a library, PR currently open
- WolfSSL created the binding to “create” demand. The Ada community can help raise awareness of these tools and create a symbiotic relationship with companies and people invested in Ada.
- FOSDEM
- Ada Developer Workshop taking place in Barcelona the 14th of June.
- The (current) submission deadline for presentations is the 31st of March!
- Online participation is expected. We will try and have a setup to let people participate online!
- It was created in order to let the wider Ada community have a home to meet and talk about Ada. This is a “response” to the lack of an Ada DevRoom @ FOSDEM the past couple of years.
- Alire v2.0 is around the corner
- Help test the new Release Candidate 1
- Mac M1 (ARM64) support is in the works. Thanks Simon and Maxim!
- There is now a list of projects to work on in the main Ada-Lang webpage.
- It focuses of projects that would help the wider Ada community.
- Ada support for org-mode code blocks (babel) is now going to be part of the official org-mode distribution of Emacs!
- Thanks Francesc for the work!
- The CISA published a list of memory safe languages
- Ada was not mentioned in the list of programming languages. Nonetheless Ada/SPARK are listed in the references.
- Ada needs better visibility and “marketing”.
- Black, an HTTP (1 & 2) and WebSockets library written in Ada.
- The GCC 14’s Ada changelog section is on its way, stay tuned!
See you in one month (more or less)! Regards,
Fer
Edit 1: add the Black library
Edit 2: the paper was published by CISA, not the NSA
Added to the post near the end
Hi, Thanks for posting the details. FYI, the paper you reference is not by the NSA. It was by the Cybersecurity and Infrastructure Security Agency (CISA).
But there’s an NSA report on the same topic that lists 9 memory-safe languages, and Ada is included. See The NSA list of memory-safe programming languages has been updated - ReadWrite.
After some searching I found that NSA report at https://media.defense.gov/2023/Apr/27/2003210083/-1/-1/0/CSI_SOFTWARE_MEMORY_SAFETY_V1.1.PDF.
This is the link I posted in the chat during the metting.
I didn’t know… (Although I intended to participate in the meeting, I didn’t manage…)
Anyway, now the correct link is included in this thread as well, so it is saved for posterity!
Thank you for hosting the recording on your YouTube channel. I got to watch it while on vacation. It’s tough finding ada videos (that aren’t actually cardano related instead) so it’s always great to see anything ada related. And I got to watch it on the big screen since it was on YouTube (instead of my phone)
Hello everybody!
I would like to announce the April (2024) Ada Monthly Meetup which will be taking place on the 6th of April at 13:00 UTC time (15:00 CEST). As always the meetup will take place over at Jitsi. The Meetup will also be livestreamed to Youtube.
If someone would like to propose a talk or a topic, feel free to do so! We currently have no topics Though I will try to focus more on Ada and I would like to bring people’s attention to Tsoding’s Ada livestreams.
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
P.S: it is that time of year when clocks have their time changed. So please, take a look at whether this affects you. (Central) Europe will now go from CET to CEST, so +2h. USA and related countries already had heir time changed last week.