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/Bm0f0dyte8s
#memorysafety #ada #adalang #software #engineering
