A bit of a nitpick (but I guess that&#x27;s the HN spirit)? Just different levels of abstraction. The dream would be to be able to put all these levels of abstractions together, and have good mappings between them. Basically, I think you&#x27;re painting a false dichotomy.<p>Just like the execution of a program can be described in Machine Code, 1&#x27;s and 0&#x27;s or even as electricity, or any other layer of abstraction.