An Accurate Quadratic Formula
:
What it takes to evaluate a well-known expression like the
quadratic formula accurately, and how Herbie helps in coming up
with a good method.
User Trust in Herbie
: How we think about making Herbie more trustworthy and
predictable for users, especially when that means considering
factors besides accuracy.
Detecting Symmetric Expressions:
How Herbie 1.5's new symmetric expressions feature detects
symmetric expressions using e-graphs and some group theory.
Long-term
Goals for Herbie:
Herbie's lead developer
lays out some of the biggest Herbie changes in the last couple
of years, and gives us a look at what's coming down the pipe.
Statistics on
alt picking:
David
designed and ran a series of experiments to evaluate
how well Herbie's "alt" (candidate) picking heuristics work.
Testingregimeinference:
David
has been poking at Herbie's regime inference to measure how
effective it is and characterize situations where we could improve.