Post #2797251

2026-04-14 21:36 UTC

@Doomed_Daniel@mastodon.gamedev.place @zeux@mastodon.gamedev.place @lisyarus@mastodon.gamedev.place again, that's not IEEE 754. But it's not like the FP standard gets a vote on this. The language standards do whatever they want. See also Kahan's rants on Java's choices wrt FP implementation in the 90s and early 2000s. Mind, in a lot of that he's railing against the idea of trying to aim for exact reproducibility since it was at the time impractical. By now it wouldn't be, though.

Replies (1)

@Doomed_Daniel@mastodon.gamedev.place 2026-04-14 21:47

@rygorous@mastodon.gamedev.place @zeux@mastodon.gamedev.place @lisyarus@mastodon.gamedev.place IIRC in a discussion about this years ago (and/or GCC bugtracker?) compiler-adjacent people argued that it does not violate IEEE 754, because the standard allows it as long as it can be controlled with a flag, or sth like that. The language standard can do whatever it wants, but not claim that it conforms to IEEE 754 then?

Open ##2797252