Executable Specifications: Working Effectively with Coding Agents | Dark Hacker News