floating-point   621

« earlier    

Berkeley SoftFloat
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...
may 2019 by spl
nasa/PRECiSA: Program Round-off Error Certifier via Static Analysis
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
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
math  floating-point 
march 2019 by synergyfactor

« earlier    

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  zero 

Copy this bookmark: