1701

FinceptTerminal:具备机构级分析和 AI 驱动投资代理的原生 C++ 金融情报平台

原生 C++ 金融情报平台,提供机构级分析、AI 代理和 100+ 数据连接器,适用于专业金融分析和交易。

1702

antigravity-awesome-skills:一个可安装的 1,700 多个代理技能和剧本库,供 AI 编码助手使用

一个可安装的 1,700 多个代理技能和剧本库,供 Claude Code、Cursor 等 AI 编码助手使用,以标准化重复的开发任务。

1703

AI x 加密综述:代理商业、可验证推理与去中心化计算

AI 与 Web3 的交叉正从简单的聊天机器人转向 “代理商业”,其特征是 x402 微支付的兴起、可验证的 AI 身份以及去中心化计算网络。

1704

AI 与前沿技术综述:本地模型、代理进化与机器人竞赛

近期发展凸显了向本地 AI 硬件的转变、自我改进代理系统的崛起,以及中国实验室在前沿模型定价和基础设施方面的战略性挑战。

1705

Hugging Face 原生速度 vLLM Transformers 建模后端

Hugging Face 通过在运行时动态应用推理专用的层融合,更新了 transformers vLLM 后端,使其吞吐量能够匹配或超过自定义 vLLM 实现。

1706

介绍 GPT‑Live‑1 和 GPT‑Live‑1 mini:OpenAI 的全双工语音模型

OpenAI 宣布推出 GPT‑Live‑1 和 GPT‑Live‑1 mini,这两款全双工语音模型实现自然、可打断的对话,并将复杂推理委派给 GPT‑5.5,现已在全球范围内向 ChatGPT 用户推出。

1707

Elm 0.19.2 与迈向 Elm 1.0 之路

Elm 0.19.2 引入了编译器性能的改进,并标志着一系列旨在迈向稳定 1.0 版本的小型、非破坏性发布的开始。

1708

giskard-oss:面向代理系统和大语言模型(LLM)应用的模块化测试与红队框架

一个开源的 Python 库,用于测试和评估代理系统,提供红队、漏洞扫描以及 LLM‑as‑judge 评估工具。

1709

graphify: 一个为代码库设计的知识图谱生成器,用路径追踪和语义查询取代 grep

一种将代码库和文档映射为可搜索知识图谱的工具,使开发者能够查询关系并追踪概念之间的路径,而不是通过 grep 文件。

1710

hermex: 用于管理自托管 AI agent 的原生 iOS 控制平面

一款原生的 SwiftUI iPhone 应用,作为自托管 hermes-webui AI agent 的移动控制平面,确保数据和计算都保留在用户自己的硬件上。

1711

Hugging Face 与 Amazon SageMaker Studio 集成

Hugging Face 推出了与 Amazon SageMaker AI 的深度链接集成,使开发者能够通过一次点击,从模型发现直接进入 SageMaker Studio 进行微调或部署。

1712

小阴茎规则:一种规避诽谤诉讼的策略

小阴茎规则是一种非正式的文学策略,作者通过为基于真实人物的角色添加一个令人羞辱的细节,从而威慑目标人物使其不敢声称该角色就是其本人,以此来避免诽谤指控。

1713

Amazon Mechanical Turk 将停止接受新客户

Amazon 将于 2026 年 7 月 30 日停止接受 Amazon Mechanical Turk 的新客户,由于面临 AI 和技术债带来的过时风险,该众包服务实际上已进入了“维持生命”阶段。

1714

Homegames: 一个开源的基于浏览器的游戏平台

Homegames 是一个免费的、采用 GPLv3 许可的开源平台,允许用户在无需账户的情况下创建、发布和游玩多人浏览器游戏。

1715

Kalshi 与预测市场向主流新闻的整合

预测市场平台 Kalshi 正在日益整合进 CNN 和 CNBC 等主流新闻机构,引发了关于信息游戏化和基于赌博的预测伦理的辩论。

1716

达美航班在7月4日降落于中途机场时被烟花击中

一架达美航空客机在独立日于芝加哥中途机场降落时被消费者级烟花击中,引发安全担忧,并凸显机场附近非法烟花的风险。

1717

OpenPrinter:一款可维修且开源的喷墨打印机"}}]

