Investigadores han desarrollado "Herbie", una nueva herramienta para mejorar la precisión y velocidad de los cálculos de punto flotante, un área propensa a errores en la programación. Herbie reescribe expresiones de punto flotante para minimizar estas imprecisiones, identificando y corrigiendo errores que pueden ser difíciles de detectar manualmente. La herramienta funciona a través de una interfaz web y ofrece múltiples alternativas para evaluar una expresión, mostrando estadísticas detalladas sobre la precisión y velocidad de cada una. Un ejemplo práctico de su uso se ilustra con un error encontrado en la biblioteca matemática JavaScript math.js, específicamente relacionado con el cálculo de raíces cuadradas complejas. Herbie no solo mejora la precisión, a veces hasta en un 99.7%, sino que también puede encontrar alternativas más rápidas, como una que es 1.9 veces más eficiente. Los usuarios pueden integrar Herbie en su flujo de trabajo de desarrollo o utilizarlo para depurar código existente, logrando así una mayor fiabilidad en los cálculos matemáticos.
