All,
Apologies, but Daniel, Olivier and I will not be available to host the Office Hours this week. We are at a corporate event all week and in planes, trains and automobiles back from that during this timeslot.
We have a bunch of very exciting topics to talk about, just no available cycles this week. The next Ada SPARK Office Hours will be 2026-10-23. Topics that I would very much like to propose:
- More AI benchmarking results, including open weight models
- GNAT Academic Program
- 15 projects, 35 teams, 138 students!
- How can we help teach more Ada SPARK
- Alire
- Ada Drivers Library (ADL)
- GNAT Foundry
- Flare
- Any other topics people want to suggest
Regards,
Mar