
10/9 开源速递:Anthropic 岗位插件、OpenAI 数学手稿和菜单栏一键换模型
今天六个:Anthropic 给知识工作者的岗位插件、OpenAI 公开的数学手稿与 Lean 形式化、菜单栏统一换模型的 magpie、用 HTML 页回答难题的 Agent skill、Meta Muse 开源硬件 SDK,以及把 TypeScript 编译器迁到 Rust 的 tsc-rs。

今天六个:Anthropic 给知识工作者的岗位插件、OpenAI 公开的数学手稿与 Lean 形式化、菜单栏统一换模型的 magpie、用 HTML 页回答难题的 Agent skill、Meta Muse 开源硬件 SDK,以及把 TypeScript 编译器迁到 Rust 的 tsc-rs。