←搜索结果

搜索“GitHub”

按匹配度 · 共 1622 条结果 清除搜索

星期六

  1. heise online

    开发者快讯：Postgres 19、Python 3.16 与 Symfony 8.2 有哪些新变化

    Postgres 19 发布首个 Release Candidate，主要包含一批 bug 修复，正式版计划于 11 月 19 日推出；Python 3.16 Alpha 1 已发布，iter() 新增 stop_exception 参数，Beta 阶段定于 2027 年 5 月 4 日、正式版定于 2027 年 10 月 5 日。Symfony 8.2 支持对敏感操作要求硬件安全密钥等更强登录方式，并记录用户登录所用方法，预计 2026 年 11 月发布。Eclipse Theia 1.76 让 GitHub Copilot 订阅用户可在 Theia AI 中使用当前 Copilot 模型。

    Postgres 19 发布首个 Release Candidate，主要包含一批 bug 修复，正式版计划于 11 月 19 日推出；Python 3.16 Alpha 1 已发布，iter() 新增 stop exception 参数，Beta 阶段定于 2027 年 5 月 4 日、正式版定于 2027 年 10 月 5 日。Symfony 8.2 支持对敏感操作要求硬件安全密钥等更强登录方式，并记录用户登录所用方法，预计 2026 年 11 月发布。Eclipse Theia 1.76 让 GitHub Copilot 订阅用户可在 Theia AI 中使用当前 Copilot 模型。

    匹配字段摘要、正文

    #hot-signal#非AI/通用工具#开源生态#GitHub

