2026年07月08日
最后更新：2026-07-08 08:02:20 UTC+8
文章网址：https://astro.build/blog/astro-7/ 评论网址：https://news.ycombinator.com/item?id=48821653 积分：173 # 评论: 47
文章网址：https://blog.zksecurity.xyz/posts/circl-bugs/ 评论网址：https://news.ycombinator.com/item?id=48821749 积分：68 # 评论: 9
我想自己使用主要是 vivi 编码的 Apple Containers 前端。但如果其他人想使用它，这里是源代码。 评论网址：https://news.ycombinator.com/item?id=48821848 积分：152 # 评论: 32
文章网址：https://allaboutcookies.org/eu-mandatory-distracted-driver-system 评论网址：https://news.ycombinator.com/item?id=48823557 积分：354 # 评论: 454
文章网址：https://www.gao.gov/products/gao-26-108193 评论网址：https://news.ycombinator.com/item?id=48824826 积分：16 # 评论: 1
arXiv:2607.02807v1 公告类型：新 摘要：长时间运行的编码代理（例如自动研究）可以持续发现开放式问题的优化。然而，他们倾向于收敛于单一的高级方法，然后进行低级编辑，而忽略了解决问题的其他高级方法。我们假设两个线束级设计选择导致了这种行为：accum...
arXiv:2607.02771v1 公告类型：新 摘要：领导计算设施管理着大规模的科学数据集，这些数据集在用作人工智能训练数据之前通常需要进行大量转换。然而，现有的框架还没有完全统一自动化转换、准备情况评估、来源跟踪和代理本机部署。我们推出 REDI，一个开源框架，它添加了...
arXiv:2607.02686v1 Announce Type: new 摘要：在部分可观察性下运行的强化学习代理必须对不完整信息采取行动，这使它们成为具有广泛推理先验的小语言模型（SLM）指导的自然候选者。然而，将 SLM 指导整合到这种环境中已被证明是困难的：在所有测试环境中，普通的不确定性门控方法......
arXiv:2607.02672v1 Announce Type: new 摘要：局部成对比较是了解人们希望决策规则如何发挥作用的标准工具，例如在参与式设计或协调中。然而，它们的使用建立在两个强有力的假设之上：局部比较足以证明一个人希望自动决策规则如何表现，并且人们总是可以回答这些比较...
arXiv:2607.02542v1 公告类型：新 摘要：通用的实体代理必须理解多模式指令，预测其环境将如何演变，并在更广泛的范围内产生精确的控制动作。现有的方法通常专注于视觉语言推理、基于视频的世界建模或动作生成，而级联管道首先综合未来......
大家好！ I wanted to share some recent progress on TorchJD that might be useful to the machine learning community. When training models with multiple losses (multiple tasks, constraints, auxiliary losses, regularization terms, etc.), you typically have two options: Scalarization: Various ways to combin...
大家好，r/MachineLearning，我是 Raffi，Mozilla 的首席技术官。 7 月 14 日星期二，我们将发布首份开源人工智能现状报告，我将在这里现场回答您向我提出的任何问题！ AMA 时间：东部时间下午 1 点/太平洋时间上午 10 点/英国夏令时间下午 6 点。 the report is about what's actually happening with open source AI in production — developers, enterprises, the whole ecosystem — not the version of the story...
大家好，我最近完成了博士学位。关于无线电传播建模的可微光线追踪的论文。我不只是汇编我已发表的论文，而是尝试将其编写为一本易于理解、独立的教科书，供任何对无线电传播模拟、自动差分和机器学习交叉点感兴趣的人使用。 永久句柄：https://hdl.handle.net/2078.5/278727 带有 TeX 源文件的 Repo ...
我们很高兴发布 MIRA，这是 General Intuition、Kyutai 和 Epic Games 之间的合作成果。 Mira 接受了 10,000 小时的火箭联盟合成数据训练。该模型具有 5B 参数，可在单个 B200 上以 20 fps 运行 4 名玩家。我们发布了可玩的在线演示、深入的技术报告以及 4 人游戏的 1000 小时数据集：演示：https://mira-wm.com 技术报告...
豆包和千问的消费端智能体入口出现下线或收起信号，但公开渠道未见完整停服公告。更确定的变化是：长尾智能体广场从前台分发位退后，模型、插件、工作流和企业应用构建继续留在后台。这次变化最容易被误读成“Agent 赛道退潮”。更准确的说法是：下线发生在消费端入口，不是底层 Agent 能力。截至 2026 年 7 月 4 日，公开页面仍把豆包、千问呈现为通用 AI 助手，而不是面向开发者的智能体构建平台。另一侧，开发者和企业产品线仍保留智能体应用、工作流、插件、MCP、模型调用等能力。两条线分开看，信号就清楚了：消费端不再强调“逛智能体”，平台侧还在继续把 Agent 当成应用构建能力。这不是小差别。...
Claude Code“隐藏后门检测中国用户”的说法正在传播，但目前能确认的是访问地区限制、身份验证和源码泄露背景。把地理风控直接等同于后门，证据不够；对中国开发者更现实的风险，是代理和中转服务泄露账号、密钥和提示词。可以确认的是访问限制，不是后门Claude Code 不是一个完全离线的本地二进制。它可以读取代码库、编辑文件、运行命令，但核心能力仍依赖账号、订阅、API 或第三方模型通道。官方安装文档把所在地列为前置要求：用户需要位于支持国家或地区。公开的支持地区列表覆盖 API 和 Claude.ai，两张列表里都没有中国大陆、香港和澳门。这已经足够解释一部分社区现象：同样的客户端，在不同...
Anthropic 在 2026 年 6 月 30 日发布 Claude Sonnet 5。它的标准 API 价格是每百万输入 3 美元、输出 15 美元，比 Opus 4.8 低 40%；到 8 月 31 日还有每百万输入 2 美元、输出 10 美元的限时价。能力叙事集中在编码、浏览器使用和长链路 Agent，独立复现仍要等真实项目数据。价格：标准价比 Opus 4.8 低 40%Claude Sonnet 5 的 API ID 是 claude-sonnet-5，定位不是旗舰线替代品，而是把更多 Agent 能力放进 Sonnet 价格带。标准价格维持 Sonnet 4.6 水平：每百万输...
Gemini Omni Flash 的重点不是“又一个视频模型”，而是把文本、图片、视频和音频都纳入同一条生成链路。它先在 Flow、Gemini 和 YouTube Shorts 等产品内落地，API 与第三方长测还没有形成稳定结论。Omni 从视频开始Gemini Omni 是 Google 新开出的生成模型系列，第一款模型叫 Gemini Omni Flash。这个名字容易误读：它不是 Gemini Flash 文本模型的普通小版本更新，而是一个面向生成媒体的 Omni 分支，首个落点是视频。它能把文本、图片、视频、音频作为引用输入，生成一段带画面和声音的视频，或者在已有视频上做多轮编辑...
Nano Banana 2 Lite 已在 Gemini API GA，模型 ID 为 gemini-3.1-flash-lite-image。它只支持 1K 输出，标准调用每张约 0.0336 美元，Batch 约 0.0168 美元，定位不是画质旗舰，而是高频交互和低成本编辑。Lite 把重点放在吞吐和价格Nano Banana 2 Lite 的稳定模型 ID 是 gemini-3.1-flash-lite-image，另有 gemini-3.1-flash-lite-image-preview-06-30 预览别名。它已进入 GA，Gemini API 的生产环境可以直接调用稳定 ID。...
DeepSeek V4 正式版被列入 7 月中旬上线窗口，API 计费可能从单一价格切到峰谷价。Pro 版输出在平时为 6 元/百万 tokens，高峰时段为 12 元；Flash 输出从 2 元升到 4 元。公开页面尚未同步这组调整，现阶段只能按 API 用户通知处理。正式版时间窗口落在 7 月中旬DeepSeek V4 预览版已经跑了两个多月。新的 API 用户通知给出下一步安排：V4 正式版计划在 2026 年 7 月中旬上线，更新方向包括功能优化和性能提升，但没有给出新的 benchmark、上下文窗口变化或模型架构细节。这类信息不能写成完整发布。更准确的判断是：DeepSeek 已经...
DeepSeek 把 DSpark 放到了 DeepSeek-V4 的发布链路里：它面向 Pro 和 Flash 两个检查点，核心目标是用推测解码压低生成延迟。这不是新基座模型发布，更接近一次推理系统侧的加速更新。DSpark改的是解码，不是模型定位DSpark 的位置需要先说清楚：它不是 DeepSeek-V4 之外的新一代大模型，而是给 DeepSeek-V4 Pro 和 DeepSeek-V4 Flash 配套的推测解码模块。推测解码的基本思路很直接。先让一个更轻的草稿模块连续猜出若干 token，再由主模型批量校验。猜对的 token 可以一次性通过，猜错就回退到主模型正常生成。理想情...
豆包专业版不只是把聊天助手加上会员入口。付费协议已经把会员、云存储和体系内产品消耗写进同一套规则，办公任务模式更像是把 PPT、文档、数据分析等高算力任务统一纳入额度管理。专业版从灰度测试走向正式付费豆包 iOS 端当前版本为 13.9.0，更新时间是 2026 年 6 月 23 日。App Store 页面已经把付费订阅写进产品描述：基础版免费，标准版连续包月 68 元、连续包年 688 元；加强版连续包月 200 元、连续包年 2048 元；专业版连续包月 500 元、连续包年 5088 元。这和 5 月初的灰度测试相比，变化不在价格，而在产品边界更清楚。豆包付费服务协议在 2026 年 ...
字节跳动发布 Seed2.1 系列，已接入豆包、TRAE 和火山方舟。新版本把重点从静态榜单转向真实工作流：通用 Agent、Coding Agent、多模态理解和模型研发自动化。现阶段关键 benchmark 仍主要来自发布材料，需要等独立评测复现。Seed2.1 已进入豆包、TRAE 和火山方舟字节跳动 Seed 团队发布 Seed2.1 系列模型，定位是面向真实生产力场景的智能体模型。可用渠道已经明确：豆包产品、TRAE Work、TRAE IDE，以及火山方舟体验中心和 API。模型选择里出现的是 Doubao-Seed-2.1-Pro 和 Doubao-Seed-2.1-Turbo。...
Codex 的 Record & Replay 不是简单录屏回放，而是把一次本地工作流示范转成可复用 skill。它适合稳定、重复、偏个人偏好的 macOS 操作；当前可用性受地区、Computer Use 开关和组织策略限制。录一次操作，产物是 skillRecord & Replay 的核心产物不是视频，也不是按坐标重放的宏脚本，而是一份 Codex skill。用户先在 Mac 上示范一个已经知道怎么完成的流程。Codex 观察完成任务所需的操作和窗口内容，录制停止后再把这段流程整理成 skill：什么时候触发、需要哪些输入、按什么步骤执行、最后怎么验证结果。这和普通提示词的差别在于，s...