Earlier today, I merged one of the biggest improvements to Herbie ever. Let me take a moment to celebrate. Why cost-accuracy trade-offs? About a year ago, the Herbie team, lead by Brett and Oliver, published Combining Precision Tuning and Rewriting at ARITH'21. While ostensibly that paper was about incorporating precision tuning into Herbie, in reality it was about slightly more than that—it was about teaching Herbie about program cost, and having Herbie find not just the single most accura...
