Jacquard: 专为AI生成代码设计的人类审查语言
Show HN: Jacquard, a programming language for AI-written, human-reviewed code
Jacquard 是 FriendMachine 推出的研究项目，一款专为“AI 编写、人类审查”模式打造的小型编程语言。它通过独特的代数效果和概率编程能力，让开发者能直观查看代码可能产生的副作用，并在多种模拟环境中运行测试。Jacquard 支持精确枚举离散概率模型，帮助人类审查者在不阅读每一行代码的情况下，快速确认 AI 生成代码的行为边界和可信度。
当大部分代码由机器编写时，审查它的人类需要语言本身就能回答“它能触碰什么，以及我们有多确定”，而无需逐行阅读。
- 有评论者指出，LLM 生成的代码注释往往晦涩难懂且充满术语，严重阻碍人类审查，而 Jacquard 项目未能证明其文档质量优于未过滤的 LLM 输出。
- 一位开发者强调，LLM 缺乏'心智理论'，无法意识到其他 Agent 实例不知道当前实例已知的上下文，导致在跨 Agent 协作时产生大量无效指令和垃圾代码。
- 关于模式崩溃（Mode collapse）的讨论揭示，即使禁止特定 logits，模型仍会固执地用同义词表达同一概念，导致输出收敛且缺乏真正的多样性。
- 有观点反驳称，将能力限制交由操作系统处理比在语言层面实现更优，因为后者会导致在运行时才发现未声明的 I/O 操作，从而无法及时阻止错误。
- 针对项目文档中声称'在 README 中列出'却实际缺失的情况，评论者质疑项目维护者自身缺乏审查意识，认为这预示着系统难以通过人类审查。