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

先看重点

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

Hacker News

1. 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 特性还不在当前产品范围内。56
2. F*：把程序证明放进通用编程语言。帖子为 147 分、64 条评论，发布时间约为 8 月 2 日 20:31。F* 官方站称它同时支持纯函数式和带副作用的程序，把依赖类型、SMT 求解和交互式定理证明结合起来，默认编译到 OCaml，也可通过 KaRaMeL 提取到 C 或 Wasm。78
3. 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 前需要先更新固件。910

GitHub Trending

新产品与科技资讯

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

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

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

知乎与微博榜位

视频与体育社区：国创动画、七周年 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