AI公司增加华盛顿游说支出至创纪录水平
包括OpenAI和Anthropic在内的领先AI公司已大幅增加其联邦游说支出，以影响华盛顿的AI监管和政策。
Claude AI 团队计划服务中断和支持挑战
用户报告 Claude AI 团队计划出现显著服务不可用，并且由于依赖类似 Fin 的自动机器人而难以联系到人工支持。
使用 Lean 和 LLMs 进行证明自动化
大型语言模型（LLMs）与像 Lean 这样的依赖类型语言的集成正在大幅降低形式验证的成本，使得证明以前太昂贵而无法实现的复杂软件不变量变得实际可行。
spikingjelly：用于大规模脉冲神经网络训练与推理的 PyTorch 原生框架
一个基于 PyTorch 的脉冲神经网络（SNN）框架，提供训练、推理以及在神经形态硬件上部署的工具。
Volvo/Eicher 车队平台的安全漏洞
安全研究员发现 Volvo/Eicher 车队平台存在一个关键漏洞，该漏洞可能导致对所有用户和车辆的未授权控制，凸显了云管理汽车软件中的系统性风险。
Audio-Cassette-Simulation: 使用 FFmpeg 模拟磁带音频
正如其在 Hacker News 上分享的标题和链接所示，Audio-Cassette-Simulation 仓库提供了基于 FFmpeg 的技术来模拟磁带音频特性。
Scriptc: Vercel 的 TypeScript 转原生编译器
Scriptc 将普通的 TypeScript 编译为小型、快速的原生可执行文件，无需 JavaScript 引擎；它对大部分代码使用静态编译，并为动态特性提供可选的 QuickJS-NG 引擎。
预测显示2026-2027年观测到的最强厄尔尼诺
多模型预测表明，2026-2027 年厄尔尼诺可能是有记录以来最强的，峰值中位数为 3.6°C，显著超过之前的 2.75°C 纪录。
physicsnemo：用于构建和训练面向科学与工程的物理感知 AI 模型的可扩展深度学习框架
一个开源深度学习框架，用于构建和训练面向科学与工程的物理感知 AI 模型，针对 NVIDIA GPU 进行优化。
Rescript：一款开源的、基于浏览器的 Descript 替代方案
Rescript 是一款开源视频编辑器，允许用户通过编辑文本转录来编辑视频，并在浏览器本地执行所有转录和渲染工作，以实现最高的隐私保护。
lightly: 一个用于自监督预训练的模块化计算机视觉框架
一个用于自监督学习的计算机视觉框架，通过使用 PyTorch 提供模块化的构建块，在无标签图像数据上训练模型。
VLC for Unity 新增 Linux 支持
VLC for Unity 现在支持 x86_64 架构上的 Linux，利用 libVLC 在 Unity 游戏引擎中提供硬件加速的视频播放。
法国消防员首次遇见火积云 – 2026年7月
2026年7月26日，法国消防员在兰德斯地区遭遇了一场由野火生成的火积云，这标志着法国首次记录到此类火灾驱动的风暴，并凸显了其自生风、闪电和不可预测蔓延带来的前所未有的挑战。
Decker：一款受 HyperCard 启发的现代交互式文档平台
Decker 是一个免费的开源 multimedia 平台，通过现代脚本语言 (Lil)、可导出为自包含 HTML 的跨平台功能以及怀旧的 1-bit 美学，复兴了 HyperCard 基于卡片的工作流，让任何人都能在没有广告或遥测的情况下创建交互式文档、游戏和工具。
boxmot: 一个具有统一 Python 和 C++ 实现的可插拔多目标跟踪框架
一个用于多目标跟踪的可插拔 Python 和 C++ 库，为更换检测器、跟踪器和 ReID 模块提供了一个统一的接口。
yolov3: 一个具有多尺度预测和多种模型变体，适用于边缘和服务器部署的实时目标检测框架
YOLOv3 实时目标检测模型的 PyTorch 实现，为多种模型变体提供训练、推理和部署工具。
科学计算在具代理能力的 AI 时代 – OpenAI 现场报告
OpenAI 分享了一份探索性现场报告，展示了 AI 代理如 Codex 和 Claude Code 如何加速了八个生命科学软件项目，使研究人员的角色转向验证，同时凸显了长期 stewardship 的必要性。
OlmoEarth 平台：行星尺度的地理空间推理
Hugging Face 和 Ai2 推出了 OlmoEarth 平台，这是一种基础设施，旨在以每平方公里仅几分钱的成本将地理空间基础模型从微调扩展到大陆规模的推理。
OpenAI 的 ChatGPT Work 发布及其与 Codex 的共享 Agent Harness
OpenAI 推出了 ChatGPT Work，旨在将 Codex 的 Agent 能力与 ChatGPT 融合，为知识工作者提供持久化环境、artifacts、sites、记忆和子 Agent，同时为大多数用户保持单一的默认体验。
ctrlb-decompose: 用于 LLMs 的日志压缩和模式提取
ctrlb-decompose 是一个基于 Rust 的工具，能够将数百万条噪声日志行压缩为一小套结构模式，并附带统计和异常检测，以使日志适用于 LLM。
BMW 车内蜘蛛侠动画与汽车广告之争
BMW 在车辆显示屏中推出了可选择的蜘蛛侠主题动画，引发了用户关于广告侵入私人车辆所有权的争论。
数据导向设计入门
数据导向设计（DOD）优先考虑内存布局和数据访问模式，而非对象层次结构，以最大化 CPU 缓存效率并实现大规模并行。
onnxruntime: 一个用于机器学习模型的跨平台推理和训练加速器
一个用于在各种硬件和操作系统上进行高性能推理和训练的跨平台机器学习加速器。
MAI-Cyber-1-Flash 在 MDASH 内部 – Microsoft AI 公告
Microsoft 宣布推出 MAI-Cyber-1-Flash，这是一个集成到 MDASH 的紧凑型安全模型，能够以领先模型一半的成本提供世界级的漏洞检测。
HMTP: 使用现有Web标准设计现代电子邮件继任者
HMTP（超文本邮件传输协议）是一种提出的电子邮件继任者，它使用包括HTTP、WebFinger和ActivityPub在内的现有Web标准栈来替代SMTP，以解决长期存在的垃圾邮件、欺骗和加密问题。
LFM2.5-Encoders 发布
Liquid AI 发布了 LFM2.5-Encoder-230M 和 LFM2.5-Encoder-350M，这些通用编码器模型提供高质量的长上下文推理（最多 8,192 个标记），其 CPU 性能相比 ModernBERT-base 有显著提升。
Stanley Robotics 在伦敦盖特威克机场的自动停车
伦敦盖特威克机场引入了由 Stanley Robotics 提供的机器人停车服务，该服务允许乘客在车辆自动移动并存储以优化空间的过程中保留他们的钥匙。
supervision：一个模型无关的计算机视觉工具包，用于数据处理和可视化
一个全面的计算机视觉工具包，提供模型无关的数据加载、可视化和数据集管理构建块。
streamlit: 一个用于快速构建和共享交互式数据与 AI 应用的 Python 框架
一个开源的 Python 框架，可将脚本转换为用于数据仪表板、报告和 AI 聊天应用的交互式 Web 应用。
yolov5：一个快速且经生产验证的计算机视觉框架，用于目标检测、分割和分类
基于 PyTorch 的快速易用计算机视觉模型，支持实时目标检测、图像分割和图像分类。
Gemini Robotics 2 发布说明 / 新功能
Google DeepMind 推出了 Gemini Robotics 2，这是一套使机器人系统能够实现智能全身控制、高级灵巧性和多机器人协作的模型套件。
Let's Seal：一种用于免费、自托管文档签名的开放标准
Let's Seal 通过结合密码学签名、锚定在 Bitcoin 上的时间戳和透明日志，引入了 SEAL (Sealed Evidence Anchored to a Ledger) 标准，为付费文档签名服务提供了一个免费的开源替代方案。
杀死 Cookie 横幅：欧盟委员会提出的浏览器级隐私信号及行业反对
欧盟委员会已提出浏览器级隐私信号以取代 cookie 横幅，但追踪行业的游说正在阻止该改革。
Terence Tao：AI时代的数学
Terence Tao 认为，随着 AI 能力的增长，数学界必须将重点从证明生成转向证明消化和规范化，以避免出现“证明过剩”的危机。
Sunflowers: 具有分层难度引擎的逻辑益智游戏
Sunflowers 是一款使用专用逻辑引擎的逻辑益智游戏，根据解决它们所需的特定推理技巧对谜题进行分类，难度范围从基础到疯狂。
mirage：一个统一的虚拟文件系统，让 AI 代理使用 bash 命令与多种数据源交互
一个统一的虚拟文件系统，将 S3、Google Drive、Slack 等服务挂载为单一文件系统，使 AI 代理能够使用 bash 命令与数据交互。
liteflow：一个将复杂业务逻辑和 AI Agent 统一为组件的规则引擎框架
面向 Java 的现代规则引擎框架，解耦复杂业务编排，并将 AI Agent 视为可编排的组件。
谷歌披露在SpaceX持有941亿美元的股份，代表约6%的所有权
谷歌已披露其在SpaceX的股份现在价值为941亿美元，相当于大约6%的所有权份额。
PGSimCity: 用3D可视化PostgreSQL引擎
PGSimCity 是一个开源的 3D 工作模型，旨在可视化 PostgreSQL 数据库引擎的内部架构和调度。
Ruff v0.16.0 发布说明 / 新特性
Ruff v0.16.0 将其默认规则集从 59 条大幅扩展到 413 条，并引入了 Markdown 代码块格式化和新的抑制注释格式。
SenseNova-Skills：为 AI 代理提供端到端办公能力的套件，涵盖信息图生成和深度研究
一套面向 AI 代理的专业办公技能集合，实现信息图自动生成、PPT 创建、Excel 数据分析以及深度研究的全流程自动化。
Libsm64: 将超级马里奥64作为外部游戏引擎的库使用
Libsm64 提供了一个可重用的库，使开发者能够将超级马里奥64嵌入到其他游戏引擎中，正如社区演示所示，例如马里奥在 Half‑Life 2 中运行。
Token 中转市场：Token 转售商与欺诈生态系统如何利用 AI 模型
深入探讨了多层级的 Token 中转市场，该市场通过账号滥用、被盗凭据以及像 one-api 和 new-api 这样的开源网关软件，以极低折扣代理 AI 模型访问权限。
holaOS：通过 100 多个工作场所集成构建持久专业记忆的本地优先工作代理
HolaOS 是一款本地优先的 AI 工作代理，能够与 100 多个工作场所工具集成，构建用户可控的持久专业上下文记忆。
新的 AI 超能力：专注与执行
AI 提高了任务效率，但带来了‘制造工作’和倦怠的风险；解决方案是将项目的横向扩张转变为纵向深度和质量。
InsForge：为代理式编码提供基础设施原语作为 AI 代理工具的一体化后端平台
一个开源后端平台，为 AI 编码代理提供数据库、认证、存储等工具和基础设施，帮助它们端到端构建并部署全栈应用。
zcf: 一键初始化 Claude Code 和 Codex AI 编码代理的零配置设置工具
一个零配置初始化工具，为 Claude Code 和 Codex 提供一键设置，包括工作流、API 配置和 MCP。
antigravity-awesome-skills: 它是什么，解决了什么问题以及为什么它正受到关注
可安装的 GitHub 库，包含 1,900 多种适用于 Claude Code、Cursor、Codex CLI、Autohand Code、Gemini CLI、Antigravity 等工具的智能体技能。包括专业插件、安装程序 CLI、捆绑包、工作流以及官方/社区技能集合。
AI赋能的悖论：为什么细节仍然重要
David Nicholas Williams认为，真正的专业知识和赋能来源于掌握细节，这表明使用AI来规避任务中的‘难点’会阻止发展出实现高质量、新颖结果所必需的技能。
JetZero Z4：正在研发首款商用全翼飞机
JetZero 正在研发 Z4，这是一款商用全翼飞机，旨在比传统的管身+机翼喷气式飞机减少高达 50% 的燃油消耗。