Show HN: Reliopt – Pareto-frontier, contract-gated optimization for LLM programs | Dark Hacker News