Kahan is the brain behind the IEEE 754 floating point specification. This piece goes through a lot of horrible and hyperspecific failure modes of floating point implementations, optimizing compilers, and alternative fp schemes. Math heavy but surprisingly readable.
Kahan is the brain behind the IEEE 754 floating point specification. This piece goes through a lot of horrible and hyperspecific failure modes of floating point implementations, optimizing compilers, and alternative fp schemes. Math heavy but surprisingly readable.