> He never seems to acknowledge that technologies like virtualization actually work to create independent environments.
This is because they don't.
Environments can be independent in the information-security sense (what you and others confuse with full conceptual independence) without being independent in the propagation-of-brokenness sense. Easy example: your power supply.
Give me, say, a Common Lisp (rather low bar!) environment which is entirely uninfluenced by the brokenness of x86. [1] Then we'll talk about independence of layers.
When the last idiot talking about static languages being "inherently efficient" has vanished, then we'll talk about independence of layers.
--
[1] For instance: the fact that you need threads at all. On a dataflow architecture, threads and their attendant idiocies - locking, race conditions, etc. are forgotten like a bad dream.
Comments
> He never seems to acknowledge that technologies like virtualization actually work to create independent environments.
This is because they don't.
Environments can be independent in the information-security sense (what you and others confuse with full conceptual independence) without being independent in the propagation-of-brokenness sense. Easy example: your power supply.
Give me, say, a Common Lisp (rather low bar!) environment which is entirely uninfluenced by the brokenness of x86. [1] Then we'll talk about independence of layers.
When the last idiot talking about static languages being "inherently efficient" has vanished, then we'll talk about independence of layers.
--
[1] For instance: the fact that you need threads at all. On a dataflow architecture, threads and their attendant idiocies - locking, race conditions, etc. are forgotten like a bad dream.
Stop calling people idiots.
Stop telling people to stop calling idiots idiots.