# Ada Monthly Meetup, 5th October 2024

**URL:** <https://forum.ada-lang.io/t/ada-monthly-meetup-5th-october-2024/1209>\
**Category:** Events\
**Created:** [September 16, 2024, 8:40pm UTC](https://forum.ada-lang.io/t/ada-monthly-meetup-5th-october-2024/1209 "2024-09-16T20:40:15Z")\
**Posts on this page:** 6\
**Page:** 1

<div class="post-metadata">

**Author:** ![Irvise](https://forum.ada-lang.io/letter_avatar_proxy/v4/letter/i/7ba0ec/32.png) [@Irvise](https://forum.ada-lang.io/u/Irvise)\
**Post date:** [September 16, 2024, 8:40pm UTC](https://forum.ada-lang.io/t/ada-monthly-meetup-5th-october-2024/1209/1 "2024-09-16T20:40:15Z")

</div>

Hello everybody!

I would like to announce the October (2024) Ada Monthly Meetup which will be taking place on the 5th of October 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 bring some topics that were left off during September’s Meetup.

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](https://meet.jit.si/AdaMonthlyMeetup) 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: you can see the September summary in [Ada Monthly Meeting September 2024 - #6 by Irvise](https://forum.ada-lang.io/t/ada-monthly-meeting-september-2024/1073/6) or in YT (with audio issues) [https://www.youtube.com/live/i\_bVoiDlw5E](https://www.youtube.com/live/i_bVoiDlw5E)

---

<div class="post-metadata">

**Author:** ![AJ-Ianozi](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/aj-ianozi/32/39_2.png) [@AJ-Ianozi](https://forum.ada-lang.io/u/AJ-Ianozi)\
**Post date:** [September 17, 2024, 12:02pm UTC](https://forum.ada-lang.io/t/ada-monthly-meetup-5th-october-2024/1209/2 "2024-09-17T12:02:52Z")

</div>

I can give a presentation on [YASS](https://yass.website), the static website generator written in Ada.

---

<div class="post-metadata">

**Author:** ![Irvise](https://forum.ada-lang.io/letter_avatar_proxy/v4/letter/i/7ba0ec/32.png) [@Irvise](https://forum.ada-lang.io/u/Irvise)\
**Post date:** [September 17, 2024, 6:41pm UTC](https://forum.ada-lang.io/t/ada-monthly-meetup-5th-october-2024/1209/3 "2024-09-17T18:41:19Z")

</div>

Sold! 😃

(padded to appease the forum lords)

---

<div class="post-metadata">

**Author:** ![Irvise](https://forum.ada-lang.io/letter_avatar_proxy/v4/letter/i/7ba0ec/32.png) [@Irvise](https://forum.ada-lang.io/u/Irvise)\
**Post date:** [October 5, 2024, 2:26pm UTC](https://forum.ada-lang.io/t/ada-monthly-meetup-5th-october-2024/1209/4 "2024-10-05T14:26:12Z")

</div>

We just finished this Monthly Meetup. Here are the topics that were covered:

- SPARK/GNAT 14, released this summer, gained the support for `Exceptional_Cases` contract. This allows for formal proves of exception handling and exceptions going up the stack! As some of you may know, this was one of SPARK’s weaker points, but not any more! If you would like to know more about this, go to the [GNATprove documentation](https://docs.adacore.com/spark2014-docs/html/ug/en/source/subprogram_contracts.html#exceptional-contracts).
- The [Ada Discord community](https://discord.gg/edM2czVKN4) is at 99 members! Maybe you could be the 100th one 😃
- @AJ-Ianozi gave a presentation on [YASS](https://www.yass.website/), a Yet-Another-Static-Site generator, which is written in Ada!
- @Max presented his work on translating [Learn.AdaCore](https://learn.adacore.com/) to the Ukranian language! His work can be seen in the [Ada-Ukraine](https://ada-ukraine.github.io/) site. They have already over 50 pages worth of content translated!
- We will submit a full day DevRoom request for [FOSDEM 2025](https://fosdem.org/2025/).
- [Ada-Auth](http://www.ada-auth.org/index.html) and [Adaic](https://www.adaic.org/) are back online!
- Though [AdaForge](https://www.adaforge.org/), maintained by @captain-haddock17, never went down, so the Reference Manual was always available there, as well as many other resources!
  - [Ada-Lang](https://ada-lang.io/) also maintains a copy of the RM!

- Some initial work has started happening in order to enable the [CHERI](https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/) architecture in [GNAT (Pro)](https://www.adacore.com/papers/elevate-security-confidence-with-memory-safe-hardware-and-software).

Edit: video recording available in [https://youtube.com/live/hpbXvSAAu30?feature=share](https://youtube.com/live/hpbXvSAAu30?feature=share)

Thanks to everybody that participated! Best regards,  
Fer

---

<div class="post-metadata">

**Author:** ![AJ-Ianozi](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/aj-ianozi/32/39_2.png) [@AJ-Ianozi](https://forum.ada-lang.io/u/AJ-Ianozi)\
**Post date:** [October 8, 2024, 1:49pm UTC](https://forum.ada-lang.io/t/ada-monthly-meetup-5th-october-2024/1209/5 "2024-10-08T13:49:40Z")

</div>

Also I realize why I didn’t have any syntax highlighting in my presentation. 99% of the time I’m ssh’d into a VM for development, I never copied my vimrc over to my macbook.

This is what you should have seen

 ![image](https://forum.ada-lang.io/uploads/default/original/1X/0b169f3a59936f47a93d93853e2865d7c027f20e.png)

---

<div class="post-metadata">

**Author:** ![Irvise](https://forum.ada-lang.io/letter_avatar_proxy/v4/letter/i/7ba0ec/32.png) [@Irvise](https://forum.ada-lang.io/u/Irvise)\
**Post date:** [October 18, 2024, 4:32pm UTC](https://forum.ada-lang.io/t/ada-monthly-meetup-5th-october-2024/1209/6 "2024-10-18T16:32:10Z")

</div>

Just as a quick heads up, I won’t be organising the November meetup.

I have not much to report about (though news of FOSDEM will be shared in this forum if/when we get them) and I have a few things going on in my life 🙂

So if you, the community, do not mind, I will skip the organisation of the November meetup and we can meet in December 🙂

Though if someone want to organise it, do feel free!

Best regards,  
Fer
