首页 › weekly › 7个新面孔:从剪辑到数学证明

7个新面孔:从剪辑到数学证明

概述

这一轮我把镜头从熟脸榜撤开,对准了两条最容易被大榜单淹没的新仓库流水线:一条是创作与表达线——开源版剪映、对话式语言学习、雕版风格的复古排版;另一条是地基与硬核线——给 AI Agent 用的 Rust 无头浏览器、DeepSeek 官方刚开源的稀疏注意力内核、CPU 上并行跑千级物理仿真的批处理库,以及 OpenAI 挂出的流体方程 Lean 形式化证书。七个仓库全部是本周或近 45 天新建,Star 全部低于 2000,与此前各轮已拆项目零重叠。文中 Star 数与仓库描述均取自 2026-09-15 的 GitHub API 快照,细节以仓库当前状态为准。

1. jub0t/Concat — 把剪映的开源替身造出来

仓库:jub0t/Concat | ⭐1709(09-15 快照)| 近 45 天新建,Rust

一句话定位:官方自述是「Free & Open-Source CapCut replacement」——一个免费开源的 CapCut(剪映国际版)替代品。

它戳中的痛点很直接:剪映和 CapCut 这两年在服务条款、会员订阅上的动作不断,让「录完素材想剪个片子」这件事平白多了一层顾虑。剪辑是刚需,但用户对「我的素材会不会哪天变成别人的训练数据」越来越敏感,本地化、无订阅的剪辑器需求一直在涨,真正能打的开源空位却没坐满。

从仓库自述看,Concat 用 Rust 写就,主打「免费 + 开源」这两个词,正面卡位这个空位。需要提醒的是:它还很年轻(创建不足 45 天),剪辑器是软件工程里出了名的深水区,时间线交互、编解码、特效渲染每一项都是硬骨头,当前功能完成度请以仓库实际 release 为准,别拿它直接接生产活。

上手难度:⭐⭐

适用人群:受够了订阅制的视频创作者、想给社区补一块拼图的 Rust 开发者。商业思路也清晰——参考开源剪辑生态的惯常路径,托管版、模板市场、团队协作层都是现成的变现缝。

2. Chuloo/mural — 一款「你最终会删掉」的语言学习 App

仓库:Chuloo/mural | ⭐783(09-15 快照)| 近 7 天新建,iOS 原生

一句话定位:官方门牌写得相当有性格——「The language app you eventually delete」,一款通过真实对话学语言的原生 iPhone 应用。

多数语言学习产品的商业模式建立在「让你学得久」上:连续打卡、每日提醒、进度焦虑,用户留存是收入。mural 的自述反着来:它的目标是让你通过对话真的学会,然后不再需要它。这个「用完即走」的姿态在工具类产品里非常少见,也让它在本周新星榜里显得格外醒目。

从描述看它是原生 iOS 应用而非套壳网页,主战场是「对话」这个语言习得里最难被表格和卡片替代的环节。作为不到一周的新仓库,功能细节和后端依赖仓库里没有铺开,编译体验请以 README 为准。

上手难度:⭐⭐⭐(需要苹果设备,可能要自行编译)

适用人群:正在苦于开口说的语言学习者,以及研究「对话式学习」交互的独立开发者。语言学习是订阅制付费意愿最强的品类之一,一个开源原生的对话学习客户端,往私有化部署、小语种定制方向二开都有空间。

3. Foadsf/vintage-latex — 把论文排回一百年前的样子

仓库:Foadsf/vintage-latex | ⭐372(09-15 快照)| 近 7 天新建,LuaLaTeX/MetaPost

一句话定位:二十个 LuaLaTeX 与 MetaPost 范例,复刻老式科学论文的雕版美学——雕版插图、老式字体、经典版式。

它解决的痛点不是「排版难」,而是「排版平」。LaTeX 出来的论文千篇一律的现代感,而翻开十九世纪末到二十世纪初的科学文献,雕版风格的力学插图、衬线密排的正文、讲究的图版编号,自带一种博物馆气质。vintage-latex 把这套审美拆成了可复用的范例,其中插图部分用到了 MetaPost 生态里的 fiziko——一个专门模拟老式物理教材线条图(斜面、滑轮、受力箭头)风格的宏包,从仓库描述看,两者组合可以批量产出「古董教科书」质感的版面。

