Embed Notice

maybe it’d be better to describe code as a behaviour specification to folks that don’t work on tools versus as programs on abstract machines or whatever we usually say

the phrasing “the program the user wrote” versus “the program the compiler produces” being different is kind of nonsensical anyway because like, the “program the user wrote” lives in a different plane of existence than the program they physically can realize on any machine

it’s like, some flatland shit, really