Ideas from books, articles & podcasts.
The type of complexity we are discussing in this paper is that which makes large systems hard to understand. It is this that causes us to expend huge resources in creating and maintaining such systems.
Testing: This is attempting to understand a system from the outside — as a “black box”.
Informal Reasoning: This is attempting to understand the system by examining it from the inside.
In the absence of language-enforced guarantees (i.e. restrictions on the power of the language) mistakes (and abuses) will happen.
The more powerful a language (i.e. the more that is possible within the language), the harder it is to understand systems constructed in it.
created 11 ideas
❤️ Brainstash Inc.