AdaCore just uploaded the recording of one of their webinars. I really liked it. It is a great summary and showcase of SPARK with real world examples and problems. Also, for those that where in AEiC 2025, this is closely related to Fabien’s presentation (which I hope to edit and publish… soon?).
Anyway, here is the YT link for the video:
And if someone has a good reputation/points/fucking_whatever_kids_have_nowadays in HackerNews and similar avenues, feel free to do so! A bunch of very interesting information is shared, specially regarding real world companies using Ada/SPARK for real world projects!
Best regards,
Fer