WorBlux

but aside from some power efficiency gains, can’t I get most of the Mill’s advantages by simply using WebAssembly + WASI?

WASI looks like it trying to be a capability based design. Which is certainly possible on existing hardware, it’s just always been slow. The Mill ISA and security model should adapt quite well to WASI, and you might even have a micro kernel with paravitualized drivers that can run the API directly. Great effeciency, and scalability.

>@ Ivan “I anticipate the most trouble with representing in-flight values. Because Mill explicitly separates instruction initiation from instruction retire, a sim must model instructions that are in-flight in the pipeline…”

Right, that does sound tricky. But does the end user need a high-performace Sim/emulator for every conASM? If you just want to port genASM code, then building a QUEMU module as a distinct target for the specializer makes sense to me.