John Regehrfun superoptimizer result from @hyperoptimizer, this occurs in ImageMagick
@hyperoptimizer here's what an LLM thought about how to generalize this transformation 🤖 🤖 🤖
void friend@regehr using > to denote “is more work than”,
reading this > doing the reasoning yourself > reading Steve's toot
@void_friend well, I read it and it seems broadly correct. I'm interested because I work on generalizing program rewrites and I'm suspecting that the synthesis part of that work is now wholly obsolete.
I Can't Believe It's Not Zero!@regehr @void_friend it's pretty good!