PinnedAlysson Guimarães·Oct 25Engenharia de Software AgênticaPor que a transição de ferramentas de autocomplete para Agent-as-a-Service não é apenas uma melhoria de produtividade, mas a reestruturação…
PinnedAlysson Guimarães·Oct 25Tipos são Teoremas, Programas são ProvasTL;DR: Testes baseados em exemplos apenas confirmam que o seu código funciona para os cenários que você conseguiu imaginar. Para construir…
Alysson Guimarães·Oct 29Design de Uma Arquitetura Multi-Agente Guiada por Sistemas de Tipos AvançadosTL;DR: Pedir para um único LLM gerar código e testar a própria lógica é a receita para alucinações silenciosas. Ao dividir o ciclo de…
Alysson Guimarães·Oct 29Como Refinement Types e Design by Contract Trazem a Verificação Formal para o Mundo RealTL;DR: Você não precisa reescrever sua base de código em Lean 4 ou Coq para colher os benefícios da verificação formal. Combinando Design…
Alysson Guimarães·Sep 18Extraindo o máximo de performance do PythonHá algumas semanas, conheci e comecei a ler sobre High Performance Computing (HPC) ou Computação de Alta Performance. No seu sentido…
Alysson Guimarães·Jul 8Programação Orientada a DadosA Programação Orientada a Dados, do inglês Data-Oriented Programming (DOP) foi introduzida por Yehonathan Sharvit no seu livro homônimo…
Alysson Guimarães·Jun 28, 2024Natural Language Processing (NLP) Com Classificação e Espaços VetoriaisNeste artigo, abordamos os tópicos do pipeline de tasks de NLP, como Pré-processamento, feature engi. e treinamento e avaliação de modelos
Alysson Guimarães·Feb 20, 2024Deep Neural Network com PytorchPyTorch é uma biblioteca de código aberto escrita em Python e C++ para computação numérica acelerada por GPU, principalmente usada para…A response icon1A response icon1
