# Precision

1. [Accuracy of Mathematical Functions in Single, Double, Double Extended, and Quadruple Precision](https://members.loria.fr/PZimmermann/papers/accuracy.pdf)
1. [Supporting half-precision floats is really annoying](https://futhark-lang.org/blog/2021-08-05-half-precision-floats.html)

# Debugging

1. [Keynote: William Kahan - Debugging Tools for Floating-Point Code](https://www.youtube.com/watch?v=qHddEkfQBrA)

# Comparison

1. [Approximate Equality for Floating Point](https://github.com/apple/swift-evolution/blob/master/proposals/0259-approximately-equal.md)

# Random generation

1. [Drawing random floating-point numbers from an interval](https://hal.archives-ouvertes.fr/hal-03282794/document)
1. [Uniform random floats:  How to generate a double-precision floating-point number in [0, 1] uniformly at random given a uniform random source of bits](https://mumble.net/~campbell/2014/04/28/uniform-random-float)

# Correctness

1. [Floating point expression inspector](https://github.com/graphitemaster/fpinspect)
1. [Herbie: Find and fix floating-point problems.](https://herbie.uwplse.org/)

# Format

1. [decimal128 floating-point format](https://en.wikipedia.org/wiki/Decimal128_floating-point_format)

# Reference

1. [How Java’s Floating-Point Hurts Everyone Everywhere](https://people.eecs.berkeley.edu/~wkahan/JAVAhurt.pdf)
1. [What aspect of portable floating point did Java back down on?](https://retrocomputing.stackexchange.com/questions/18143/what-aspect-of-portable-floating-point-did-java-back-down-on)

# Algorithm

1. [Speeding up atan2f by 50x](https://mazzo.li/posts/vectorized-atan2.html)
1. [Kahan summation algorithm](https://en.wikipedia.org/wiki/Kahan_summation_algorithm)