Guy's world records get deleted due to changes in atanh over time
Lots of good stuff here: https://members.loria.fr/PZimmermann/papers/ .
It's linear for small x, and exponential for large. Lots of applications of this:
Compressing data
Mapping (zoomed in near by, zoned out from afar)
There's a whole class of electronics amps for this.
For single-precision unary functions, it's easy enough to just exhaustively test every single input (there's only 4 billion of them). But double precision has prohibitively many inputs to test, so you have to resort to actual proof techniques to prove correct rounding for double-precision functions.
I had to google this one…
ULP: “Unit in the Last Place” or “Unit of Least Precision: https://en.wikipedia.org/wiki/Unit_in_the_last_place
I don’t know of any interesting work in this space that came out of Red Hat, why do you suggest them?
He doesn't work for Red Hat.