Post #1674530
2026-04-25 22:10 UTC
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?
Replies (1)
-
@nico@mastodon.puffer.fish 2026-04-25 22:15
(out of thinking: I love the idea of enforcing linguistic changes from the programmer's vocabulary, especially the "no anthropomorphism" one, because a program don't think, nor does he see, or waits, etc)