miniblog.

Adding LLVM control flow integrity to make exploits harder is coming to Rust: https://rcvalle.com/docs/rust-cfi-design-doc.pdf The primary use case is mixing C/C++ with Rust: you have weaker memory safety guarantees and hardening is still necessary. You don't want a partial Rust port to reduce security!

Hyper-G is (was?) an interesting hypertext design, where hyperlinks were stored in a separate database to ensure integrity and allow visualisations with trivial backlink calculations: https://www.ickn.org/elements/hyper/cyb20.htm