←搜索结果

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

星期六

星期日

  1. 事件1 条新闻 · 1 个事实

    Robbyant宣布GitHub星标突破3万

    2026年8月14日,Robbyant(蚂蚁灵波)发布消息,宣布其项目在GitHub上的星标数突破30,000。该消息以“具身智能的新里程碑”为题,称“智能在行动,惠及每个人”,并提到这一数字是在200天内达成的。目前公开材料仅包含这一项进展,未提供此前星标增长的具体节点或其他相关事件。

    匹配字段标题

  2. 事件1 条新闻 · 1 个事实

    xAI将Grok 4.5接入GitHub Copilot

    2026年7月28日,xAI将Grok 4.5接入GitHub Copilot。据xAI News发布的信息,Grok 4.5现已在GitHub Copilot中可用,覆盖VSCode和GitHub产品的数百万开发者,用户可在模型选择器中直接选择,部分企业需在Copilot设置中启用。同一信息还显示,该模型同时在SpaceXAI控制台提供,定价为每百万输入token 2美元、每百万输出token 6美元。目前尚无后续发展事实,事件状态停留在上述接入与定价信息。

    匹配字段标题

星期五

星期二

星期三

  1. 事件1 条新闻 · 1 个事实

    微软分享GitHub Copilot与Excel专用MAI模型

    2026年7月24日,微软AI公布面向智能体工作负载的MAI模型在GitHub Copilot和Excel中的部署情况。据微软AI Blog介绍,MAI-Code-1-Flash自6月在GitHub Copilot上线以来已有数百万开发者使用,在VS Code中代码接受率比GPT 5.4 Mini和Claude Haiku 4.5高约10%,中位token用量低10%。在Excel中,基于该checkpoint继续强化学习得到的模型在常见任务上质量与GPT-5.6相当,且可运行在Nvidia H100和A100上,降低部署成本。微软表示正将这一方法扩展到Copilot Chat、Outlook、PowerPoint等产品。目前尚无后续独立发展事实。

    匹配字段标题

  2. 事件1 条新闻 · 1 个事实

    研究者披露 GitHub Copilot 提示注入致远程代码执行漏洞

    2025年8月13日,安全研究者 Johann Rehberger 披露 GitHub Copilot 与 VS Code 中的提示词注入漏洞 CVE-2025-53773。攻击者可通过源码文件、网页、GitHub issue 或 MCP 返回内容中的注入指令,向 ~/.vscode/settings.json 写入 "chat.tools.autoApprove": true,使 Copilot 进入 YOLO 模式并关闭全部用户确认,进而执行终端命令实现远程代码执行。该漏洞影响 Windows、macOS 和 Linux,作者演示了下载恶意软件、接入远程命令控制服务器,以及通过感染文件在 Git 项目间传播的 AI 病毒思路。作者于 2025 年 6 月 29 日报告,微软在 8 月补丁星期二发布修复;文中还提到 .vscode/tasks.json 和伪造 MCP 服务器等其他可导致代码执行的攻击面。

    匹配字段标题

星期五

星期三

星期一

  1. 事件1 条新闻 · 1 个事实

    OpenHands 演示构建 GitHub PR 查看器前端

    2024年9月10日,All Hands AI 团队演示了用开源 AI 智能体 OpenHands 构建一个 GitHub PR 查看器前端。据 OpenHands 官方博客,作者通过详细提示词指定 react + vite + typescript 技术栈,并让智能体自行测试,从零到可用约 30 分钟。过程中需要人工反馈浏览器控制台报错,并修复每仓库仅显示 10 个 PR 的分页限制,随后追加暗色模式与 MIT 许可证。目前该演示已形成可用的前端应用,暂无后续独立发展事实。

    匹配字段标题

