blob: fe22137dc24a6c2db02ac259d4b825a2c184373d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
# Half-precision
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)
|
