Noite a mergulhar novamente nos fluxos de trabalho de desenvolvimento—mais uma quinta-feira que se estende até sexta-feira. Ao revisar vários sistemas de prova, tenho testado algumas ferramentas mais recentes que tornam o ciclo de desenvolvimento mais suave.

A interface de linha de comando jstprove é realmente impressionante pela acessibilidade que oferece. Forneça-lhe um modelo ONNX, e a ferramenta trata do processo de quantização automaticamente, agilizando o fluxo de geração de provas. É o tipo de utilidade que remove obstáculos do processo de build sem simplificar demais as coisas—engenharia sólida em todos os aspectos.

Esses tipos de melhorias na experiência do desenvolvedor importam mais do que as pessoas percebem, especialmente ao trabalhar com sistemas de prova complexos onde cada otimização faz diferença.