Notes concerning “Laziness”
Iterative string formatting
2013-05-17 (10 minutes)
Simple dependencies in software
2014-06-05 (9 minutes)
Separating implementation, optimization, and proofs
2019-06-26 (updated 2019-07-22) (43 minutes)