That messiness cannot ever be "abstracted away", it can only be hidden.

How would you hide something without hiding it behind an abstraction?

You can't derive a better software stack from first principles.

What do you consider "first principles"?