From 4610968193df10af12c91f699fec39aeb3ef703a Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 10 Jul 2021 03:10:43 -0400 Subject: Made the "try" macro into a common one, instead of a host-specific one. --- documentation/bookmark/floating_point.md | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 documentation/bookmark/floating_point.md (limited to 'documentation/bookmark/floating_point.md') diff --git a/documentation/bookmark/floating_point.md b/documentation/bookmark/floating_point.md new file mode 100644 index 000000000..55c84d2f2 --- /dev/null +++ b/documentation/bookmark/floating_point.md @@ -0,0 +1,20 @@ +# Random generation + +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. [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. [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. [Kahan summation algorithm](https://en.wikipedia.org/wiki/Kahan_summation_algorithm) + -- cgit v1.2.3