3 ms·
You can't 100% spec something out in natural language without ending up with the actual code. The code is the natural language spec expressed with all the ambig
by _superposition_ 2mo ago
You can't 100% spec something out in natural language without ending up with the actual code. The code is the natural language spec expressed with all the ambiguities removed.
- yuye 2mo agoSomeone shared this great read with me that also agrees with this point of view: https://haskellforall.com/2026/03/a-sufficiently-detailed-spec-is-code https://haskellforall.com/2026/03/a-sufficiently-detailed-sp...