Implementing FMA and finding bugs in C and Rust standard libraries
Summary
The article documents implementing fused multiply-add (FMA) and discovering subtle bugs in the C and Rust standard libraries, including the Rust std::simd path and musl libc's fmaf. It walks through emulation, formal verification, testing, and open-source collaboration to fix FP rounding and status-flag handling across platforms.