2017 CUFP Keynote – Are We There Yet?

> We’ve already figured out a lot about the structure and composition of good software

I can't satisfy myself with such a teaser. What have we figured out? Pointers, please!

Still relevant but apparently unknown to the trendy conference speakers and FP ranters:

http://www.cs.toronto.edu/~hehner/aPToP/

We could start holding companies responsible for their products as opposed to suggesting they are blameless even in the face of shoddy software.

Right? That'd certainly add economic incentive to quality.

> perhaps only because we haven’t had a sufficiently dramatic incident of this sort yet.

How about Therac 25 and Ariane 5?