星期五

  1. 事件1 条新闻 · 1 个事实

    分析发现LibreOffice代码含使用LLM的明确标记

    对今年递交到LibreOffice的代码所作分析显示,至少三处明确提及使用LLM,社区开发者称使用了Claude或GitHub Copilot等工具。The Document Foundation此前表示LibreOffice不会内置AI功能、核心开发者也不用LLM辅助编程,但回应称确实要求贡献者使用LLM时必须披露,总体上并不鼓励使用LLM。

    匹配字段摘要

  2. 事件1 条新闻 · 1 个事实

    Modem上线X集成,将X帖子转为支持工单

    Modem于2026年10月30日上线X集成,可搜索X上关于自家产品的帖子,过滤垃圾与玩笑后按主题归类,并推送到Slack的#bots-social频道。据Modem博客介绍,过去30天Modem读取30,000条X帖子,提炼出数百条可执行的bug报告和功能请求;同一需求在X、Slack、工单和销售通话中的反馈会合并为一个功能请求,并关联Linear issue与GitHub PR,修复上线后列出该通知谁、在哪回复。该集成包含在付费订阅中,可在Settings → Integrations → X开启。目前尚无后续发展。

    Modem于2026年10月30日上线X集成,可搜索X上关于自家产品的帖子,过滤垃圾与玩笑后按主题归类,并推送到Slack的 bots-social频道。据Modem博客介绍,过去30天Modem读取30,000条X帖子,提炼出数百条可执行的bug报告和功能请求;同一需求在X、Slack、工单和销售通话中的反馈会合并为一个功能请求,并关联Linear issue与GitHub PR,修复上线后列出该通知谁、在哪回复。该集成包含在付费订阅中,可在Settings → Integrations → X开启。目前尚无后续发展。

    匹配字段摘要

  3. 事件1 条新闻 · 1 个事实

    Rohan Paul提出智能体经济正在接管

    Rohan Paul 提出判断,称智能体经济正在接管。他引用数据称,GitHub 在 2026 年 9 月记录 73.8 亿次提交,是一年前的五倍多。为承接智能体生成代码的洪流,GitHub 今年已新增 400 万 CPU 核心、160PB 高速存储和 50Tb/s 网络容量。8 月 17 日流量激增曾导致认证、Actions、拉取请求和 Copilot 中断 7 小时 47 分钟,GitHub 正迁移到多区域 Azure 部署并重构 Git 以解耦存储与计算。

    匹配字段摘要

  4. 事件1 条新闻 · 1 个事实

    AYi开源情商外挂工具源码与核心提示词

    2026年10月29日,AYi开源了“情商外挂”工具的源码与核心System Prompt。据阿易 AI Notes发布的文章,该工具用Cursor配合Claude Opus 5.5做出,是零依赖的本地网页工具,可按《非暴力沟通》四要素改写带情绪的草稿,内置七类沟通对象与温和、坚定、直接三档语气。工具运行在本机127.0.0.1:8787,通过UUMit客户端生成固定HTTPS链接分发给同事,无需购买服务器或备案,权限可按人发放和收回。文章还给出单次输入800字限制、默认每分钟10次与每天200次的限流设置,以及两个GitHub仓库的源码和System Prompt。目前尚无后续进展。

    匹配字段摘要

  5. 事件1 条新闻 · 1 个事实

    Entire推出面向人机协作编码的Git托管平台

    2026年10月28日,前GitHub CEO创办的Entire推出新一代Git托管平台,面向人机协作编码,将代码托管、评审、CI和Agent会话记忆按人机协作方式重新设计。该平台以Trail替代以diff为主的PR时间线,每次推送由评审Agent在云沙箱中打分并跟踪未关闭问题,底层调用Claude Code、Codex等,沙箱由Daytona、E2B提供。其自研Git服务给出自家开源基准,称推送最高约比GitHub快89倍,并已接入Buildkite与Depot作为CI。目前尚无后续发展信息。

    匹配字段摘要

  6. 事件1 条新闻 · 1 个事实

    Serro推出Agentic TPM

    Serro发布“Agentic TPM”,用于在编码智能体所依据的决策发生变化时同步更新它们。该产品接入Slack、Linear、GitHub、Jira、Zoom、Notion、邮件和代码库,维护每个项目决策、负责人、风险与历史的版本化记录,并把智能体失败视为协调问题。目前该消息由Rohan Paul于2026年10月30日报道,尚无更多后续发展。

    匹配字段摘要

  7. 事件1 条新闻 · 1 个事实

    Unsloth让本地LLM自主控制浏览器完成任务

    2026年10月28日,Unsloth宣布本地LLM现在可以接管浏览器并自主完成任务。据其发布的信息,Qwen3.8-27B在无人干预下完成了下棋、绘画等操作,推文同时给出GitHub仓库和配套指南链接。目前该消息来自Unsloth第一方发布,尚无其他来源的独立报道或后续进展。

    匹配字段摘要

  8. 事件1 条新闻 · 1 个事实

    Ethan Mollick用Opus做出JIRA工单转恐怖游戏音频日志的游戏

    Ethan Mollick称,他让Opus构建了一款游戏,把任意真实项目中的JIRA工单转换成戏剧化音频日志,作为一款背景设定在神秘废弃空间站的2000年代风格恐怖游戏的剧情。该帖子附有试玩demo和GitHub链接。目前没有后续发展信息。

    匹配字段摘要

  9. 事件1 条新闻 · 1 个事实

    Pico CSS作者宣布停止维护并归档仓库

    Pico CSS作者宣布该项目不再维护,GitHub仓库已于2026年10月4日归档为只读,不再接受新issue、PR或发布新版本。作者表示,AI已能按需生成轻量、独立且可访问的HTML,极简CSS框架的意义因此下降;若要跟上时代需改用现代CSS并重写,那将是另一个项目。npm、jsDelivr CDN和picocss.com长期保持在线,项目仍为MIT许可,可自由fork,但名称和logo不在MIT许可范围内。

    匹配字段摘要

星期三

  1. 事件3 条新闻 · 1 个事实

    Axiom Math发布有限单群分类Lean完整机检证明

    2026年10月27日,Axiom Math发布其称为首个完整计算机检验的有限单群分类(CFSG)证明。据Unite.AI报道,该项目由工程师和数学家指挥数十个AI智能体,在24天内写出约4310万行Lean代码;项目页列出205万条声明、715篇论文与书籍语料,代码为不含sorry的Lean4证明,固定版本4.35.0-rc3,基于Mathlib和TauCeti,采用Apache-2.0许可。凤凰科技同日报道称,过程中智能体发现34处文献偏差,包括1986年John Walter不平衡群定理研究中的一处闭包断言反例,并参与构造并形式化新结果“Preservation of simple tops”,写入35页论文作为定理2.3。项目已上传GitHub,声明最终证明不含sorry、仅依赖标准公理,仓库审查状态为团队自评。

    匹配字段摘要