Show HN: Specification-Driven Development for OpenAI Codex / hacker news