Tag
This article explains how JSON serialization in JavaScript silently changes data: large integers lose precision, undefined properties disappear, Dates become strings, and NaN becomes null. It traces the history of JSON and argues that developers should define explicit wire formats to avoid accidental data contracts.
An article explaining why floating point numbers are a leaky abstraction, covering precision limits, subtraction issues, and overflow/underflow, with references to Goldberg's classic paper.
This paper presents the design and end-to-end formal verification of IEEE-754 binary32 and bfloat16 arithmetic for ARCH HDL, a hardware description language intended for AI model generation. The operators are proven correctly rounded using a hybrid approach combining exhaustive SMT equivalence checking and Lean 4 proofs, with synthesizable SystemVerilog output.