4 ms·

Maybe we should code systems with zero bugs. /s

• wyager 10y ago
  Well, yeah, that's not a bad idea. It was kind of Dijkstra's whole thing. The problem is that, at current levels of technology, it's economically better to write cheap buggy software than more expensive bug-free software for almost all consumer applications. We are gradually pushing the optimality curve towards the provably bug-free end of the spectrum, but it will take time.
  • recursive 10y ago
    I thought we were pushing the optimality curve toward ever greater volumes of ever buggier code.