Herbie Documentation
Documentation
Blog posts about Herbie

Statistics on
alt picking:
David
designed and ran a series of experiments to evaluate
how well Herbie's "alt" (candidate) picking heuristics work.

Testing
regime
inference:
David
has been poking at Herbie's regime inference to measure how
effective it is and characterize situations where we could improve.

Summer 2018 plan:
What David Thien
will be working on in Herbie this summer!
 Introducing Herbgrind: what is our sister project Herbgrind all about?
 Let Herbie Make Your Floating Point Better: why programmers who deal with floating point should use Herbie.
 Improving Accuracy: a Look at Sums: why floating point summation is hard, and how compensated summation works.
 Measuring the Error of Floating Point Programs: how Herbie measures the error of a floating point program, and how we're working to extend that to programs with loops.
 Logarithms of Taylor Expansions: how Herbie takes Taylor expansions of logarithms.
 Hyperbolic sines in math.js: how Herbie fixed an accuracy bug in math.js using series expansion.
 Taylor Expansions of Taylor Expansions: how Herbie takes Taylor expansions of exponential and trigonometric functions.
 Arbitrary Precision, not Arbitrary Accuracy: why arbitraryprecision libraries arenâ€™t an answer to rounding error.
 Complex Square Roots in math.js: how Herbie automatically fixed an accuracy bug in math.js, an open source mathematics library.
 Floating Point Guarantees: how floating point rounding and primitive operators work.