Herbie : Amélioration de la précision des nombres à virgule flottante
2025-08-07
Le projet Herbie vise à améliorer la précision des calculs en virgule flottante. Au cours de plusieurs années, Herbie a publié de nombreuses versions, améliorant continuellement les algorithmes, augmentant la vitesse et ajoutant des fonctionnalités telles qu'une interface de navigateur et des plugins pour des langages comme Rust et Haskell. Récemment, Herbie a réalisé des améliorations significatives de la précision sur la suite de tests de référence Hamming et a ajouté une nouvelle API de plateforme pour les cibles de compilation branchables. L'équipe Herbie participe activement à la recherche académique, publie des articles et donne de nombreuses conférences, partageant ses résultats de recherche et ses projets futurs.
Développement
projet Herbie