Evaluation of the features, bugs, and other traits of networks, browsers, servers, frameworks, and libraries via equational reasoning via reproducible evidence and the scientific method applied to technology. Some bugs may not be reproducable, like simple stack overflows or hardware-specific bugs. However, this is a qualitative analysis of software. Hardware is another show.