A couple of days ago, Per Vognsen said this document "rewired how I thought about programming forever" (https://twitter.com/pervognsen/status/151487299595675648

A couple of days ago, Per Vognsen said this document "rewired how I thought about programming forever" (https://twitter.com/pervognsen/status/1514872995956756484 https://twitter.com/pervognsen/status/1514872995956756484): > I did math at university, but everyone in the sciences took one year of CS and the first semester was Algorithms & Data Structures. The course itself was not that remarkable (Gerth Brodal taught it and did a good job) but there was an excellent pre-course prep week. 1/2 > Everyone was straight from high school and weren't expected to know set theory or discrete logic, so it was mainly a primer on stuff like that, which I didn't really need. But one part of the prep week was this amazing booklet, which changed how I thought: https://cs.au.dk/~gerth/dADS1-12/daimi-fn64.pdf https://cs.au.dk/~gerth/dADS1-12/daimi-fn64.pdf > That was my introduction to Floyd-Hoare logic but in a general setting that applies to both programs and non-deterministic state transition systems. Totally rewired how I thought about programming forever.