> a theory that you can codify invention by making a rulebook and arranging the rules in different permutations. You can. It's just slow that's all. Superopti

> a theory that you can codify invention by making a rulebook and arranging the rules in different permutations. You can. It's just slow that's all. Superoptimizers 'invent' new compiler optimizations by exactly this technique.