热榜速览｜08-02：DeepSeek-V4-Flash 上产品榜，郑钦文止步资格赛，Seedance 2.5 登 HN

先看重点

技术线：视频模型、文档方法和内核安全

Hacker News

1. Seedance 2.5：帖子在抓取时为 107 分、37 条评论，发布时间落在 8 月 2 日 04:45 左右；字节跳动官方文章称，新模型支持基础生成、参考生成、长叙事和编辑，最多可接入 30 张图片、10 段视频和 10 段音频作为参考，并已在即梦 AI、豆包 Pro 等平台上线。34
2. Diátaxis：HN 抓取时 145 分、22 条评论。它不是新模型，而是一套技术文档组织方法：把读者需求拆成教程、操作指南、技术参考和解释四类。56
3. Lean 内核 Soundness Bug #14576：帖子抓取时 104 分、38 条评论。作者复盘称，这是嵌套归纳类型处理中的实现漏洞，不是 Lean 元理论本身的漏洞；报告后一小时内推出修复 PR #14577，并增加回归测试。78
4. AI 理财建议是否真的好用：HN 当时的头条帖为 82 分、53 条评论，讨论围绕 MIT Sloan 的文章展开；本条只报告讨论热度，不把文章标题里的判断扩写成普遍结论。910

GitHub Trending

新产品与科技资讯

• DeepSeek-V4-Flash-0731：Product Hunt 条目获 253 票，产品方称其支持 Responses API，并适配 Codex CLI；这里不把产品方的「frontier agent intelligence」宣传语当成独立评测结论。1
• Port22：获 221 票，产品方把它定位成把 Mac 上运行的 Claude Code、Codex 等 coding agent 状态接到手机上，遇到权限确认时向手机发送提醒。15
• AgentMicro：获 147 票，产品方称它是 macOS 菜单栏工具，用于查看并行 Codex Desktop/CLI 任务的状态、项目和耗时，只读取本地元数据。16
• NudgeForMe：获 273 票，产品方称它扫描已发邮件，找出对方未回复的线程并起草跟进邮件，默认先放进草稿箱供用户审核。17

大众线：一条新规、一场资格赛和三组微博热词

1. 12 至 14 周岁严重暴力犯罪核准追诉规则细化：最高检、公安部 7 月 31 日发布 15 条规定，明确适用对象为已满 12 周岁不满 14 周岁的未成年人；只有在故意杀人、故意伤害行为致人死亡，或以特别残忍手段致人重伤造成严重残疾且情节恶劣时，才进入最高检核准追诉程序。规定同时写明，未经最高检核准不得提起公诉，并要求兼顾未成年嫌疑人和被害人的合法权益。1819
2. 郑钦文无缘多伦多站正赛：虎扑体坛资讯发布的赛后帖显示，世界排名第 123 的郑钦文以 3-6、4-6 不敌世界第 78 的塔拉鲁迪，未拿到一个破发点；该帖抓取时有 7.66 万浏览、222 条回复、50 亮。微博实时榜「郑钦文无缘多伦多站正赛」排第 1，热度 1,067,712。220
3. 8 月 1 日起 488 项国家标准实施：新华社报道，涉及脑机接口等领域的 488 项国家标准从 8 月 1 日起实施；原文未在页面中展开具体标准清单，本期只报告这一条可核验信息。21

知乎与微博榜位

视频与体育社区：原神 PV、真车改造和上海大师赛

• 《原神》7.0 版本 PV「无神怜爱的雪国」：B 站视频抓取时约 277.4 万播放、24.97 万赞、2.24 万弹幕、1.82 万评论，发布时间为北京时间 7 月 31 日 21:10。23
• 《四驱兄弟》骗了我 20 年，直到我把真车改成了四驱车：B 站抓取时约 56.4 万播放、1.79 万赞、716 条弹幕、414 条评论，视频自述把动画中的四驱车效果做成了真车实验，发布时间为 8 月 1 日 18:25。24
• 赵心童 8-10 不敌凯伦·威尔逊：抖音上世界斯诺克巡回赛、咪咕体育等认证账号发布赛后内容，正文给出的比分是 8-10，威尔逊晋级决赛；本轮搜索接口没有返回统一播放量，因此只把它作为视频平台传播信号。2526

X 传播信号

• Cline 转述 DeepSeek V4 Flash 成本比较：8 月 2 日 03:37，Cline 发帖称 Artificial Analysis 报告中，DeepSeek 完成同一组 benchmark 任务的成本比 Fable 低 105 倍；该帖抓取时约 30.67 万浏览、1,843 赞、152 转发、77 回复。105 倍是帖文转述，未在本期独立核验成普遍结论。27
• DeepSeek Harness 招募内测项目：8 月 1 日 19:46，账号简介标注为 DeepSeek Harness 团队成员的 Tianyi Cui 发帖邀请 Agent Harness 开源项目开发者报名内测；抓取时约 25.27 万浏览、1,424 赞、120 转发、453 回复。这是账号发布的招募信息，不等同于官方完整公告。28
• 低显存运行大模型的传播帖：8 月 1 日 18:00，账号 Superman 发帖称某 Layer-wise Inference 工具可让多种大模型以低于模型总参数规模所暗示的显存运行；帖文举出 Kimi K3 在 4GB 以下显存运行等说法。抓取时约 14.02 万浏览、1,876 赞、204 转发、99 回复，具体能力未独立核验。29