> Sure. But not in a form that's applicable for ML / AI. You have a cost function you want to minimize. That can't form the basis of a search among valid prog

> Sure. But not in a form that's applicable for ML / AI. You have a cost function you want to minimize. That can't form the basis of a search among valid program transformations? > Just because a technology worked for one field, doesn't mean it's trivially applicable for other fields I didn't say "trivially." I just pushed back on the idea that it's "magic." There are precedents for ML-like approaches to optimization for regular compilers. For example, superoptimizers.