Herbie: Aumentando la Precisión de Punto Flotante

El proyecto Herbie tiene como objetivo mejorar la precisión de los cálculos de punto flotante. A lo largo de varios años, Herbie ha lanzado varias versiones, mejorando continuamente los algoritmos, aumentando la velocidad y añadiendo funciones como una interfaz de navegador y complementos para lenguajes como Rust y Haskell. Recientemente, Herbie ha logrado mejoras significativas en la precisión en el conjunto de pruebas de referencia de Hamming y ha añadido una nueva API de plataforma para destinos de compilación enchufa-bles. El equipo de Herbie participa activamente en la investigación académica, publicando artículos y dando numerosas charlas, compartiendo sus hallazgos de investigación y planes futuros.