protocol_standard · 7 menciones
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
