Constrained Modeling for Coding Agents / hacker news