Twitter | Pretraživanje | |
yosh
After talking with this week, I'm now really excited about superoptimizers! It's like: what if we could fuzz a code — but instead of yielding bugs, we search for optimizations. When a new optimization is found it's saved, so that it can later be integrated in compilers
Reply Retweet Označi sa "sviđa mi se" More
Jonathan Turner 2. velj
Odgovor korisniku/ci @yoshuawuyts @fitzgen
I remember reading some papers on this many moons ago, so there might be some academic literature worth a skim. Makes me think, too, of the search space exploration from generative programming. You could find the permutations for how to express the algorithm, then cost them.
Reply Retweet Označi sa "sviđa mi se"
Gudmund 3. velj
Odgovor korisniku/ci @yoshuawuyts @fitzgen
I believe cranelift-dan talked about this
Reply Retweet Označi sa "sviđa mi se"
Hassen 2. velj
Odgovor korisniku/ci @yoshuawuyts @fitzgen
Makes you think about the cost of optimization.
Reply Retweet Označi sa "sviđa mi se"
infinitesimal 3. velj
Odgovor korisniku/ci @yoshuawuyts @fitzgen
Any literature recommendations on this? Seems interesting!
Reply Retweet Označi sa "sviđa mi se"