AdaCore

2 videos from this channel that Hacker News commenters point to. Find the channel on YouTube