floating-point 621
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
related tags
2019 754 actor-model algorithms analog ben-cohen best-practice binary blackfin blockchain bounds bugs c cartoon coding comparative-literature comparison compression compsci computer-science computer computers computing consider:looking-to-see consider:req convert coordinates cpu criticism cs cs201 custom-gradient daily debugging decimal demoscene determinism dev devices dsp emulation equality erlang error-handling error errors ethereum fail fixed-point float-representation float floating floatingpoint free from-inoreader fsin funny geometry golang gps graphics gustafson haskell herbie history ieee ieee754 ifttt in-depth intel java javascript json kahan languages lat-long library llvm machine-learning math mathematics maths money nanbox nasa neural-networks nonlinear-dynamics nudge-targets numbers_rounding numeric numerical-methods numerical-programming numerical optimization papers pattern-matching performance pitfalls point precision programming pvs python rather-interesting reference reliability representation rewriting rounding science scientific software-development-is-not-programming software-development software sorn static-analysis stop_gradient summation swift-core-team testing texture the-mangle-in-practice til to-understand to-write-about to_read tricks tricky-rabbit unum visualisation visualization vm vs x86 x87 zeroCopy this bookmark: