Ada Monthly Meetup, 5th October 2024

Events
4

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.
  • The Ada Discord community is at 99 members! Maybe you could be the 100th one :smiley:
  • @AJ-Ianozi gave a presentation on YASS, a Yet-Another-Static-Site generator, which is written in Ada!
  • @Max presented his work on translating Learn.AdaCore to the Ukranian language! His work can be seen in the Ada-Ukraine site. They have already over 50 pages worth of content translated!
  • We will submit a full day DevRoom request for FOSDEM 2025.
  • Ada-Auth and Adaic are back online!
  • Though AdaForge, maintained by @captain-haddock17, never went down, so the Reference Manual was always available there, as well as many other resources!
    • Ada-Lang also maintains a copy of the RM!
  • Some initial work has started happening in order to enable the CHERI architecture in GNAT (Pro).

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

Thanks to everybody that participated! Best regards,
Fer

6 Likes