Full threadtechadv·Related is Dijkstra's "on the fact that the ocean has two sides": https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/E...View on HN