Herbie: Aumentando a Precisão de Ponto Flutuante
2025-08-07
O projeto Herbie visa melhorar a precisão dos cálculos de ponto flutuante. Ao longo de vários anos, o Herbie lançou várias versões, melhorando continuamente os algoritmos, aumentando a velocidade e adicionando recursos como uma interface de navegador e plugins para linguagens como Rust e Haskell. Recentemente, o Herbie obteve melhorias significativas de precisão no conjunto de testes de referência Hamming e adicionou uma nova API de plataforma para destinos de compilação plugáveis. A equipe do Herbie participa ativamente de pesquisas acadêmicas, publica artigos e realiza inúmeras palestras, compartilhando suas descobertas de pesquisa e planos futuros.
Desenvolvimento
projeto Herbie