Post #1674536
2026-04-25 22:06 UTC
from https://www.cs.utexas.edu/~EWD/transcriptions/EWD10xx/EWD1036.html
Replies (1)
-
@nico@mastodon.puffer.fish 2026-04-25 22:10
Or maybe he does mean it? Programs should be written as description of mathematical objects (denotational semantics of functional programming language) and verified (deductive reasoning from axiomatic properties). And "software engineers" would mostly be tasked with maintaining the thing abstraction layer that derives the concrete symbol manipulator (the computer) from the program, a.k.a. a runtime?