OpenPrinter 是一款紧凑、可维修的喷墨打印机,具有可填充墨水系统,支持标准纸张和纸卷,目前正通过众筹方式提供。

1718

Nintendo Switch 2 及配件电池版本修订(面向欧洲市场)

任天堂将从 2026 年夏季开始在欧洲为 Nintendo Switch 2 及部分配件引入用户可更换电池,以符合 2027 年 2 月生效的欧盟电池法规。

1719

公共天才的私人掠夺:AI 训练与语料库版税的必要性

本分析探讨了前沿 AI 实验室如何将互联网的集体知识私有化,并提出了“语料库版税”制度,以补偿公众因从人类生成的数据中提取的无法归属的价值而遭受的损失。

1720

通过 Coursera 和伦敦大学完成计算机科学学位

一位拥有 21 年经验的软件工程师详细介绍了在全职工作的同时,通过 Coursera 和伦敦大学获得计算机科学理学学士学位的过程。

1721

GPT-5.6 Sol Ultra 集成至 Codex

OpenAI 正在将 GPT-5.6 Sol Ultra 模式引入 Codex,引入了一种由 subagent 驱动的方法来加速复杂的技术工作流。

1722

代码整洁度是否会影响编程智能体?arXiv:2605.20049 分析

一项使用最小对组仓库进行的受控研究表明,虽然代码整洁度不会显著改变 AI 智能体的任务通过率,但它能大幅减少 token 消耗和文件重新访问次数。

1723

Foundry 托管计算上的 Hugging Face 模型

Microsoft Foundry 现在整合了一个经过策划、每周刷新的 Hugging Face 开放权重模型目录,可以通过一键部署到 Foundry 托管计算上,以实现企业级运营化。

1724

Anthropic Claude Code 与订阅和 API 访问之间的矛盾

开发者批评 Anthropic 将 Claude 订阅福利限制在 Claude Code 等自家工具上,导致供应商锁定并阻碍第三方集成。

1725

Castro Podcasts:为何高接触式人工支持未能成为产品差异化因素

Castro Podcasts 的所有者发现,个性化、细致的人工支持往往无法建立客户忠诚度,反而会对独立软件开发者产生适得其反的效果。

1726

Flipper Zero 宣布新的固件维护流程和社区贡献规则

Flipper Zero 正在分配资源维护其固件,并将通过 GitHub Discussions 进行投票和更严格的贡献指南,专门处理社区功能请求。

1727

Kani:Rust 的模型检查器

Kani 是一个开源的 Rust 模型检查器,使用有界模型检查提供关于 unsafe 操作、功能正确性以及运行时 panic 不存在的正确性保证。

1728

Phosphor AI Tutor:在达特茅斯统计课程中实现 0.71‑1.30 SD 效应量

一次 Phosphor(AI 驱动学习平台)的试点部署表明,将 LLM 评分的构造性回答题嵌入教学内容,可使期末考试成绩提升 0.71 到 1.30 个标准差。

1729

Organic Maps: 开源导航与 CoMaps 分叉项目

Organic Maps 是一款基于 OpenStreetMap 的离线优先导航应用,但由于社区对治理和许可问题的担忧,导致了其分叉项目 CoMaps 的出现。

1730

Cerast Intelligence OSINT 工具:发现域名上的暴露文件

Cerast Intelligence 是一个 OSINT 网络服务,扫描公共域名以发现暴露的文件和错误配置,突出常见的疏漏如 `.DS_Store` 泄漏,并引发关于负责任扫描实践的讨论。

1731

company-research-agent: 它是什么,解决了什么问题以及为什么它正受到关注

一种多智能体 AI 工具,通过从多个来源收集数据并使用专门智能体的流水线将其综合为全面的报告,从而实现公司研究的自动化。

1732

Cloudflare Workers Cache: Serverless Origin 的边缘缓存

Cloudflare Workers Cache 允许 Workers 充当 origin,并配有一个位于其前端的层级缓存,通过在不执行 Worker 代码的情况下提供缓存响应,从而降低 CPU 成本和延迟。

1733

数字游戏与所有权的侵蚀

从实体到数字游戏发行的转变,与其说是介质的改变,不如说是消费者所有权的系统性侵蚀以及限制性许可模式的兴起。

1734

欧盟理事会快速推进 “Chat Control 1.0” 消息扫描

