Steven Diamond: Domain-specific languages for convex and non-convex optimization. Stanford University, USA 2020