SMARTFLOAT: Trustworthy Numerical Computation in Scala (lara.epfl.ch) 1 points by theboywho 13y ago ↗ HN
0 comments
[ 4.1 ms ] story [ 10.8 ms ] threadNo comments yet.