Beyond memory safety with the Ada SPARK programming language

Ada Meetup 2024 April

This is an Ada and SPARK programming language podcast. If you prefer video or would like a breakdown of the discussed topics then please see the YouTube description. https://www.youtube.com/live/BhfAQY8N-UQ #memorysafety #ada​ #adalang​ #software #engineering

"Ada's Past, Present, and Future" by Robert Dewar.

The late Robert Dewar gave this talk at the Massachusetts Institute of Technology in the 90s. Despite its age, it is still relevant and entertaining today, especially with the recent focus on memory safety and increasing security concerns. Robert Dewar was one of the creators of GNAT, a free software compiler for Ada that is part of the GNU Compiler Collection (GCC). In 2024, Gnat is the most widely used open-source Ada 2022 compiler.

Ada Meetup 2024 March

This is an Ada and SPARK programming language podcast. If you prefer video or would like a breakdown of the discussed topics then please see the YouTube description. https://youtu.be/x_p5qYqxGL8 #memorysafety #ada​ #adalang​ #software #engineering

Ada Meetup 2023 December

This is an Ada and SPARK programming language podcast. If you prefer video or would like a break down of the discussed topics then please see the youtube description. https://www.youtube.com/live/6OW93ukTXtg #memorysafety #ada​ #adalang​ #software #engineering

Ada Meetup 2023 October

This is an Ada and SPARK programming language podcast. If you prefer video or would like a break down of the discussed topics then please see the youtube description. https://www.youtube.com/live/0Pnuy663gZM #memorysafety #ada​ #adalang​ #software #engineering