Comment Comment by donut Reminds me of E. W. Dijkstra's digitized hand-written manuscripts:https://www.cs.utexas.edu/~EWD/index13xx.html parent donut 3 months ago
https://www.cs.utexas.edu/~EWD/index13xx.html