4 ms·

2017 CUFP Keynote – Are We There Yet?

• KirinDave 9y ago
  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.
• lotsoflumens 9y ago
  Still relevant but apparently unknown to the trendy conference speakers and FP ranters: http://www.cs.toronto.edu/~hehner/aPToP/ http://www.cs.toronto.edu/~hehner/aPToP/
• loup-vaillant 9y ago
  > 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!
• mynegation 9y ago
  > perhaps only because we haven’t had a sufficiently dramatic incident of this sort yet. How about Therac 25 and Ariane 5?