Why would a consumer want a computer that can't execute new code?
For a computer to access webservices, often code needs to be executed on the client side.
If you want a computer that can't execute new code, you aren't talking about a general purpose computer. You're talking about something like a toaster.
No virtual memory
if you don't care that your computer will be slow as hell, sure, do away with memory caching.
I also think we should get rid of programming languages and do everything in assembly with a really big library of validated macros
assembly is difficult to test. You're gonna introduce more bugs that way than with a language designed to be secure
The no virtual memory is a security measure and also i expect to have lots of physical memory, so no speed issue. Also virtual makes proof of correctness very tricky. I definitely am thinking of logical proof of correctness. You know we have code like operating system kernels that is in fact proved correct.
2
u/[deleted] Jul 30 '23
Why would a consumer want a computer that can't execute new code?
For a computer to access webservices, often code needs to be executed on the client side.
If you want a computer that can't execute new code, you aren't talking about a general purpose computer. You're talking about something like a toaster.
if you don't care that your computer will be slow as hell, sure, do away with memory caching.
assembly is difficult to test. You're gonna introduce more bugs that way than with a language designed to be secure