Post #1674557
2026-04-25 21:58 UTC
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.
Replies (1)
-
@nico@mastodon.puffer.fish 2026-04-25 22:02
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.