OpenArc 发布:本地小模型编译验证 TypeScript
热点事件持续更新
OpenArc 发布:本地小模型编译验证 TypeScript
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
OpenArc 发布开源工具(open-arc npm 包),把类型规格编译成经过验证的 TypeScript 代码。它只向模型提供单个函数所需的上下文,用 tsc、静态规则(含可选的函数调用白名单)和沙箱中实际运行的示例验证返回的函数体,只有通过验证才会拼接进代码,且不会覆盖手工修改。 运行需要 Linux(含 bwrap 和 prlimit)、Node ≥ 23.6,以及模型:可通过 Ollama 使用本地模型,也可接入任意 API(OpenAI 兼容的 OpenAI、OpenRouter、Groq、vLLM,或 Anthropic)。密钥从 openarc.config.json 中指定的环境变量读取。
AI 根据报道生成 · 2 小时前更新
最新进展11月1日 04:21
OpenArc 发布:用本地小模型把类型规格编译成经过验证的 TypeScript报道时间线
沿着报道,了解事件的不同侧面。
11月1日
- Hacker NewsOpenArc 发布:用本地小模型把类型规格编译成经过验证的 TypeScript
OpenArc 是一个把类型规格编译成经过验证的 TypeScript 代码的开源工具,只向本地模型提供单个函数所需的上下文。它用 tsc、静态规则(含可选的函数调用白名单)和沙箱中实际运行的示例来验证返回的函数体,只有通过验证才会拼接进代码,且不会覆盖手工修改。
本事件热度走势
还没有足够的连续观测数据,暂不绘制趋势。