oh no how is it 2018 and i'm still being haunted by the spectre of llvm randomly trying to declare sNaNs memory-unsafe to manipulate
-
-
Seriously, the nerve of having a fully-defined arithmetic. How outrageous.
-
Integer: the Maybe monad lets us implement a safe checked arithmetic. Floating-point, putting on sunglasses: we did that 30 years ago. In hardware.
-
"Yeah, but you didn't dress it up with intimidating algebraic concepts, so who really cares?"
-
“Yeah? Well sqrt(-0.0) is -0.0, pow(-0.0, 0.5) is NaN, and pow(NaN, 0.0) is 1.0, so put that in your pipe and smoke it!”
-
`pow` is indefensible and actually shouldn't exist, but that's (mostly) C's fault.
-
`powr`, `pown` and `rootn` are what IEEE 754 actually wants. Including `pow` was a case of someone taking "standardize existing practice" too literally. =(
End of conversation
New conversation -
-
-
Thank you for confirming my tendency to view myself as becoming a compiler people
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.