Path: ...!news.nobody.at!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Fernando Oleo / Irvise <irvise_ml@irvise.xyz>
Newsgroups: comp.lang.ada
Subject: Re: Ada Monthly Meetup, 5th October 2024
Date: Sat, 5 Oct 2024 16:55:14 +0200
Organization: A noiseless patient Spider
Lines: 41
Message-ID: <vdrk0i$pt4m$1@dont-email.me>
References: <vca592$325q7$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 05 Oct 2024 16:55:15 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="59a8a02ede98d4fdcd1a4d466c44d8ca";
	logging-data="849046"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18HJ1dp6jz2xUAq2sQCw6tm"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:2lKFcpn1nDpgCL8j1UhUCHWRysE=
Content-Language: en-US
In-Reply-To: <vca592$325q7$1@dont-email.me>
Bytes: 3079

Hi all!

Here are the minutes of the meeting (markdown formatted) :)

=====================================================================

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 :smiley:
- @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).

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

Thanks to everybody that participated! Best regards,
Fer