这类仓库的 Star 通常涨不快,但使用寿命极长:一份好范例会被塞进书签里十年。

上手难度:⭐⭐⭐(需要 LaTeX 基础)

适用人群:论文作者、学术书籍排版者、独立杂志和科普创作者。商业上,学术出版排版服务、期刊定制模板、复古风教辅设计都是直接对口的方向。

4. kevinzakka/mjbatch — 在 CPU 上并行跑一千个物理世界

仓库:kevinzakka/mjbatch | ⭐481(09-15 快照)| 近 7 天新建,Python

一句话定位:一个 Python 库,用于在 CPU 上并行运行数千个 MuJoCo 仿真。

MuJoCo 是机器人与强化学习领域最主流的物理仿真引擎之一,而具身智能这波浪潮把「仿真数据产量」变成了新的瓶颈:训练一个操作策略动辄需要海量并行环境。这笔账通常的解法是堆 GPU,但 mjbatch 给出了另一条路——把批量并行这件事在 CPU 上做透。对没有高端显卡、又要跑大规模 rollouts 的实验室和个人研究者来说,这等于把仿真数据工厂的门槛拉低了一个数量级。

它是本周榜单里最「幕后」的一个:不发演示视频、不出圈,但每一个做机器人学习的人都知道上千个并行环境意味着什么。

上手难度:⭐⭐(会 Python 即可)

适用人群:强化学习研究者、具身智能团队、仿真数据生产管线工程师。商业方向也很实:仿真数据生成服务、机器人公司的离线训练基建,都是现在真金白银在花钱的环节。

5. lexmount/moli — 给 AI Agent 配一把轻量的 Rust 浏览器

仓库:lexmount/moli | ⭐1994(09-15 快照)| 近 45 天新建,Rust

一句话定位:官方自述「Best headless browser for AI agents. Lite, Fast, High-Compatibility」——为 AI Agent 打造的无头浏览器,轻量、快速、高兼容。

Agent 想真正干活,绕不开浏览器:查资料、填表单、截图验证。但现有主力方案基本是 Playwright、Puppetpper 这一挂 Node 系工具,AI Agent 每次调用都要拖起一个完整的浏览器进程,内存和启动开销都不小。Rust 生态里顺手的无头浏览器件一直不多,moli 就卡在这个空位上:用 Rust 重做一层轻量高兼容的 headless 方案,专门面向 Agent 的高频调用场景优化。

不到 45 天冲到近 2000 星,说明「Agent 基建的 Rust 化」是真需求。当然「High-Compatibility」目前是仓库自述,对各种重前端页面的渲染保真度,建议拿自己的目标站点实测后再下结论。

上手难度:⭐⭐

适用人群:Agent 框架开发者、爬虫与 RPA 工程师、自托管自动化玩家。这是本期商业潜力最顺的一件:Agent 云、自动化 SaaS、企业 RPA 方案,底层都缺一件可控的国产化/自托管浏览器,卡住基建位就是卡住生态位。

6. deepseek-ai/DeepSelect — 稀疏注意力的 TopK 内核开源了

仓库:deepseek-ai/DeepSelect | ⭐342(09-15 快照)| 近 7 天新建,DeepSeek 官方

一句话定位:DeepSeek 官方开源的 TopK 内核,服务于 DeepSeek Sparse Attention(DSA)与采样器。

DSA(DeepSeek Sparse Attention)是 DeepSeek 在 V3.2 实验版中引入的稀疏注意力机制,思路是让每个 query 只聚焦最相关的少量 token,从而把长文本推理的开销打下来。这套机制真正吃性能的地方在 TopK 选择这一步——要从海量候选里又快又准地挑出那几个 token,靠普通实现会把省下来的算力再吐回去。DeepSelect 开源的就是这把「挑得快」的刀:官方实现、官方调优,covers DSA 与采样器的 TopK 计算。

