**floating-point**

Float Exposed

floating-point
computing
software-development
maths

september 2019 by sjmarshy

Floating point binary format explorer.

september 2019 by sjmarshy

Berkeley SoftFloat

may 2019 by spl

Berkeley SoftFloat is a free, high-quality software implementation of binary floating-point that conforms to the IEEE Standard for Floating-Point Arithmetic. SoftFloat is completely faithful to the IEEE Standard, while at the same time being relatively fast. All functions dictated by the original 1985 version of the standard are supported except for conversions to and from decimal. The latest release of SoftFloat implements five floating-point formats: 16-bit half-precision, 32-bit single-precis...

floating-point
may 2019 by spl

nasa/PRECiSA: Program Round-off Error Certifier via Static Analysis

may 2019 by spl

PRECiSA is a fully automatic analyzer for the estimation of round-off errors of floating-point valued functional expressions.

floating-point
nasa
static-analysis
haskell
rounding
errors
pvs
may 2019 by spl

Calculating the mean of a list of numbers - Hypothesis

math
floating-point

march 2019 by synergyfactor

Calculating the mean of a list of numbers Consider the following problem:

You have a list of floating point numbers. No nasty tricks - these

aren’t NaN or Infinity, just normal “simple” floating point numbers.

Now: Calculate the mean (average). Can you do it?

It turns out this is a hard problem. It’s hard to get it even close to

right. Lets see why.

Test faster, fix more

march 2019 by synergyfactor