Spring 2025: CS 15-759 -- A Principled Approach to Optimization