目前正在就使用自然语言进行精确技术规范的可行性展开讨论。这次对话以即将举行的“Séminaire Codes sources”的提问形式出现，探讨了自然语言是否能充分作为详细技术描述的正式语言。 AI
影响 探讨了在正式技术规范中使用自然语言的潜力，这可能会影响软件开发和文档实践。
排序理由 该集群讨论了关于在技术规范中使用自然语言的问题，这是一个讨论话题，而不是一个具体事件。
在 Mastodon — mastodon.social 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
Reading the topic of next « Séminaire Codes sources », there’s this question: “Is it reasonable to use natural language as language for the precise specifications of needs?” 🤔 Framing programming as three inter-connected activities – “generating”, “verifying”, “digesting” – one q…