L'ottimismo nelle pratiche automatizzate dei computer? Si chiama bug