Get the latest tech news

Herbie: Automatically improve imprecise floating point formulas

writes floating point expressions to make them more accurate. Floating point arithmetic is inaccurate; even 0.1 + 0.2 ≠ 0.3 in floating-point.

None

Get the Android app