we currently don’t have a formal specification of optimization
This seems to me a singificant bottleneck for progress. No formal specification of what optimisation is has been tried before? What has been achieved? Is anyone working on this?
Alex Flint recently wrote up this attempt at defining optimization that I think is pretty good and probably worth taking a look at.
This seems to me a singificant bottleneck for progress. No formal specification of what optimisation is has been tried before? What has been achieved? Is anyone working on this?
Alex Flint recently wrote up this attempt at defining optimization that I think is pretty good and probably worth taking a look at.