protocol_standard · 10 menciones
La aritmética de punto flotante sigue un paradigma de seguridad radicalmente diferente al de la aritmética de enteros, lo que explica por qué los modelos de lenguaje de gran escala (LLM) suelen fallar al tratar con números reales. Mientras que en la programación con enteros, el objetivo es prevenir
El punteado de tipos, que consiste en interpretar la memoria como diferentes tipos entre lecturas y escrituras, es una técnica esencial para la serialización y el acceso a hardware, pero con riesgos críticos de comportamiento indefinido (UB). En C, las únicas formas seguras y definidas son el uso de
La cuantización es una técnica de compresión que reduce el número de bits necesarios para representar los parámetros de un modelo de lenguaje grande (LLM), normalmente almacenados en punto flotante de 32 bits (FP32), a formatos de menor precisión como FP16, BF16 o enteros de 8 bits (INT8). El objeti
El Fintech Engineering Handbook es un recurso abierto y vivo que reúne los patrones de diseño más importantes para construir sistemas software cuyo objeto principal es el dinero. La guía se dirige a profesionales que se incorporan al sector fintech, a quienes ya trabajan en él y a ingenieros de otro
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
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
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
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
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
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
