>I think abstraction is good in theory, but at the end of the day the implementation is what is happening. Abstraction is absolutely necessary in practice. It'

>I think abstraction is good in theory, but at the end of the day the implementation is what is happening. Abstraction is absolutely necessary in practice. It's the language we use to tell a system what we want it to achieve. It's the only way for us to know what the system can do without starting a science project. It's the only way for the implementer to know what to implement. And it's the only way to check whether a system actually does what it's supposed to do. Of course, knowing how a system actually works is always better than not knowing it. Every abstraction is leaky as so many side-channel attacks clearly demonstrate. But that doesn't mean the abstraction is some theoretical pie in the sky that we can live without.