Computers can be understoodExplains a mindset to understand systems by looking under the layers of abstraction.
Systems that defy detailed understanding: Follow-up to the above, listing some types of systems where it’s either impossible or just not worth it to understand from first-principles how the system works. Advocates using an empirical approach to observing how such systems work instead.
https://mort.coffee/home/clang-compiler-hacking/