日报 · Star 增速 · 2026-09-09
今天的榜单里，有一个可以追着航班看的 3D 地球，一份按章整理系统设计面试的笔记，还有 OpenAI 用 Lean 写下的流体方程证明。
按该期 GitHub star 事件数排序，未扣除取消 star。项目介绍与下方讲解由编辑补充。
装到 Claude Code 这类助手上的技能，改变回复方式：先给结论，多步任务编号列出，每次回复只留一个明确的下一步。当助手的长篇回复让你找不到真正要改的代码时很实用，规则文件是普通文本，可以自己调整。
把航班、船舶、地震等公开数据放到同一个 3D 地球上，在浏览器里就能探索。点击航班跟着它看地形很有意思；其中的夜视、热成像等画面效果是可视化样式，不代表真实传感器影像。
把文字说明或已有图表源码转成 HTML、SVG 图解的编程助手技能。它还能参考你的配色和字体，适合给文章、演示材料配图，让新画的流程图和原有版式协调起来。
把助手整理的系统结构转成可交互 HTML、SVG 架构图的工具，还支持比较两版图的变化。给团队讲一次架构调整时，可以直接展示哪些组件和连接变了，不必全靠口头描述。
一套约束 AI 编程助手的规则：先看看已有代码能不能复用，再决定要不要加新东西。它也明确要求保留校验和错误处理，适合管住那种“小改动也要造一套框架”的助手。
按章整理自 Alex Xu《System Design Interview》两卷的笔记，涵盖限流器、一致性哈希、URL 短链、支付系统等经典题目。每章一个文件夹，面试复习时可以一次攻一道设计题，不用把整本书重新看一遍。
DeepSeek 开源的 Agent 运行框架，围绕可替换插件组织能力，并提供网页界面。想研究怎样组合和扩展助手功能的开发者可以关注；目前是开发预览版，试验时要预期接口还会变化。
给 AI 编程助手准备的一套工作流程，涵盖规划、测试、审查和记忆。你的助手如果总是直接开改、做完不检查，或者忘记前面的约定，可以挑这里的规则改成自己项目的习惯。
把一个主题或一份资料做成互动课堂，带课件、测验，以及能参与讨论的 AI 老师和同学。想学一个新课题时，可以边问边练，看看这种形式是否比只读摘要更适合你。
OpenAI 把 Navier-Stokes 和 Euler 方程有限时间爆破的结果写成了 Lean 4 形式化证明，包含全空间和周期环面两种情形，对应克雷千禧年难题描述中的两个情形。仓库里还说明了如何用 Comparator 独立检验这些证明。
阅读笔记更新于 2026-09-10；上方保留原统计期的排名。
想从助手工具里换个口味，可以打开 bilawalsidhu/gods-eye-view。它把航班、船舶、地震等公开数据放在同一个可交互的 3D 地球上，点一架航班跟着它飞过山脊，是熟悉地理数据的好办法。注意夜视、热成像那些画面只是可视化样式，不是真实传感器影像。
如果你在准备系统设计面试，liquidslr/system-design-notes 把 Alex Xu 的两本面试书拆成一章一个文件夹，从信封背面估算到限流器、URL 短链、支付系统都有。建议一次攻一个文件夹，先自己画一遍设计再对照笔记，比前一晚重读整本书有效。
换个完全不同的方向，openai/NavierStokesAndEuler 收着 OpenAI 关于 Navier-Stokes 和 Euler 方程有限时间爆破结果的 Lean 4 形式化证明，覆盖全空间和周期环面两种情形。这些表述与克雷千禧年难题官方描述中的两个情形对应，你可以用 Lake 构建项目，也可以用 Comparator 独立检验证明。
