Hacker News new | comments | ask | show | jobs | submit login
Dijkstra: Reasoning About Programs (1990) [video] (youtube.com)
70 points by seycombi 9 months ago | hide | past | web | favorite | 3 comments

I'm always excited when I realize that my one semester of Discrete Math allows me to understand lectures like this!

If you are tempted to dig further into these techniques there's this book:


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.

Applications are open for YC Summer 2019

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact