开发者打造自适应语言 ink:规则带等价证明,让 AI 循环自优化
_AustinCalvert_ · x · 2026-10-17
开发者 Jungle Silicon 发布了在研编程语言 ink,思路颇为新颖:
- 编译器机制存放在数据库中,每条规则都附带等价性证明,使 AI 可以在一个循环中持续自我优化代码;
- 自动根据实测性能把工作负载拆分到 js / wasm / webgpu 上执行;
- 一种关键优化手段是「放松」合法程序的约束:不要求精确值,可以是若干候选值之一、某个区间内的值,或放弃顺序要求——开发者只需声明哪些约束必须保持不变、哪些可以放开。
作者称部分灵感来自 Cheng 提出的想法,目前项目已开放(附链接)。这种「以证明背书的可变约束 + AI 闭环优化」的语言设计,可能为 AI 参与的编译优化提供新范式。
「编程与Agent」频道最新
- 斯坦福等提出 AutoSep:用更弱模型迭代攻防,把 agent reward hacking 成功率从 69.9% 降到 12.1% — Stanford · 2026-10-17
- 免费开源课「Harness Engineering」:14 讲+8 个实战项目教你构建可靠编码 Agent — techNmak · 2026-10-17
- Anthropic 工程师称现在用 Claude Slides 做 PPT,告别搜素材 — bcherny · 2026-10-17
- 开发者用 Claude 半年写出软体物理引擎，称复杂度超 BeamNG — grandprixlegends · 2026-10-17
- tldraw 推出 Codex 插件,在多人无限画布上与 AI 结对开发 — max__drake · 2026-10-17
- 开源版 Open Co-Scientist 复刻 Google AI 科学家，Elo 锦标赛进化假设 — Haunting-Stretch8069 · 2026-10-17