Dijkstra: Reasoning About Programs (1990) [video] (opens in new tab)

(youtube.com)

70 pointsseycombi8y ago3 comments

3 comments

3 comments · 2 top-level

zengid8y ago· 1 in thread

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

jonsen8y ago

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

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

sabalaba8y 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.

j / k navigate · click thread line to collapse