The ultimate virtual machine It seems to me that one way computer science could be divided up, is into three domains: 


What is efficient for humans to represent and comprehend
What is efficient for computers to represent and process
An idealized form of how computation/problems are defined that is extremely succinct, specific, and not tied to human or computer limitations


What I am most interested in, is this third domain. I believe if a lot of effort is invested there, it will drive the advancement of the other two domains.

Towards that end, I am interested in the development of an "ultimate" virtual machine. Something with a gratuitously minimal and impoverished grammar, and an extremely advanced type system.

I am wondering if anything like this exists. I am also trying to develop something like this, with the idea that it doesn't.
I have not heard of any computational problem that cannot be solved by an Universal Turing Machine, and UTM itself fits on a single page:

https://rosettacode.org/wiki/Universal_Turing_machine

In accordance with your plan, it totally disregards human and hardware limitations, by using up both time and space extravagantly. If you disregard some limitations, the quality of an answer quickly degrades to the point of being irrelevant.

IMHO the art of computing is in seeing the equivalence classes and transforming some initial solution to re-balance resources for the specific prioritized objectives. In the absence of priorities and limitations, there is no art. This quest is provably inexhaustible and will never be possible to automate.

BTW, I am also working on a new computing platform (a CPU and a programming language) that is an order-of-magnitude better in one aspect (speed, low transistor count, low energy consumption, easy comprehensibility, short programs), while matching existing solutions on the other aspects. It is a synergy based on closer matching the actual problem and balancing the workload among transistors, microcode and high-level-code. I see a big unused slack in the current technologies, and the gains can be spent on the mentioned objectives.