Hacker News new | ask | show | jobs
by bee_rider 75 days ago
I wonder, is there a way to only request reformulations that don’t involve branches? The tool already seems quite nice, but that might be a good feature.

Also, I’m not sure I understand the speedup. Is it latency or throughput?
1 comments
pavpanchekha 74 days ago
Author here. The speed up is modeled throughput, though the model is relatively naive. It's possible to disable branches by turning off the regimes flag, see https://herbie.uwplse.org/doc/1.0/options.html
link
bee_rider 74 days ago
Nice!

What’s uwplse mean? I mixed up the letters and misread it as ulp-wise which works for the project, haha.

link
pavpanchekha 74 days ago
University of Washington Programming Languages and Software Engineering (research group).

I'm not at UW any more, I'm now at Utah, but some of the Herbie team is at UW and they provide the infrastructure

link