星期五

  1. 智东西

    OpenAI、Anthropic 联合西蒙斯基金会投入 1500 万美元资助数学家

    OpenAI、Anthropic 联合美国西蒙斯基金会共同投入 1500 万美元（约合人民币 1.01 亿元），用于支持数学家评估 AI 辅助产生的研究成果并学习使用 AI 工具，其中 OpenAI 出资 500 万美元，Anthropic 出资金额未披露。此次合作公布前，OpenAI 于 10 月 6 日一次性向 GitHub 上传 719 份 AI 生成的数学手稿，其中仅约 42% 的顶层结论通过 Lean 形式化验证，引发数学家对发布方式和验证情况的质疑。今年 9 月，陶哲轩等 25 位菲尔兹奖得主曾联名发表声明，批评 AI 公司在数学研究中的部分做法。

    匹配字段摘要、正文

    #hot-signal#行业动态#OpenAI#Anthropic
  2. Pydantic AI 官方文章

    Pydantic 如何用 RunsOn 把 CI 成本从 18200 美元降到 5700 美元

    Pydantic 于 9 月 1 日将 Logfire 的 GitHub Actions 工作流迁移到 RunsOn，由其在自己 AWS 账户中启动临时 EC2 runner。迁移后 9 月 CI 总成本降至 5700 美元（含 RunsOn 许可与全部 AWS 费用），而 8 月为 18200 美元，同期 runner 分钟数从 1230264 增至 1617654。此前其 CI 账单从 6 月的 3990 美元一路涨到 8 月的 18200 美元。

    Bill Easton avatar

    匹配字段摘要、正文

    #company#现象/趋势#部署/工程#Agent
  3. Unite.AI

    NVIDIA RTX Spark 笔记本全球上市，支持本地 AI 智能体

    NVIDIA 于 10 月 16 日宣布 RTX Spark 笔记本在全球上市，由 ASUS、Dell、HP、Lenovo、Microsoft 和 MSI 出货，起售价 2,599 美元，首发软件支持本地 AI 智能体、创意应用和主流游戏。每台系统基于单颗超级芯片，将 Blackwell RTX GPU 与 Grace CPU 和最高 128GB 统一内存组合，NVIDIA 称可提供最高 1 petaflop 的 FP4 AI 性能。用户可通过引导式安装启用 GitHub Copilot、Hermes、OpenClaw、Perplexity、Pi 和 WorkBuddy 等智能体，无需命令行；NVIDIA 与 Microsoft 还提供了 Windows on Arm 的首个 PyTorch-CUDA 构建等开发工具。

    匹配字段摘要、正文

    #hot-signal#产品更新#端侧#部署/工程
  4. The New Stack

    Uvi 融资 750 万美元：让 AI 智能体不再为重复收集上下文付前沿模型的高价

    以色列初创公司 Uvi 结束隐身状态，获 CT Innovations、Cardumen、Mana VC 和 91 Ventures 等投资的 750 万美元种子轮。Uvi 称，直连 Slack、Jira、GitHub 等六个企业系统的前沿模型智能体因反复收集上下文，成本约为其方案的 8 倍、耗时超 2 倍；其方案把答案成本从 0.75–1.41 美元降至 0.10–0.16 美元，在陷入搜索循环的开放问题上最多便宜 46 倍。上述测试基于 900 多个真实员工问题，均为内部测试、未经独立验证。

    匹配字段摘要、正文

    #hot-signal#行业动态#Agent#RAG
  5. gihyo.jp

    Sakana AI 发布第三代 The AI Scientist，并开源 AutoIllustrate

    Sakana AI 于 2026 年 10 月 15 日公开第三代 The AI Scientist（The Agentic Scientist），通过 Codex、Claude Code 等多个编码智能体协作，覆盖假设提出、实验、分析到论文撰写，并开源可生成可编辑论文插图的 CLI 工具 AutoIllustrate。系统在 5 个课题上用 9 种大语言模型和 4 种智能体执行工具共运行 70 次研究流程，论文质量由 AI Reviewer 按 1 至 10 分评估，新模型得分更高，Claude 系列尤为明显，同一模型下不同执行工具差异较小。代码以 Apache License 2.0 在 GitHub 的 AI-Scientist-v3 仓库公开，默认使用 Claude Code，可切换 Codex、Gemini CLI，并提供仅用 CPU 即可跑通的示例。

    匹配字段摘要、正文

    #hot-signal#模型发布#Agent#开源生态
  7. TechCrunch AI

    Replit CEO：未来工作是“自动驾驶公司

    Replit CEO Amjad Masad 在 TechCrunch Disrupt 上提出“自动驾驶公司”愿景：AI 智能体承担大部分基础工作，人类保留判断力与品味。他以 Replit 客服流程为例，工单先由智能体查看 GitHub issues、代码库和 Linear 工单完成初步分诊，人工决定修复后一键部署另一个智能体执行。

    匹配字段摘要、正文

    #tech-media#大佬观点#Agent#编码
  8. The Elec

    Theori 白皮书：AI 黑客工具 20 分钟发出 3.2 万次请求

    Theori 于 10 月 15 日发布白皮书，分析 AI 安全工具 ARTEX 与 CyberStrikeAI，实验中 CyberStrikeAI 调用的扫描器在 20 分钟内发出约 3.2 万次请求，可能影响目标服务可用性。测试 ARTEX 安全机制时，即便开启基于 LLM 的防护，常规漏洞评估过程中测试数据仍被删除。Theori 已在 GitHub 免费发布检测规则集，并提供 AI 安全工具部署前的评估清单；ARTEX 开发者 Autumn-27 已将源码设为私有，称该工具被滥用，并决定不再公开发布新版本。

    匹配字段摘要、正文

    #hot-signal#安全/对齐#Agent#开源生态
  9. Rohan Paul

    OpenUI 1.0 发布，把生成式 UI 带到任意应用与智能体

    OpenUI 1.0 发布，将生成式 UI 能力从 ChatGPT 扩展到其他应用和智能体，并支持闭源或开源模型，包括本地自托管模型。开发者注册应用自身的 UI 组件（如酒店卡片、地图、图表、预订表单），OpenUI 会将其转换为系统提示词，模型则以 OpenUI Lang 标记语言返回所需组件和数据，渲染器在流式输出中读取并校验后，用应用真实组件绘制界面。该项目 GitHub 已获 11K stars。

    匹配字段摘要、正文

    #ai-news#产品更新#Agent#开源生态
  10. Unite.AI

    Anthropic 将 Claude Code 的 Code Review 正式开放

    Anthropic 于 2026 年 10 月 15 日将 Claude Code 的多智能体 PR 审查系统 Code Review 面向 Claude Team 和 Enterprise 组织正式开放，并为符合条件的 Enterprise 组织提供至少 10000 美元的审查额度。多数审查速度比预览期快约 3 倍，典型耗时从约 20 分钟降至 6 至 10 分钟，管理员可为每个仓库设置 Quick、Standard 或 Deep 审查级别。审查在 Anthropic 基础设施上分四阶段运行，只留行内评论和检查结果，不会批准或阻止合并，且需要 Team 或 Enterprise 套餐与 GitHub 托管仓库。

    匹配字段摘要、正文

    #hot-signal#产品更新#Agent#编码
  11. Thurrott

    Nvidia 公布为 RTX Spark 优化的应用与游戏阵容

    首批搭载 RTX Spark 的 Windows 11 on Arm 电脑将于明天上市，Nvidia 称应用生态已就绪，多个创作、开发、游戏和本地 AI 方案已完成优化。RTX Spark 最高配备 128 GB 统一内存和 1 petaflop AI 算力，GitHub Copilot、Perplexity 等智能体已支持简化部署，Nvidia PAIR 个人 AI 路由器和 Nemotron 3.5 Bolt 74B 本地模型正式可用。Adobe 正为 Photoshop 和 Premiere Pro 优化并承诺 2 倍性能提升，Nvidia 还将于周五推出速度提升 2 倍的 DLSS AI 模型。

    匹配字段摘要、正文

    #hot-signal#行业动态#端侧#部署/工程
  12. 蚂蚁 inclusionAI：GitHub 新仓库

    蚂蚁 inclusionAI 开源 TorchTurbo：面向 SuperNode 的后训练引擎

    蚂蚁 inclusionAI 在 GitHub 开源 TorchTurbo，一个 SuperNode 原生的后训练引擎，用于快速适配和训练 LLM 与 VLM。它基于 PyTorch FSDP2 和 Hugging Face Transformers，结合 FSDP、专家并行（EP）与 Ulysses 序列并行（SP），支持 MoE、多模态和稀疏注意力架构。目前仅支持训练，已提供 fsdp2 后端及 LlamaFactory、ms-swift 适配器，不支持评估、预测与生成。

    TorchTurbo training architecture

    匹配字段摘要

    #engineering#开源/仓库#数据/训练#部署/工程

