Hacker News new | ask | show | jobs
Dijkstra: Reasoning About Programs (1990) [video] (youtube.com)
70 points by seycombi 2958 days ago
2 comments
zengid 2957 days ago
I'm always excited when I realize that my one semester of Discrete Math allows me to understand lectures like this!
link
jonsen 2957 days ago
If you are tempted to dig further into these techniques there's this book:

https://www.amazon.com/Science-Programming-Monographs-Comput...

link
sabalaba 2957 days ago
Cool side note, introducing Prof. Dijkstra was a younger Eric Schmidt during his tenure as a software engineering manager at Sun. I wonder where all of the other lectures are? Somebody should repost them.
link