"a lock-free application won’t lock up even with thread scheduling decisions being made by your worst enemy" https://morestina.net/blog/749/exploring-lock-free-rust-2-atomics
miniblog.
Related Posts
Visual augmentation of source code editors: A systematic review https://arxiv.org/abs/1804.02074
A useful paper categorising all the different ways IDEs can show additional metadata alongside the code.
For example, they show this cute plugin (Clepsydra) that shows worst case runtime.
At worst, the mutability of Emacs promotes a spreadsheet level of s/w engineering. At best, it's a full-blown lisp machine with a fast CPU.

