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 icon1A 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…
Alain Faure·Aug 6A Mathematical Language Before Its Applications“The author proposes a possible mathematical language; the structure, if real, precedes its representation and manifestation.”
handman·Jul 7Dynamic Future-Claim Certification: A Simple Guide to Replayable Future Claims and the Future Claim…Modern software often makes claims about the future.
AI Assurance , Inc.·Jun 20ADIC-Related Zenodo Preprint Indexed as OA Metadata in UiTM Library’s PERMATA SearchA Zenodo preprint by Hidemitsu Maeki of GhostDrift Mathematical Institute, titled “Unified Proof of the Collatz Conjecture III: Finite-Core…
Hafiz Abdul Quddus·Jun 15Why GenAI Needs Formal Methods?Generative AI is powerful and fast. But when it helps write code, make decisions, or automate services, “it usually works” is not enough.
