Yes, I believe what they're doing already exists in the literature as "supercomp...

		dundarious on June 7, 2023 \| parent \| context \| favorite \| on: Deepmind Alphadev: Faster sorting algorithms disco... Yes, I believe what they're doing already exists in the literature as "supercompilation", though good to see its application under any name.