Jacquard: 专为AI生成代码设计的人类审查语言

Show HN: Jacquard, a programming language for AI-written, human-reviewed code

Jacquard 是 FriendMachine 推出的研究项目，一款专为“AI 编写、人类审查”模式打造的小型编程语言。它通过独特的代数效果和概率编程能力，让开发者能直观查看代码可能产生的副作用，并在多种模拟环境中运行测试。Jacquard 支持精确枚举离散概率模型，帮助人类审查者在不阅读每一行代码的情况下，快速确认 AI 生成代码的行为边界和可信度。

"当大部分代码由机器编写时，审查它的人类需要语言本身就能回答“它能触碰什么，以及我们有多确定”，而无需逐行阅读。"