Alysson Guimarães·6d agoDesign 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…
The Blockhouse Technology Ltd·Oct 28Catching Zero-Knowledge Bugs Before They ShipHow NAVe formally verifies Noir programs and catches the underconstrained bugs that testing can’t seeA response icon1
Mikel Iromaka·Oct 27A Programmer’s Guide to Formal Logic — Part 1This is the first in a three-part introduction to formal logic for programmers. Whether you’re just getting into programming, studying…
Alysson 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…
