I really enjoyed Jules May's
If considered harmful: How to eradicate 95% of all your bugs in one simple step - although I thought it might be a joke, it's not, and I got a lot from it, the first half particularly, delving into Dijkstra, SP and why goto was considered harmful, space vs time, assert() etc. And yes, how he eradicated 95% of his company's bugs.
https://www.youtube.com/watch?v=z43bmaMwagI