这篇文章讨论了在软件开发和系统设计中，如何将人类的判断和经验融入到正式的规格定义中。作者认为，完全依赖于形式化的、精确的规格可能无法充分捕捉到复杂系统的需求和约束，因此需要引入人工判断来补充和完善这些规格。文章探讨了使用专家知识、用户反馈以及其他非形式化方法来指导规格制定的方法，并强调了在人机协作中保持清晰沟通和透明度的重要性。此外，文章还讨论了如何评估和验证基于人工判断的规格，以确保其准确性和可执行性。
📎 原文：Human Judgment as a Specification | 来源：Hacker News