开发者打造自适应语言 ink：规则带等价证明，让 AI 循环自优化

开发者 Jungle Silicon 发布在研编程语言 ink，其编译器规则存放在数据库中且每条规则附带等价性证明，使 AI 能在循环中持续自我优化代码。ink 可自动按实测性能把工作负载拆分到 js / wasm / webgpu 上执行，并允许「放松」合法程序约束，开发者只需声明哪些约束必须保持、哪些可以放开。项目目前已开放。