Me:

I want all my code to be able to do anything to anything on my computer, no questions asked.

Also me:

I want to take code from anywhere and run it just like my code so it can do anything to anything.

Also me:

I want the code I run from anywhere that can do anything to anything to NOT actually do anything to anything UNLESS I want it to do that.

Also me:

I don't know precisely what 'want' means and I don't want to have to check every piece of code myself to see if I want it to do stuff

@natecull so...

You want an operating system, and a method of dealing with other operating systems that have different assumptions.

With proofs attached. That are composable and amenable to inference.

I'm honestly sure we'll get there someday but it will be a long fight.

@icefox well, I'd settle for 'just one language with this property'

problem is I don't quite know what that property *is*

@natecull the problem is abstraction.

Operating systems are an abstraction of the hardware. It, on *some* level, doesn't matter whether you are running on x86_64 with "PC" hardware or on PPC with "Mac" hardware or on ARM with "cell phone" hardware

But when you go deep enough it *really* matters

And those abstractions have costs and hunams want to minimize those costs so pure abstractions are very problematic.

@natecull And when you go deep enough in those abstractions you come down to something like a Turing machine and so the math all works but the intermediate layers are all really problematic so you can't pretend they don't exist. So you get engineers searching for the least problematic perspective.

You know all this, cat. I'm just rambling.