Live data from Hacker News

Inventor Claims to Have Solved Floating Point Error Problem

hpcwire.com

31–40 of 205 posts

Re: Inventor Claims to Have Solved Floating Point Error Problem

#31
post #2

And immediately patents it... so no one else can use it. EDIT: and for some other methods: https://en.wikipedia.org/wiki/Unum_%28number_format%29 , particularly the latest one being the Posit method: http://superfri.org/superfri/article/download/137/232 EDIT2: of course other people can license it, but the other way to bring a new floating point to the scene would be through the same process that happened with IEEE 7…

At least patents expire someday.

Re: Inventor Claims to Have Solved Floating Point Error Problem

#32
post #22

Has he solved http://0.30000000000000004.com/

Not really, the idea is to store the amount of error in the binary representation of the number. When converting from decimal "0.3" to this floating point representation, it's more like 0.30000000000000004 ± 0.00000000000000004

Re: Inventor Claims to Have Solved Floating Point Error Problem

#33
post #14
post #2

And immediately patents it... so no one else can use it. EDIT: and for some other methods: https://en.wikipedia.org/wiki/Unum_%28number_format%29 , particularly the latest one being the Posit method: http://superfri.org/superfri/article/download/137/232 EDIT2: of course other people can license it, but the other way to bring a new floating point to the scene would be through the same process that happened with IEEE 7…

I understand the downside, but how else would he ever get paid for this?

They could have used trade secrets. Konrad Zuse tells the story that back then, optical equipment manufacturers used to contract him for computations. Instead of rooms full of mechanical calculators operated by humans (the original "computers") they would supply his company with data and algorithms and he would reply back with results.

Apparently, there were design reasons why for electronic calculations a different mathematical formulation was more efficient. The competing manufacturers would discover this fact one by one, and Zuse was worried that someone may question his integriry, thinking he was the source of the leak. But no one did.

Michael Hanack (the materials chemist) used a different strategy: he would not patent anything so his inventions could be used my any market participant, and he would consult for all of them.

On the other hand, everyone is looking forward to the day the aptamer patent runs out. Uptake is limited (and you'd think that CRISPR/CAS9 has the same problem) because of unreasonableness (in case of CRISPR uncertainty) around licensing.

Re: Inventor Claims to Have Solved Floating Point Error Problem

#34
> “Apparatus for Calculating and Retaining a Bound on Error During Floating Point Operations and Methods Thereof”

It seems to be a system where the hardware design itself keeps track of the accuracy losses in floating point calculations, and provides them as part of the value itself.

The title is (predictably) exaggerated, but it's an interesting idea, and could potentially be a significant improvement in particular use cases.

Re: Inventor Claims to Have Solved Floating Point Error Problem

#36
post #22

Has he solved http://0.30000000000000004.com/

I don't think he has. With his approach you would get results that are honest about their precision, like '3 plus-or-minus .0000000000000010'. That still doesn't help you decide whether or not the result is actually 3.

Re: Inventor Claims to Have Solved Floating Point Error Problem

#37
post #17

Even worse, a patent for a "processor design, which allows representation of real numbers accurate to the last digit" is obviously nonsense. Pi (=3.141...) is a real number where there is no "last digit".

it's the patent for a circuit, and you can take the the sentence the other way around "the displayed number is the denoted one", not "any real number can be represented".

Re: Inventor Claims to Have Solved Floating Point Error Problem

#38
post #26

> “In the current art, static error analysis requires significant mathematical analysis and cannot determine actual error in real time,” reads a section of the patent. “This work must be done by highly skilled mathematician programmers. Therefore, error analysis is only used for critical projects because of the greatly increased cost and time required. In contrast, the present invention provides error computation in…

Does anyone know a similar library for Rust?

Re: Inventor Claims to Have Solved Floating Point Error Problem

#39
post #20

Considering the over-the-top language ("a game changer for the computing industry") and questionable or imprecise comments like, "[it] allows representation of real numbers accurate to the last digit" (um, who reads that without thinking of irrational numbers?) it sounds too much like a sales pitch and not like serious research. I could be wrong, but based on the similarities to interval arithmetic everyone has alrea…

it's a journalist writing the article, they want clickbait.

Re: Inventor Claims to Have Solved Floating Point Error Problem

#40
post #9

Without reading the patent it sounds a lot like interval arithmetic [1] which sounds like a really good idea at first but is not without its own problems. For example the inverse 1/x for an interval x like [-1,+1] containing 0 consists of two intervals (-∞,-1] and [+1;+∞). [1] https://en.wikipedia.org/wiki/Interval_arithmetic

"In addition, though the embodiment presented herein represents an apparatus and associated method for bounded floating point addition and subtraction, it is presented as an example of bounded floating point operations. By extension, the same inventive apparatus for calculating and retaining a bound on error during floating point operations can be used in other floating point operations such as multiplication, division, square root, multiply-add, and other floating point functions."

The hard part has been left as an exercise for the examiner.

Post reply on HN