Tasty » Adam Sampson's floating-point bookmarks

Floating Point Determinism - gafferongames.com

This has some interesting comments from game developers on techniques for making FP deterministic.

to ag0700 ag0907 determinism floating-point games maths networking numeric ... on 03 October 2014

HAL :: [hal-00128124, version 5] The pitfalls of verifying floating-point computations

Lengthy study of what can go wrong with FP.

to ag0700 data-types floating-point maths numerical ... on 03 October 2014

Floating-Point Determinism | Random ASCII

"My hobby: injecting code into other processes and changing the floating-point rounding mode on some threads".

to ag0700 ag0803 floating-point numeric ... on 01 July 2014

General Decimal Arithmetic

Lots of resources related to computer implementations of decimal arithmetic -- including lots of cases where binary floating-point isn't the right thing to use.

to arithmetic computation decimal floating-point maths numerical ... on 25 March 2014

IEEE floating point exceptions: NaNs, 1.#INF, 1.#IND, etc

How to do isnan() on Windows, and what the VC++ implementation of printf does with various NaNs.

to floating-point ieee programming win32 ... on 14 October 2011

Faster Floating Point to Integer Conversions.

How to do rounding and truncating float-to-int conversions efficiently using C99. We'll want this in the Tock support header.

to c99 compiler floating-point research tock ... on 14 October 2008

Prof. W. Kahan's web pages

Includes a variety of splendid publications on floating-point maths and how it's implemented. Worth referring to for occam-pi's maths implementation.

to compiler floating-point maths papers research ... on 13 December 2007

Computers

An excellent retrocomputing-oriented guide to "how computers work". Has a particularly good page on different floating-point formats.

to architecture computing cs floating-point retrocomputing teaching ... on 05 March 2007