protocol_standard · 6 menciones
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
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
Un desarrollador ha creado "Ant", un pequeño motor JavaScript de tan solo 2MB, en un plazo de un mes. El proyecto, iniciado a principios de noviembre, buscaba desarrollar un motor JavaScript lo suficientemente ligero para ser integrado en programas C, evitando la necesidad de dependencias masivas co
Este artículo de Wren.wtf explora una optimización ingeniosa para la multiplicación de punto flotante de precisión simple en procesadores embebidos, un tema crucial para aplicaciones donde los recursos son limitados y el rendimiento es vital. La motivación surge de un trabajo reciente en una extens
La 'Calculadora de Intervalos' es una herramienta innovadora que va más allá de la aritmética tradicional de números reales. En esencia, permite realizar cálculos sobre *uniones de intervalos*, una técnica matemática que representa rangos de valores en lugar de valores únicos. Esto es particularment
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á
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
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,
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
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
FPSan es una nueva herramienta desarrollada por Yuen Hung Chan y Pawel Szczerbuk como un paso decompilación para el compilador Triton. Su propósito es verificar la equivalencia algebraica de programas escritos en Triton que involucran aritmética de punto flotante. El problema fundamental es que las
Eusebio Rufian-Zilbermann ha publicado ksharp, una implementación completa del lenguaje de programación K versión 3 basada en la plataforma Microsoft .NET. El proyecto, publicado bajo licencia MIT con Commons Clause, representa la culminación de seis meses de desarrollo intensivo y se lanza como ver
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
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
Este artículo explora el comportamiento de las funciones de redondeo de punto flotante floor, ceil, trunc y round, centrándose en un caso específico: floor(-1.175493930432748e-38), un número desnormalizado. Explica que los desnormales (subnormales) pueden ser preservados o eliminados a cero dependie
Este artículo explora las técnicas para manejar eficientemente los errores de coma flotante en C++. Se abordan métodos como la inspección directa de resultados (verificación de infinito y NaN), el uso de bits de 'sticky' en el registro de estado de coma flotante y la habilitación de 'traps' de hardw
