3 ms·Hydra: Generalizing Peephole Optimizations with Program Synthesis [pdf]1 points by matt_d 3y ago