I keep going back to Prof. Dijkstra notes over and over again, there's something hidden in there.

[nico@mastodon.puffer.fish]

I keep going back to Prof. Dijkstra notes over and over again, there's something hidden in there. I don't know what it is, but it's all about this notion that software should not have to be maintained. It is so much real and s much wrong at the same time. I just can't imagine it.

[nico@mastodon.puffer.fish]

Because the naive interpretation of his notes would simply be that software is a sound and total mathematical object specifying a computation, and therefore side-effects are controlled or simply does not exist (side-effects are the things requiring maintenance...).
But there's no world where Prof. Dijkstra would have reduced his vision to this, he was too smart for such a reduction. I'm pretty sure there's something hidden. A gem.