Reminds me of E. W. Dijkstra's digitized hand-written manuscripts:

https://www.cs.utexas.edu/~EWD/index13xx.html