热榜速览｜08-03：宜宾高县4.8级地震，赛里木湖7人被拘，AirLLM 与 Kakehashi 升温 (2026)

先看重点

覆盖北京时间 8 月 2 日 08:00 至 8 月 3 日 08:00。今天先记住三件事：四川宜宾高县凌晨发生 4.8 级地震，截至 07:56 的公开报道暂未接到人员伤亡报告；赛里木湖官方通报 7 名景区工作人员被行政拘留，并公布了新的自驾服务费方案；技术线里，AirLLM 的 GitHub README 宣称已能让 Kimi K3 在单张显卡上以 3.72GB 显存运行，但这是项目方自测口径。1 2 3 4

HN 分数与评论数、GitHub Trending 的时间窗新增 Star、Product Hunt 票数、知乎和微博热度、B 站播放与 X 互动，都是本轮抓取时快照；它们说明平台关注度，不替代事件原文。

技术线：低显存推理、跨架构运行和形式化验证

Hacker News

Kakehashi：让 macOS ARM 二进制跑在 Linux ARM 上。帖子抓取时为 162 分、34 条评论，发布时间约为北京时间 8 月 3 日 00:27。项目定位是用户态的 macOS ARM64 到 Linux aarch64 翻译层，CLI 优先、不使用 JIT；README 展示了在 Linux ARM 上运行 Darwin 版 7zz 和 curl 的路径，同时明确 GUI、签名和完整 curl 特性还不在当前产品范围内。5 6
F*：把程序证明放进通用编程语言。帖子为 147 分、64 条评论，发布时间约为 8 月 2 日 20:31。F* 官方站称它同时支持纯函数式和带副作用的程序，把依赖类型、SMT 求解和交互式定理证明结合起来，默认编译到 OCaml，也可通过 KaRaMeL 提取到 C 或 Wasm。7 8
NixOS-DGX-Spark：给 NVIDIA DGX Spark 配 Nix/NixOS。帖子抓取时为 88 分、26 条评论，发布时间约为 8 月 3 日 01:06。仓库提供 DGX OS 上的 Nix playbook、NixOS USB 镜像和硬件模块，也标注兼容 Asus Ascent GX10；项目方提醒，DGX Spark 出厂固件只能启动 DGX OS，安装 NixOS 前需要先更新固件。9 10

本轮 stars_in_window 是 Trending 页面解析出的时间窗新增值，不是独立审计的全天增量。

项目	一句话说明	总 Star / 时间窗新增
`lyogavin/airllm`	分层加载大模型的推理库；README 称 70B 模型可在单张 4GB GPU 上运行，并在 7 月更新中加入 Kimi K3 支持。相关显存数字属于项目方自测。4	25,629 / +819
`Panniantong/Agent-Reach`	为 AI Agent 安装网页、YouTube、GitHub、B 站等渠道的读取能力；X、Reddit、小红书等需要登录态或额外配置。11	64,676 / +659
`codecrafters-io/build-your-own-x`	用重建常见技术的方式学习编程，仓库按语言和系统组件整理实践项目。12	534,820 / +674
`different-ai/openwork`	仓库将自己定位为由 OpenCode 驱动的开源 Claude Cowork 替代品。功能和效果仍应以项目实测为准。13	20,300 / +280

新产品与科技资讯

Zinley：Product Hunt 近 24 小时榜获 321 票，产品方称它为一个拥有电话号码和邮箱的个人 AI 代表，可接电话、处理邮件、预订事项，并按用户规则回报进展；这些能力是产品方描述，不是独立评测。14
Capptivo：获 261 票，产品方称它是面向 macOS、Windows 和 Linux 的开源录屏与演示编辑器，支持本地录制、跟随光标缩放和设备端字幕，主打无账号、无订阅。15
Lumichats：获 167 票，产品方把它定位成面向不想使用终端用户的 Claude Code 替代品，称桌面版可以运行本机命令、写入真实文件；产品页同时声称已有 7 万名浏览器用户，后一个数字未独立核验。16

程序员社区补充：本轮 Stack Overflow 按创建时间检索到的 AI 相关问题，靠前条目多为 0 回答、负分或几十次浏览，未形成可供判断的高讨论热帖；例如「AI 网站构建器如何表示和生成落地页设计」抓取时为 -6 分、0 回答、48 次浏览，不把它凑成热点。17

大众线：地震、景区处罚与考试作弊通报

