FriendMachine

Jacquard语言支持AI编写代码并由人类审查

Jacquard是一种新编程语言，专为AI生成、人类审查的代码而设计。它由FriendMachine作为研究项目开发，具有紧凑的语法、OCaml解释器和C语言输出后端。Jacquard旨在通过暴露程序的潜在影响、不确定性和规范身份来提供透明度，使工具能够直接检查这些方面，而不是依赖注释或日志。这种方法旨在帮助人类审查者更有效地理解和信任AI生成的代码。