#Agosto 8, 2021A introdução de abstrações adequadas é a nossa única ajuda mental para reduzir o apelo à enumeração, para organizar e dominar a complexidade. Edsger W. Dijkstraby heydito Imagem
#Julho 8, 2021Testes de programas podem ser uma maneira muito eficaz para demonstrar a presença de erros, mas é irremediavelmente insuficiente para mostrar a sua ausência. Edsger W. Dijkstraby heydito Imagem
#Junho 13, 2021O esforço de utilizar as máquinas para emular o pensamento humano sempre me pareceu bastante estúpido. Preferiria usá-las para emular algo melhor. Edsger W. Dijkstraby heydito Imagem