SELinux is beyond saving at this point https://utcc.utoronto.ca/~cks/space/blog/linux/SELinuxBeyondSaving (it's widely used on Android but little beyond that)
miniblog.
Related Posts
Excellent discussion of how REPL programming enables you to write code incrementally, going beyond what you can do with e.g. ipython or ghci.
Beyond structural editing: semantic editing! https://reasonablypolymorphic.com/blog/towards-tactics/index.html
(Uses Coq-style tactics.)
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.