[nwah1]

Definitely agree that we should switch to object-capability systems.

Also, both hardware and software could be hardened through formal verification. Usually the focus is software, but given the recently exposed flaws, hardware verification seems sorely needed.

Standardizing on ECC memory and encrypted memory would help. Looks like encrypted memory is happening on all new x86 business-focused processors, but ECC is still far too uncommon which means RowHammer is still an issue.

And greatly simplified instruction sets would help, but that is probably the least likely to happen.

[throwaway_pdp09]

> could be hardened through formal verification

Yeah... but that only works by you verifying your assumptions. If your assumptions are wrong, you remain screwed. I'm all for it but it's not perfection.