Reading up on Symphony
2 deep · digging since mar 19
- Haskell for all: A sufficiently detailed spec is code
The article argues that specifications must become code-like to be precise, making agentic coding unreliable; even detailed specs like Symphony's fail to produce working implementations.