Deep dive on the Fuchsia kernel, ots architecture, and how it is hardened against exploits:
miniblog.
Related Posts
I've heard of quines, but today I learned about radiation-hardened quines! https://en.wikipedia.org/wiki/Quine_(computing)#Radiation-hardened
These are quines where *any* single character can be removed and they still function. Fun concept, seems easier in a language with eval().
Apparently there's a separate linux kernel flavour (beyond the usual vanilla, LTS, hardened) just for personal computers! https://liquorix.net/
Looks like it's developed on GitHub and tuned for interactive usage.
Hardening packages on NixOS: https://github.com/NixOS/nixpkgs/issues/7220 (building on the ideas of Hardened Gentoo and equivalents)