欧盟理事会正利用加速的立法程序重新启动 “Chat Control 1.0”,允许消息提供商自愿扫描私人通信以查找儿童性侵害材料。

1735

智能是免费的,现在怎么办?面向代理、由代理构建以及由代理驱动的数据系统

BAIR 研究者提出了一种新框架,用于在 AI 推理成本趋近于零时,重新设计数据系统以适应代理工作负载、代理状态管理以及代理驱动的系统合成。

1736

CubeSandbox: 为 AI agent 提供具有硬件级隔离和低于 60ms 启动时间的高性能安全沙箱服务

一种为 AI agent 提供的高性能、安全沙箱服务,提供具有硬件隔离的 MicroVM,启动时间低于 60ms,并兼容 E2B SDK。

1737

Pulpie: 用于网页清洗的帕累托最优模型

Pulpie 是一个开源的基于编码器的模型家族,通过从 HTML 中提取主体内容,以仅为 Dripper 等基于解码器的替代方案的 1/20 成本实现 SOTA 级别的质量。

1738

Chicago艺术学院 API:探索 'has_not_been_viewed_much' 字段

Chicago艺术学院的 API 特有一个布尔字段叫做 'has_not_been_viewed_much',它识别自2010年以来浏览次数少于200次的艺术品。

1739

nasiko: 一个用于容器化 AI agent 的集中式管理和智能路由的开发者控制平面

一个 AI agent 开发者控制平面,为生产环境下的 AI agent 生态系统提供集中式管理、智能路由和可观测性。

1740

快速软件,最好的软件:为什么速度是工程质量的代名词

软件中的速度不仅是性能的表现;它是通用工程质量的代名词,也是用户流和信任的关键组成部分。

1741

VLM-R1:使用 GRPO 训练的稳定且可泛化的 R1 风格视觉语言模型,用于多模态推理

VLM-R1 是一个使用 GRPO 训练 R1 风格大型视觉语言模型的框架,旨在提升视觉定位、数学和目标检测等任务的推理能力和泛化性能。

1742

为什么程序员在 AI 时代应当练习冥想

随着 AI 代理将编程从流状态活动转变为高频率的上下文切换任务,开发者必须通过有意识的冥想寻找新的心境平衡方式。

1743

大麻使用与心脏病发作风险:2025年研究结果

美国 College of Cardiology 展示的新研究表明,大麻使用者,尤其是 50 岁以下的人群,面临着显著更高的心脏病发作和其他心血管事件的风险。

1744

AI 与前沿技术综述:向代理工作流和本地主权的转变

AI 版图正从单体聊天模型转向自主的代理工作流和高性能本地推理,以规避云端限制和成本。

1745

AI x Crypto Roundup: The Rise of Agentic Commerce and Verifiable Compute

AI 与 Web3 的交集正在从模型训练转向由 x402 微支付、去中心化推理和可验证 AI 身份驱动的功能性“代理经济”(agentic economy)。

1746

Hugging Face 和 SkyPilot 集成以实现零弹出 AI 存储

Hugging Face 和 SkyPilot 已集成,使 AI 工作负载能够在任何云提供商上运行,并且读取存储在 Hugging Face Hub 上的模型和数据集时产生零弹出费用。

1747

MUFG AI 原生转型与 OpenAI

MUFG 正与 OpenAI 合作,为 35,000 名员工实施 ChatGPT Enterprise,并开发 AI 驱动的客户体验,以转型为 AI 原生金融集团。

1748

澳大利亚支付Plus整合ChatGPT Enterprise和Codex

澳大利亚支付Plus(AP+)已部署ChatGPT Enterprise和Codex以加速技术调查、简化复杂知识工作,并将产品原型时间从几周缩短到一天。

1749

LeRobot v0.6.0 release notes / what's new

LeRobot v0.6.0 引入了世界模型策略、扩展的 VLA 模型库、统一的奖励模型 API,以及具有 DAgger 式人机回环纠正功能的新部署 CLI。

1750

unity-mcp: 一个基于 MCP 的桥接器,使 LLM 能够通过自然语言控制 Unity Editor

一个通过 Model Context Protocol 连接 AI 助手与 Unity Editor 的桥接器,使开发者能够使用自然语言管理场景, 资源, 和脚本。