Star 只有三百多,但它可能是本周含金量被数字低估最严重的仓库——推理内核类的仓库从来不靠 Star 说话,靠的是被多少推理框架集成。

上手难度:⭐⭐⭐⭐(CUDA 内核,研究者与工程向)

适用人群:推理引擎开发者、做长上下文优化的工程团队、算力成本敏感的 AI 应用方。二开方向:给国产推理框架做适配、在自有硬件上重写内核,都是明确有预算的技术活。

7. openai/NavierStokesAndEuler — 给流体方程附上一张机器可查的证书

仓库:openai/NavierStokesAndEuler | ⭐1891(09-15 快照)| 近 7 天新建,Lean

一句话定位:官方自述很克制——「Lean certificates accompanying Navier-Stokes and Euler results」,随 Navier-Stokes 与 Euler 结果附带的形式化证书。

先说清楚它不是什么:它不是「OpenAI 解出了 Navier-Stokes」。Navier-Stokes 方程解的存在性与光滑性是千禧年七大数学难题之一,至今没有公认解答。这个仓库本体是证书:把某种数学结果的证明过程翻译成 Lean 这种定理证明语言,交给机器逐行校验——数学审稿人可能看走眼,编译器不会。从命名看,结果覆盖 Navier-Stokes 与 Euler(欧拉方程)两类流体方程;至于结果本身的分量、是否对应千禧年难题的实质进展,仓库描述没有给出,相关论文的同行评议状态也待确认,这是本周最需要「让子弹飞一会儿」的仓库。

但方向本身值得 star:当前沿数学结果开始附带机器可验证证书,「AI 做研究」就从嘴上功夫变成了可审计的工程。

上手难度:⭐⭐⭐⭐⭐(Lean 与流体数学双门槛)

适用人群:形式化数学社区、AI for Math 研究者、对可验证计算感兴趣的工程团队。形式化验证咨询、金融与安全关键系统的定理证明服务,是这条线通往商业的窄门。

本期横向对比

仓库 类型 Star(09-15 快照) 新建窗口 上手难度 适用场景
jub0t/Concat 视频剪辑 1709 近 45 天 ⭐⭐ 本地免费剪片
Chuloo/mural 语言学习 783 近 7 天 ⭐⭐⭐ 对话式练口语
Foadsf/vintage-latex 排版美学 372 近 7 天 ⭐⭐⭐ 复古论文/书刊排版
kevinzakka/mjbatch 仿真工具 481 近 7 天 ⭐⭐ 并行仿真数据生产
lexmount/moli Agent 基建 1994 近 45 天 ⭐⭐ Agent 浏览器调用
deepseek-ai/DeepSelect 推理内核 342 近 7 天 ⭐⭐⭐⭐ 长文本推理加速
openai/NavierStokesAndEuler 形式化数学 1891 近 7 天 ⭐⭐⭐⭐⭐ 机器可验证数学结果

本期仓库地图

mindmap
  root((本期7个新仓库))
    创作与表达
      Concat 开源剪辑
      mural 对话学语言
      vintage-latex 复古排版
    地基与硬核
      moli 无头浏览器
      mjbatch 并行仿真
      DeepSelect 稀疏内核
      NavierStokes Lean证书

本期之最

参考来源

[!tip] 51学通信知识星球 星主:爱卫生(微信:gprshome201101)——公众号「51学通信」创办者,19 年通信行业运维与讲师经验,著有《GPRS网络信令实例详解》《EPC原理与实践》《5G核心网原理与实践》三本纸质书(各大电商平台有售)。 星球定位:深耕 5G 核心网、IMS、NFV/AI、云原生等 ICT 领域,主打运维岗位与信令分析。 当前规模:5200 篇主题 / 990 个回答,198 元/年。 加入福利:加入星球后请加爱卫生微信,拉您进知识星球年度陪伴与答疑群——不限量回复您的各种问题,另有群内分享。 AI 加持:51学通信知识星球已作为 skill 接入 WorkBuddy,使用 deepseek-4-flash 在海量星球帖子中精准找贴、找视频、找 FAQ 和案例,做总结、找文档和 PPT 等场景全覆盖。

51学通信知识星球海报-扫码加入