HN
login

floating point

5 stories and discussions about floating point, aggregated from every source we track.

1.
More floating point alternativeswizardzines.com
33 points•vismit2000•11 days ago•22 comments•
2.
Adding Floating-Point Decimals for Fun and Profitblog.vero.site
8 points•abhin4v•2 days ago•1 comment
3.
How do you compute the midpoint of an interval with floating point?hal.archives-ouvertes.fr
2 points•qznc•over 7 years ago•1 comment
4.
FloatLib: Verified Floating-Point Arithmetic in Leanleandojo.org

Arbitrary precision, custom formats, and fast software backends with Lean proofs connecting execution to the specification.

1 points•matt_d•9 days ago•0 comments•
5.
Plotting floating-point aliasinghdevalence.ca
1 points•hdevalence•almost 12 years ago•0 comments

Related topics

floating11point28math68performance90profit7