@lupyuen Not necessarily directly comparable, but I'm reminded of the work on "superoptimizers":

https://web.stanford.edu/class/cs343/resources/superoptimizer.pdf

https://dl.acm.org/doi/10.1145/143103.143146

(I could've swore I remember reading about a superoptimizer that was storing results on a network database that could then be shared by other machines helping to reduce search space. But I can't find it, and it's possible I dreamed that idea up myself. 😆)

I just stumbled across this that seems interesting:

https://www.embecosm.com/appnotes/ean15/ean15.html