Fri Feb 1 12:23:49 EST 2019

Large systems and consistency

It is very difficult to build large software systems that handle
"human affairs", becaue they need to be consitent.  Typically, it is
necessary to have a human handle exceptional cases that are not
encoded well in the system.  Such exceptional cases happen when two
large systems are connected together, creating inconsistent corner