Hacker News new | ask | show | jobs
by sitkack 16 days ago
A strong enough type system can catch permission problems.
1 comments

The solution there would be a capabilities based OS, however adoption hasn't been great on that regard.
I'd love to see CHERI (for the room) and Wasm take off, no time like the present.

https://en.wikipedia.org/wiki/Capability_Hardware_Enhanced_R...

https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/