News for hackers. Stuff that matters.
Re:Herbie: Automatically Improving Floating Point Accuracy by pavpanchekha on Friday August 07, 2020 @11:37AM (#24083021)
That's right, Herbgrind doesn't know which values are variables. It uses antiunification to see which values are always the same (which it assumes are constants) and which differ between invocations (which it assumes are variables).

There are no comments on this comment yet.