From Newsgroup: comp.lang.ada

Original posted on Sep 13, 2025 at https://forum.ada-lang.io/t/ada-monthly-meetup-13th-of-september/3763/4
by Fernando aka Irvise <irvise_ml@irvise.xyz> (edited).

---

Hi everybody,

the meeting just finished and here are the Minutes of the Meeting:

* @Irvise [01] gave his perspective and feelings about the Ada
Developers Workshop which took place during this year's Ada-Europe
international Conference. He has received pretty good feedback and
people seemed to be quite happy with it. The recordings of the videos
still need to be processed, he apologizes for the substantial delay.

[01] https://forum.ada-lang.io/u/irvise

* @DirkCraeynest [02] then shared with us the slides that were used
during AEiC to present the 2026 edition of the conference [03]!
It will be taking place 9-12 June 2026, Västerås, Sweden [04].
The call for papers/presentations in the different tracks is already
open. We will try to repeat again the Ada Developers Workshop as
it had quite a lot of attendance.

[02] https://forum.ada-lang.io/u/dirkcraeynest
[03] https://people.cs.kuleuven.be/~dirk.craeynest/ada-belgium/events/26/260609-aeic-mdu.pdf
[04] https://www.ada-europe.org/conference2026/

* @Irvise told us about his experience giving an introductory workshop
about Ada. It was given in OpenSouthCode [05]. There was not
much attendance but there was good reception. It was an incredible
experience and a great conference overall.

+ Also, from that meetup, he learnt about SysML v2 [06]. It may
be very interesting to see an Ada code generator for it in the
future... who knows!

[05] https://www.opensouthcode.org/conferences/opensouthcode2025/program/proposals/851
[06] https://www.omg.org/sysml/sysmlv2/

* FOSDEM 2026 [07] has started preparations and we hope to see the
official dates and the Call for Devrooms quite soon. Of course,
we plan on applying again this year.

[07] https://fosdem.org/

* India has developed their own CPU and Ada will be a first class
citizen in their tech stack! [08]

[08] https://forum.ada-lang.io/t/vikram-3201-india-s-custom-32-bit-processor-built-for-ada/3793

* @Irvise pointed that India, South America and China barely have any
representation in the wider Ada community and that they are growing
markets that could substantially benefit from it. We may need to
have a push or showcase that targets those communities :slight_smile:

* NVIDIA:

+ They published their work on ISO-26262 certification [09] and
published a guide on how they did it!

+ They certified to ASIL-D their DriveOS, a 7 million OS written in
SPARK. [10]

+ Their White Hat Hackers showcased in Defcon their work on securing
over a billion RISC-V chips with the use of Ada [11]! (related
article [12]). Slides are here [13] and the live-recording [14].
I sadly cannot find the specific video of their talk, but I know
it exists. Please, feel free to link it here.

[09] https://forum.ada-lang.io/t/nvidia-publishes-spark-process-to-meet-iso-26262-requirements/2114
[10] https://forum.ada-lang.io/t/article-nvidia-drives-ada-and-spark-into-driverless-cars/2117
[11] https://defcon.org/html/defcon-33/dc-33-speakers.html#content_60337
[12] https://riscv.org/blog/2025/02/how-nvidia-shipped-one-billion-risc-v-cores-in-2024/
[13] https://media.defcon.org/DEF%20CON%2033/DEF%20CON%2033%20presentations/Adam%20Zabrocki%20Marko%20Mitic%20-%20How%20to%20secure%20unique%20ecosystem%20shipping%201%20billion%2B%20cores.pdf
[14] https://www.youtube.com/live/MEPF0dEAjPg

* Ada keeps on climbing in popularity rankings [15]! We need to keep
on sharing the word, teaching and showcasing our passion for it!

[15] https://forum.ada-lang.io/t/ada-on-the-pypl-index/425/11

* REMINDER: The Ada Crate of the Year Award is still ongoing [16].
It is until the end of the year, but please, don't leave your projects
till the very end!

[16] https://forum.ada-lang.io/t/2025-crate-of-the-year-awards/2203

* @godunko [17] did a PR to get GNAT-LLVM ready for Alire [18] quite
a while ago! That is great news, lets see if we can get it accepted!

[17] https://forum.ada-lang.io/u/godunko
[18] https://github.com/alire-project/GNAT-FSF-builds/pull/83

* Reminder that @JeremyGrosser [19], @kevlar700 [20] and @Irvise are now
moderators [21], so now it is not only Jeremy dealing with the spam.
If you have any questions, issues, etc; feel free to contact us or
create a forum thread with the category of "site feedback".

[19] https://forum.ada-lang.io/u/jeremygrosser
[20] https://forum.ada-lang.io/u/kevlar700
[21] https://forum.ada-lang.io/

* There are several job postings by Raytheon. [22]

[22] https://forum.ada-lang.io/t/several-ada-jobs-at-raytheon/3798

* The Ada User Society [23] has improved its website and it will hold
the General Assembly on the 7th of October. If you are a member,
do not forget to attend!

+ @Irvise has started discussions with them about creating a fund to
provide prices, money or incentives for people to support and work
on relevant Ada programs and improve the wider Ada experience.
Expect more news in the future, but for the time being, this is
all I can share.

+ Luke shared a method for funding which was used for the Amiga.

[23] https://www.ada-user.org/
[24] https://will-templates.com/amigabounty/

* @mosteo [25] recently became a father and his work on Alire has been
paused for the time being. So no need to panic over less commits
being done there! And let this serve as a reminder that anybody can
contribute to Alire!

[25] https://forum.ada-lang.io/u/mosteo

EDIT: I forgot to link the video recording/livestream https://www.youtube.com/watch?v=qnir_hk1ZC4

Thank you all that attended! Best regards,
Fer
--- Synchronet 3.21a-Linux NewsLink 1.2