Categorical Combinators for Convex Optimization (2020) | Hacker News Reader