I’m on of those people who enjoy tech-talks on video, so when I found out that AdaCore have a channel @ YouTube, it made my day.
Yes, I’m that easy to please. :o)
It’s a fairly busy channel, with regular updates. Some of the subjects dealt with are:
And of course lots more. Be sure to check it out!