2026年07月03日
最后更新：2026-07-03 08:04:20 UTC+8
文章网址：http://www.lmdb.tech/doc/ 评论网址：https://news.ycombinator.com/item?id=48766598 积分：55 # 评论：29
文章网址：https://www.hunton.com/privacy-and-cybersecurity-law-blog/virginia-bans-sale-of-geolocation-data 评论网址：https://news.ycombinator.com/item?id=48767347 Points: 326 # Comments: 57
文章网址：https://codeberg.org/jjba23/modusregel 评论网址：https://news.ycombinator.com/item?id=48767834 积分：8 # 评论: 0
文章网址：https://www.dailymail.com/news/article-15943905/Mystery-identity-Green-Boots-climber-macabre-landmark-frozen-ice-dying-Everest-finally-solved-DNA-test.html 评论网址：https://news.ycombinator.com/item?id=48768336 积分：16 # 评论: 3
文章网址：https://github.com/FractalFir/crustc 评论网址：https://news.ycombinator.com/item?id=48768464 积分：69 # 评论: 10
arXiv:2607.00064v1 公告类型：新 摘要：随着技术的进步，许多路径规划算法被提出用于空中交通管理，但它们在战术控制中的操作应用仍然有限，揭示了算法设计优先级与空中交通管制员需求之间的不一致。这强调了对决策支持解决方案的需求，这些解决方案本质上是互通的...
arXiv:2607.00035v1 公告类型：新 摘要：法学硕士和代理可以根据自然语言要求生成网络抓取工具，但由于依赖错误、损坏的选择器、模式不匹配和异构页面结构，直接生成仍然不可靠。我们提出了一个受约束的、可验证的代理框架，它将 LLM 输出从自由格式代码转移到类型化 JSON 收集器配置...
arXiv:2607.00032v1 公告类型：新 摘要：许多信息系统都是围绕文档构建的：针对印刷生产和线性阅读进行优化的独立单元。虽然对大规模传播有效，但以文档为中心的组织限制了知识的结构化、更新、共享和重用方式。正式方法解决了其中一些限制，但难以实现......
arXiv:2607.00002v1 公告类型：新 摘要：传统上，道德认知被建模为坚持固定的伦理理论——道义论、结果论、美德伦理学——以静态规则或价值函数的形式实现。我们提出了有限道德，一个用于分析有限主体所面临的道德问题的计算需求的正式框架。扩展赫伯特·西蒙的界限概念......
arXiv:2607.00001v1 公告类型：新 摘要：大多数人工智能对齐方法将人类偏好视为需要推断和优化的固定目标。这一假设与大量的经验证据相冲突，这些证据表明偏好是分层的、动态的，并且是通过交互（尤其是与自适应技术）交互构建的。随着人工智能系统变得更加持久、个性化和社交化......
BMVC 评论将于明天发布。制作此父线程以供讨论。祝大家一切顺利！ 由 /u/Hot_Version_6403 提交 [链接] [评论]
我是机器学习领域的中后期博士生。我以前就知道这一点，但直到最近我才开始迫切地感觉到：我的数学基础摇摇欲坠，因为我在解决各种问题时一直“边学边做”。距离毕业可能只剩下一两年的时间了，在毕业之前，我想真正花一些时间并专注于温习基础知识。首先，我...
我在德国的一个研究小组工作，虽然不太出名，但总体成果不错。我有一位同事在攻读博士学位时什么也没做。他不想工作，或者说他做不出什么好的研究，他的水平太差了。而且他根本不关心这个。总而言之，他只是为了钱。 既然他不想工作或者他真的不能做任何好事，那么……
这是我在我们公司博客上写的一篇文章，从微分几何角度而不是通常的“这是损失函数”处理方式分享我们对哈密顿神经网络（Greydanus 等人，2019）的看法。我多年来一直致力于 HNN 和 LNN 相邻主题，我发现这个特殊的镜头以标准框架从未为我做过的方式产生了“为什么”点击，而且我......
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...
OpenAI Codex 的模型供应商边界变了：本地工作流可以指向支持 Responses 或 Chat Completions 的模型与供应商。真正需要看清的是限制条件：Chat Completions 兼容已进入弃用路径，云端任务暂时不能改默认模型。Codex 不再只绑定默认 OpenAI 路径Codex 现在把模型选择拆成两层：model 决定调用哪个模型，model_provider 决定请求发往哪个供应商。默认仍是 OpenAI，但本地配置里可以新增供应商，写入 base URL、认证环境变量、请求头，以及线缆协议。这对开发者的实际影响很直接。过去 Codex 更像一个围绕 Open...