Extensiones F, D y Q: el soporte de punto flotante en RISC-V

La arquitectura de conjunto de instrucciones RISC-V ha desarrollado un ecosistema completo de extensiones para soportar operaciones de punto flotante. El ISA base (RV32I o RV64I) no define instrucciones de punto flotante, por lo que RISC-V proporciona extensiones específicas. La extensión F ofrece s

Nuevo compresor 'fc' optimiza la compresión de datos de punto flotante

Se ha publicado 'fc' (floating-point compressor), una nueva herramienta de compresión sin pérdida diseñada específicamente para streams de números en formato IEEE-754 de 64 bits. Desarrollada por Praveen Vaddadi bajo licencia Apache 2.0, la versión actual es fc 1.56. El compresor divide la entrada e

Errores ocultos: la trampa de los números flotantes

Este artículo explora un problema sutil pero crítico en el cálculo geométrico: la falta de reproducibilidad de los resultados al usar números de punto flotante (floats). El autor, Gerardus Cremer, se enfrentó a una situación donde un test de superposición de polígonos funcionaba localmente pero fall

NaN: el número que guarda secretos

Este artículo explora un aspecto poco conocido de los números de punto flotante: el valor `NaN` (Not a Number). `NaN` no es simplemente un error; es un valor especial definido por el estándar IEEE 754-2008 para representar resultados indefinidos o no numéricos, como la raíz cuadrada de un número neg

Entiende los decimales: herramienta online desvela el punto flotante

Un desarrollador ha lanzado una nueva herramienta online, [float.exposed](https://float.exposed), para ayudar a los programadores a comprender mejor los números de punto flotante, un tema a menudo confuso a pesar de su uso generalizado. La herramienta, complementaria a un artículo en ciechanow.ski,

Tanh: Técnicas para una Aproximación Eficiente

Este artículo de Tom Schroeder explora diversas técnicas para aproximar la función tangente hiperbólica (tanh), una función crucial en áreas como redes neuronales y procesamiento de audio. La función tanh mapea cualquier número real a un rango entre -1 y 1, presentando una curva en forma de 'S' que

Comparar floats: ¿evitamos el problema o lo empeoramos?

Un artículo en lisyarus.github.io cuestiona la práctica común de evitar la comparación directa de números de punto flotante utilizando un valor 'epsilon' para la tolerancia. El autor, con más de 15 años de experiencia en programación que involucra geometría, gráficos y física, argumenta que esta prá

Aritmética de punto flotante: un desafío superado

Este artículo, escrito por Julia Desmazes, explora el complejo mundo de la aritmética de punto flotante, un tema que la autora confiesa haber encontrado profundamente desafiante. El objetivo es ir más allá de la simple utilización de números de punto flotante y comprender a fondo su representación i

Redes neuronales: Lean busca mayor seguridad

El auge de las redes neuronales en aplicaciones críticas, como sistemas de seguridad y control, ha revelado una brecha preocupante: la verificación y el análisis de estas redes a menudo se realizan *fuera* del entorno de programación donde se definen y ejecutan. Esta separación crea una desconexión