Open Glean开源知识工作平台
hydra-db/open-glean 成为 GitHub 热门新项目，当前约 715 stars。该项目定位为开源 AI 知识工作平台，可连接应用、检索答案并辅助完成工作任务。
最新动态
Rustls十周年回顾并公布路线图
Rustls发布十周年回顾，介绍其从社区项目发展为拥有专职维护者和可持续资金支持的成熟开源TLS库，并持续推进后量子密码学、FIPS认证和加密ClientHello等功能。基准测试显示，Rustls 0.23.37在x86_64完整握手性能上高于OpenSSL 3.6.1和BoringSSL。
oMLX维护者加入Hugging Face
oMLX创建者兼维护者Jun Kim加入Hugging Face，将继续领导该Apache 2.0项目并支持MLX社区。Hugging Face称此举将提升oMLX稳定性和开发速度，强化Apple Silicon本地AI生态。
Transformers支持GGUF量化
Hugging Face宣布Transformers可直接运行llama.cpp生态的GGUF量化模型，用户可通过from_pretrained在本地加载并生成。此举打通Transformers与Ollama、LM Studio、Jan等本地推理生态常用格式，降低笔记本运行大模型的门槛。
英国AISI携手EvalEval推进评测复现
英国人工智能安全研究所（AISI）与EvalEval深化合作，将通过Every Eval Ever（EEE）模式推动AI基准测试结果的标准化报告与复现。该项目旨在解决评测格式分散、关键信息缺失及重复运行成本高等问题。
Linear重构CI应对AI编程
Linear称AI编码和Agent显著加快代码提交节奏，使CI验证成为开发瓶颈并推高基础设施成本。其围绕PR等待时间和Runner耗时重构CI流程，在测试规模大幅增长的情况下仍降低了等待时间与资源消耗。
恶意npm数学库暗藏远程控制植入
研究人员发现npm包mathmain伪装成mathjs副本，内置加密远程访问植入程序。恶意代码通过特定数学方程触发解密，并借助公共聊天服务和区块链网络接收攻击者指令。
Lambda SnapStart支持容器镜像
亚马逊云科技将 Lambda SnapStart 扩展至容器镜像打包函数，缓解此前大型 Python 依赖在 ZIP 250MB 限制与冷启动优化之间的取舍。容器镜像容量最高 10GB，结合 SnapStart 后可将启动时间缩短至不到一秒。
开源项目实现Apple Silicon运行iOS 27虚拟机
开源项目 vphone-cli 基于苹果 Virtualization.framework，让完整 iOS 27 系统在 Apple Silicon Mac 上以虚拟机运行。项目支持自动下载固件、修补启动链、DFU 恢复，并提供 root SSH 与 VNC 图形界面访问，可用于安全研究、逆向工程和自动化测试。
Jev网页Agent项目走红
browser-use/jev-ultrafast 登上 GitHub 热门新项目，标称“最快且最便宜的网页 Agent”，当前已有 14654 stars。项目切中 AI Agent 与浏览器自动化方向，热度信号很高，值得关注其性能与成本实现细节。
OceanBase Data Agent登顶国际榜单
OceanBase团队的Data Agent方案Scout以90.62%的准确率登顶国际Data Agent Benchmark，成为首个突破90%的参评方案。该系统基于国产数据库OceanBase与国产大模型GLM-5.2构建，相关能力将融入OceanBase DataPilot，体现模型、Agent与数据系统协同的重要性。
Cloudflare Python Workers正式GA
Cloudflare宣布Python Workers正式GA，Python成为其Developer Platform的一等支持语言。开发者可在Workers运行时中使用Python代码、库和常见框架，并连接Workers AI、R2、D1、Durable Objects等平台能力。
Laya决策模型移植Apple Core ML
GitHub热门项目mizorewww/laya-coreml将Laya类型决策模型移植至Apple Core ML和神经引擎，实现本地运行。在M3 Max上短决策延迟约5毫秒，并提供可复现的速度与能耗基准测试。
GitHub Copilot推出多模型路由HydraFusion
GitHub推出Copilot高级研究预览项目HydraFusion，通过运行时多模型协调，按任务复杂度选择单模型、级联或评审执行模式。系统引入成本计账、执行边界、评审隔离和安全补丁等机制，在三项代理式编码基准测试中提升质量并降低预估成本。
规范驱动开发应对AI代码验证
文章指出，AI 编程助手普及后，软件开发瓶颈正从“写代码”转向“验证代码”。规范驱动开发通过先审查规范、再约束 AI 生成代码，试图满足安全、意图一致性和合规审计要求。
AI生成代码趋向可丢弃
Phillip Mortimer 在 QCon London 演讲中称，AI 时代代码正变得“只写且不可读”，测试将承担定义行为与文档的角色。他认为大规模 AI 生成代码难以人工逐行审查，建议依赖自动化审查、可观测性驱动的智能体自修复，并将开发意图与具体实现解耦。
Z.ai开源编码Agent框架
Z.ai 发布/开源编码 Agent harness 项目 ZCode，定位为强大、智能且可扩展的编码代理框架。该仓库成为 GitHub 热门新项目，已获得约 1886 个 star，显示开发者对 AI 编程 Agent 工具链持续关注。
Hugging Face预告tokenizers v1
Hugging Face介绍即将发布的tokenizers v1，重点提升编码、解码和高并发扩展性能。文章称新版在多种场景下相比v0.23可实现数十倍速度提升，以减少CPU分词成为GPU训练和推理瓶颈的情况。
Amiga Unix社区复兴
非官方社区项目 amigaux.org 正在重启 Commodore 早年为 Amiga 推出的 System V Release 4 版本 Amix。项目计划支持 68040/68060 与现代加速卡硬件，并加入现代工具链、包管理器和新驱动，后续将提供可在真机和模拟器安装的介质。
Google开源Agent编排器AX
Google 推出 Open Agentic Orchestrator（AX），用于声明式运行 agentic task，可自动配置工作区、沙箱隔离任务并限制网络访问。项目面向大规模集群执行，支持单任务 agent 或多任务组合，降低 Agent 批量运行和管控成本。