Computers can be understood https://blog.nelhage.com/post/computers-can-be-understood/
Computers can be understood
Computers and computer systems are build up from deterministic, comprehensible, building blocks. Their operations and behaviors can be understood and reasoned about. I relate my personal beliefs and mindset on this point, and explore some manifestations and ramifications of this philosophy.