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
