Explorando desenvolvimento AI-first, guardrails de código e a arquitetura da descartabilidade.
O Cleanroom engineering da IBM alcançou taxas de defeito 100 vezes melhores que a média da indústria, depois desapareceu na obscuridade. O desaparecimento não teve nada a ver com se funcionava.
O Cleanroom software engineering process da IBM entregou 0,1 defeitos por mil linhas de código. A média da indústria na época estava entre 10 e 50. O processo…
Cleanroom software engineering prometeu incrementos zero-defect através de mathematical verification em vez de debugging. Analisamos os dados reais do projeto da IBM para ver se a afirmação se sustentou.
A média da indústria de software na década de 1980 era de 30 a 60 defeitos por mil linhas de código. A equipe Cleanroom da IBM entregou um incremento de…
As Box Structures obrigam você a definir o que um module faz, o que ele lembra e como funciona como três camadas separadas e verificáveis. Veja como o Cleanroom as usa para eliminar o debugging.
Você escreve o código primeiro, depois os testes, e descobre que o código estava errado. Esse é o loop padrão. É por isso que o debugging consome metade da…
O processo de engenharia Cleanroom da IBM alcancou taxas de defeito 100 vezes melhores que a media da industria ao prevenir bugs em vez de encontra-los. Veja como funcionava, porque quase ninguem o usa e o que voce pode aproveitar dele hoje.
A IBM entregou um sistema de controle de satelite da NASA com 0,1 defeitos por mil linhas de codigo. A media da industria na epoca ficava entre 10 e 50. Eles…
A programação literária promete uma única fonte de verdade, mas os passos manuais de weave e tangle partem a pipeline CI/CD. Eis como automatizar a extração e geração de documentação para que os teus ficheiros Markdown permaneçam canónicos.
Se a tua pipeline de build não pode ser executada sem abrires um terminal e escreveres , não tens um programa literário. Tens um diário com um compiler…
Passei 30 dias escrevendo explicações de design antes de pedir código a um LLM. Os resultados mudaram como penso sobre rubber-ducking.
A maioria dos desenvolvedores usa LLMs ao contrário. Descrevemos o que queremos em cinco palavras, recebemos 200 linhas de código e passamos a próxima hora…
A programação literária mantém a documentação, os testes e a implementação sincronizados ao tornar um ficheiro Markdown a única fonte de verdade. Eis como implementá-la em trinta linhas de Python.
A sua documentação, testes e código são três ficheiros a contar a mesma história mal. Atualiza a assinatura da função no source. Esqueces o exemplo do README.…
Conversas com LLM contêm intenção, alternativas rejeitadas e código funcional. É exatamente isso que a documentação deveria ser. Veja como transformar um chat efêmero em documentos duráveis e pesquisáveis sem perder a narrativa.
Você passou quarenta e cinco minutos com Claude projetando um circuito de retry. Você explicou os modos de falha, rejeitou o backoff exponencial porque esconde…
Todo compiler vê seu código como uma árvore, mas seu editor te deixa editar texto bruto. É assim que a edição estruturada realmente se parece, por que não dominou e como aproveitar seus benefícios sem trocar de ferramentas.
Toda linguagem de programação tem uma gramática formal. Seu compiler a lê, constrói uma parse tree e rejeita qualquer coisa que não se encaixe. Seu editor…
A programação literária prometia que o código deveria ser escrito primeiro para humanos e depois para máquinas. Quatro décadas depois, quase ninguém escreve assim. Veja por que a ideia mais elegante da documentação de software não conseguiu mudar a forma como trabalhamos.
Em 1984, Donald Knuth publicou um artigo que propunha uma inversão radical. Programas não deveriam ser escritos para compilers e anotados para humanos.…