星期四

  1. Testing Catalog

    每日 AI 简报：Grok Voice 3.0 发布，延迟降低 40%

    SpaceXSI 发布语音到语音模型 Grok Voice 3.0，面向客服通话场景，官方称响应时间低于 1 秒、延迟降低 40%；Grok Bot 市场同步开放开发者提交连接器、插件和 MCP server。Anthropic 为 Claude Code Desktop 增加 sessions hub，并让 Claude Managed Agents、Messages API 和 Claude SDK 支持 OpenTelemetry traces，同时在新加坡设立亚太第五个办公室。GitHub Copilot 更新 HydraFusion 模型池并新增 HydraFusion Max 选项，二者仍处于研究预览阶段。

    匹配字段摘要、正文

    #hot-signal#行业动态#语音#MCP/工具调用
  2. 邵猛

    Google 白皮书：AI Agent 时代的团队文化与流程演进

    Google 第 5 份 AI Agents 白皮书用一章讲「Team Culture & Process Evolution」，指出把现代 Agent 塞进旧研发流程会放大合并冲突、评审死锁和上下文碎片化三类问题。应对策略包括 PR 附 AI 变更摘要与风险评估、风格检查交给 linter、Conditional LGTM、无责文化，以及用 skill 让 Agent 评审 Agent。持续评审 Agent 分三档：Tier 1 托管 SaaS、Tier 2 GitHub Action 跑自写 review skill、Tier 3 用 ADK agent 部署到 Agent Runtime；西门子生产试点把等价重构从两周压到几小时。

    匹配字段摘要、正文

    #hot-signal#行业动态#Agent#部署/工程
  3. 雷锋网

    上海AI实验室书生-S2助力三维Ghys猜想证明并通过Lean形式化验证

    上海人工智能实验室访问学者许地生团队依托书生科学多模态大模型S2，通过人机协同完成三维Ghys猜想证明，北京大学董彬、刘若川团队用SHEAF框架完成全部四个主定理的Lean形式化验证。攻关中书生-S2先后完成7批接续推演，问题图从15个节点扩展到389个，输出上千页推导；形式化验证约5天完成，峰值并发达100个智能体，产出约55万行Lean代码。相关论文已发布在arXiv，形式化代码在GitHub公开。

    匹配字段摘要、正文

    #hot-signal#论文/研究#推理#开源生态
  4. The New Stack

    Anthropic 自建版本控制系统 Scion 应对 AI 编码规模，但不对外发布

    Anthropic 披露其自研版本控制系统 Scion，用于应对 AI 编码带来的代码合并激增：日合并量从 5 月的 2500 次升至 9 月的 3 万次以上。Anthropic 称 Scion 的 CPU 与内存基础设施占用比此前的 git 镜像方案小 200 倍，CI 与研究任务检出代码快两个数量级，团队用五个月完成 monorepo 全量迁移。Anthropic 表示暂无公开发布计划，理由是 token 成本过高且迁移成本大，但希望与 GitHub、GitLab 及开源社区合作把部分思路带回 git。

    匹配字段摘要、正文

    #hot-signal#行业动态#编码#Agent
  5. Analytics India Magazine

    Figma 推出编码、托管与内容管理工具，CEO 称不承担高流量托管费用

    Figma 在 Config India 2026 上发布面向编码、内容管理和部署的 AI 工具，包括 code layers、Figma Specs、集中式设计系统管理以及与 Payload 的集成。用户可从现有 Figma 设计、GitHub 仓库或通过 MCP 接入的外部编码智能体创建 code layers，Figma 同时公布 Grok Bot、Open Code、Sarvam AI 等 20 个新 MCP 合作伙伴。CEO Dylan Field 表示，对于流量极高的产品，Figma 不会承担其托管费用，但未说明定价档位和流量阈值；这些功能将在未来数周内陆续上线。

    匹配字段摘要、正文

    #hot-signal#产品更新#编码#MCP/工具调用
  6. Figma AI / Agent / Make

    Figma 发布 Specs：把 Markdown 变成画布上的协作容器

    Figma 发布 Specs，一种位于 Figma 画布上的上下文容器，可将 .md 文件拖入画布转为 spec，并嵌入 FigJam 文件、画布 frame 或任意节点。Figma 的 agent 能像人类协作者一样读取和回复 spec 中的评论，团队也可通过 GitHub、Hex 等连接器引入外部上下文。Specs 可复制供多人并行编辑，最终通过 Figma MCP server 连同 Markdown、frame 引用、代码层和 Code Connect 片段一起交给编码 agent 实现。

    Example prompts hover over a mobile screen

    匹配字段摘要、正文

    #company#产品更新#Agent#MCP/工具调用
  7. Figma AI / Agent / Make

    Figma 代码图层进入开放测试，可在画布上协作开发原型

    Figma 宣布 code layers 进入开放测试，团队可以在 Figma 画布上探索和构建由代码驱动的原型。用户可从 GitHub 或本地文件夹导入轻量原型代码库，通过 Figma MCP server 把 IDE 中的原型带入画布，或用 Chrome 扩展抓取线上网页作为代码图层。Figma agent 支持用提示词修改交互、合并不同版本，Extract designs 可把代码图层中的界面转成可编辑的 Figma 图层，改动还能推送到分支并发起 pull request。该功能按 AI credits 计费，付费方案在 2026 年 11 月 4 日前创建和编辑免费。

    Split-screen product concept showing an exhibit webpage, a generated ticket-booking interface, and the corresponding React code implementation side by side, illustrating a design-to-code workflow.

    匹配字段摘要、正文

    #company#产品更新#Agent#MCP/工具调用