Towards a Language for Optimization | Dark Hacker News