宜宾高县 4.8 级地震：中国地震台网目录记录，地震发生在 8 月 3 日 02:21，震中位于四川宜宾市高县，震源深度 6 公里；新华社 07:56 的报道说，震中附近暂未接到人员伤亡和房屋垮塌报告，相关部门仍在排查灾情。1 2
赛里木湖景区 7 人被行政拘留：博州政府 8 月 3 日 07:00 通报，7 月 23 日景区工作人员与旅游车司机发生冲突，先后有 7 名工作人员参与殴打；公安机关分别处以 10 至 15 日行政拘留，每人并处罚款 1000 元。通报还称，8 月 4 日至 8 月 20 日新方案执行前，自驾服务费暂按 30 元/人收取；8 月 20 日起改按车型收取，5 座及以下为 120 元/车。3
河南「三支一扶」招募查实存在作弊：河南省人力资源和社会保障厅 8 月 2 日 22:34 发布通报，称经核查发现有非法参与考试作弊行为，已对河南省人事考试中心负责人停职调查；公安机关已成立专案组，对涉嫌违法犯罪行为展开侦查。18
同济大学教师考核新规冲上知乎第一：知乎榜单为 第 1、687 万热度、112 个回答。一篇核对过同济大学 7 月 31 日文件的公开整理称，学校不再签订长期聘任协议，原有体系和预聘岗位人员每 3 年考核，长聘岗位人员每 6 年考核并进行 3 年中期考核；这段背景来自公开整理，知乎榜位只说明讨论热度。19 20

知乎与微博榜位

知乎热榜的「万」是平台展示热度，不是统一口径的阅读量；微博数值是实时热搜快照。

平台	话题	榜位 / 热度快照	一句话说明
知乎	同济大学教师考核新规	#1 / 687 万	讨论取消长期聘任协议和周期考核的影响。
知乎	瑞幸门店疑似用奶油枪给同事喂食	#2 / 330 万	摘要称相关视频被转载后账号注销，瑞幸客服表示已反馈核查。
知乎	日本和美国被曝干预汇市	#5 / 221 万	题目围绕日本、美国干预汇市的报道判断，榜单未提供独立核验结论。
知乎	河南三支一扶作弊通报	#7 / 190 万	讨论负责人停职、公安侦查和后续追责。
知乎	小米多款手机涨价	#10 / 106 万	题目聚焦多款机型起售价上调及内存成本说法。
微博	赛里木湖景区 7 人被行拘	#1 / 1,408,762	官方通报发布后进入实时榜首。
微博	宜宾地震	#4 / 795,890	词条对应凌晨地震，震级和灾情以地震部门通报为准。
微博	河南三支一扶案件相关负责人停职	#10 / 252,886	与省人社厅通报形成同一传播链。
微博	网上爆火的 AI 短剧男主	#15 / 233,149	榜单只提供词条热度，未返回可核验的原视频或制作方信息。
微博	显卡跳涨	#19 / 228,440	这是价格讨论热词，本轮没有把热词摘要扩写成供需或价格结论。

视频与体育社区：国创动画、七周年 CG 与 SummerSlam

《记忆管理局》第 1 集：B 站详情显示，视频发布于 8 月 2 日 11:00，时长 29 分 12 秒；抓取时约 120.2 万播放、3.33 万赞、1.45 万弹幕、2886 条评论。官方动态写明每周日更新，标题给出的设定是「在世界末日前回到过去」。21
《闪耀暖暖》七周年 CG：视频发布于 8 月 2 日 19:14，抓取时约 105.7 万播放、2.89 万赞、983 条评论。官方简介预告 8 月 5 日更新后的限时活动，并展示两套闪耀套装的视觉设定。22
虎扑：本轮检索到的最近一条相关体育帖是 8 月 1 日 10:45 的「王楚钦谈旧伤复发」，已超出本期窗口；没有拿到 8 月 2 日 08:00 后可核验的高讨论新帖，因此不把它冒充成今日虎扑热帖。23

X 传播信号

Taelin 分享 Fable 的提示技巧：北京时间 8 月 3 日 06:06，经过认证的开发者 Taelin 发帖称，可以让 Fable 思考 20 分钟，在它准备回答前中止，再把思考痕迹放进新提示，追问哪些设计层面的改动能解决遇到的障碍。抓取时约 7.89 万浏览、1059 赞、23 转发、38 回复；这是个人实验分享，不等于 Fable 官方功能说明。24
SummerSlam 的女子冠军传播：北京时间 8 月 3 日 07:43，WWE 首席内容官 Triple H 发帖祝贺 Chelsea Green 成为新的临时女子冠军；抓取时约 6.66 万浏览、6628 赞、798 转发、198 回复。它是赛事官方体系内账号的传播信号，具体赛果仍应以 WWE 赛事记录为准。25

一句话收束：今天的技术线从 AirLLM 的低显存推理延伸到 Kakehashi 的跨架构运行和 F* 的程序证明；大众线则由宜宾地震、赛里木湖处理通报、河南考试作弊调查和教师考核讨论接管，平台数字均截至本期 08:00 左右的抓取快照。

热榜速览｜08-03：宜宾高县4.8级地震，赛里木湖7人被拘，AirLLM 与 Kakehashi 升温