Can Lehmann on Nostr: This ties in with the idea that a compiler is a thing which lowers between ...

This ties in with the idea that a compiler is a thing which lowers between abstraction levels. Abstraction levels are "closed" in some sense, i.e. one does not need to know how an abstraction level is implemented physically to execute a program. This also implies that from this perspective abstraction levels are not ordered (unlike we might commonly think, C is not really higher/lower than assembly in this view, as you could lower in both directions)