Don't you find it infuriating when lawyers and accountants fail to clarify how their respective domains work, making them unavoidable intermediaries of systems that in theory you should be able to navigate by yourself?
Whenever we fail to make simple things easy in software engineering, and webdev especially, we are failing society in the exact same way.
Schlagwort: Komplexität
Code is (as annoying as) Law.
From: blob.
We are normalizing incomprehensibility.
Obvious deficiencies.
There are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies. The first method is far more difficult.
Very occasionally.
E is an equational theorem prover. That means it is a program that you can stuff a mathematical specification (in many-sorted first-order logic with equality) and a hypothesisconjecture into, and which will then run forever, using up all of your machines resources. Very occasionally it will find a proof for the conjecture and tell you so ;-).
Cut down the noise.
Identifying complexity is hard.