3 ms·
This is super enjoyable thank you ^_^
by spraak 10y ago
This is super enjoyable thank you ^_^
- andrewflnr 10y agoAnd compelling. Can you really make that work securely in the kernel?
- amelius 10y agoIt's a nice idea, but it goes against layered security [1]. Perhaps computer-assisted proofs can make that a non-issue. In any case, I would very much like to see an implementation of this. [1] https://en.wikipedia.org/wiki/Layered_security https://en.wikipedia.org/wiki/Layered_security