충분히 상세한 명세는 코드다
원문: haskellforall.com | 토론: GeekNews · 댓글 5개 핵심 요약 에이전틱 코딩의 이면에서 “명세 문서로 코드를 대체할 수 있다"는 주장에 대해 근본적 한계를 지적하는 글이다. 명세가 충분히 정밀해지면 결국 코드와 동일한 형태로 수렴할 수밖에 없다는 논리를 전개한다. OpenAI의 Symphony 프로젝트 SPEC.md를 사례로 들며, LLM이 부족한 세부사항을 채워넣는 능력은 있지만 신뢰성 있는 생성과는 다르다는 점을 강조한다. C 임베디드 개발 등 안전 중시 분야에서는 이미 명세-코드 1:1 대응 방식을 사용하고 있다는 현장 의견도 주목할 만하다. ...