Implementing FMA and finding bugs in C and Rust standard libraries

16 points by itamarst 12 hours ago on lobsters | 3 comments

Does this bug matter?

Correctly-rounded FMA came up recently as an ingredient in double-double. Of course the followup question is, does double-double matter? And until I read that article I had been under the impression (since the 1990s!) that double-double is probably too expensive to be worthwhile. But iin fact t’s cheaper than software f128!

To my surprise, musl developers took my bug report seriously.

Curious why it was surprising that the musl folks took the report seriously.

I would not be surprised if the buggy FreeBSD implementation got copy-pasted into lots of different toolchains for various obscure platforms.

I didn't see mention of reporting it to FreeBSD. Given the above it seems like that might be a good idea too.

bakkot | 6 hours ago

Fun tangentially related fact: there's a (extremely) nascent proposal to add Math.fma to JavaScript.