I’ve been working through the “Software Foundations” material that’s been mentioned around here; and also briefly looked at but haven’t yet worked through “Concrete Semantics.” I do like watching / listening to lectures too, and I came across a bunch for Software Foundations (also some from Xavier Leroy on compiler certification – <a href=“https://www.youtube.com/playlist?list=PLGCr8P_YncjUX7yHchN7KSS83KXMHmC6e” rel=“ugc”>https://www.youtube.com/playlist?list=PLGCr8P_YncjUX7yHchN7KSS83KXMHmC6e</a>). I hadn’t seen this series on Concrete Semantics be mentioned (I had to do a little bit of diving to find it), so thought I’d post. You’ll likely want to click ‘Oldest first’ at the top if you want to check out the lectures in order. Comments