ieee-754

本文解释了JavaScript中JSON序列化如何悄悄改变数据：大整数失去精度，undefined属性消失，Date变成字符串，NaN变成null。文章追溯了JSON的历史，并主张开发者应定义明确的传输格式，以避免意外的数据契约。

一篇文章解释了为什么浮点数是泄漏的抽象，涵盖精度限制、减法问题和溢出/下溢，并引用了Goldberg的经典论文。

本文介绍了为ARCH HDL（一种面向AI模型生成的硬件描述语言）设计并端到端形式化验证IEEE-754 binary32和bfloat16算术。这些算子通过结合穷举SMT等价性检查和Lean 4证明的混合方法，被证明具有正确的舍入，并输出可综合的SystemVerilog。