Machine-Readable Optimization