The epistemology of software quality – Increment: Teams
Studies show that human factors most influence the quality of our work. So why do we put so much stake in technical solutions?| increment.com
There are some pretty strong statements about types floating around out there. The claims range from the oft-repeated phrase that when you get the types to line up, everything just works, to “not relying on type safety is unethical (if you have an SLA)”1, "It boils down to cost vs benefit, actual studies, and mathematical axioms, not aesthetics or feelings", and I think programmers who doubt that type systems help are basically the tech equivalent of an anti-vaxxer. The first and last of ...| danluu.com
Studies show that human factors most influence the quality of our work. So why do we put so much stake in technical solutions?| increment.com
NOTE: There is a newer version of this talk. Official Description: There are many things in software we believe are true but very little we know. Maybe testing reduces bugs, or maybe it’s just superstition. If we want to improve our craft, we need a way to distinguish fact from fallacy. We need to look for evidence, placing our trust in the hard data over our opinions. Empirical Software Engineering is the study of what actually works in programming.| Hillel Wayne
