# 3个HN新工具：免费、离线、还不靠大模型 **导语：** 当整个圈子都在卷大模型时，Hacker News 的 Show HN 榜这两天（2026年8月27日前后）悄悄冒出来三个反方向的新工具：一个把 LaTeX 编译器塞进浏览器、一个用 Z3 求解器（而不是 LLM）自动修安全漏洞、一个把 300 多个离线语音装进 iPhone。它们共同的关键词是——**免费、本地运行、不依赖云端 API**。这篇文章带你把这三个工具一次性摸清：是什么、怎么用、和国内方案比强在哪。 --- ## 为什么说这批工具有信息差 先交代信息来源：我直接抓取了 Hacker News 的 Show HN 实时榜单和三个产品的官网/GitHub 仓库，数据都是一手的。8月27日前后，Show HN 榜上有几组有意思的数字： - **TeXbrain**（浏览器 LaTeX 编辑器）：117 points、27 条评论，发布约 1 天 - **LatticeDB**（“图数据库界的 SQLite”）：181 points、49 条评论，发布约 1 天 - **Timber**（iOS 离线朗读 App）：发布约 19 小时 - **Railo**（无 LLM 的安全修复机器人）：发布约 18 小时 这些工具在国内技术社区（掘金、V2EX、公众号）几乎零讨论。而它们的实用价值恰恰对国内用户很友好——**免费、不需要海外信用卡、大多不需要翻墙就能自部署**。下面逐个拆。 --- ## 工具一：TeXbrain —— 把 Overleaf 的付费功能全部免费化 **官网：** https://tex.swimmingbrain.dev **开源地址：** https://github.com/swimmingbrain/texbrain **价格：** 免费，MIT 协议，完全开源 ### 它是什么 一个**纯浏览器端**的 LaTeX 编辑器：打开一个网页标签，就能写 LaTeX、实时编译出 PDF、还能做完整的 Git 操作（clone、branch、commit、push 到 GitHub）。作者是 Braian Plaku，动机很直接——他去年写毕业论文时受够了"为了 Git 同步付费"这件事，于是自己造了一个没有后端的替代品。 ### 技术上它做对了几件事 1. **pdfTeX 编译进了 WebAssembly**（基于 SwiftLaTeX 项目），你的 `.tex` 文件永远不上传服务器，重编译一次只要 1~5 秒 2. **CTAN 宏包按需加载**：常用包内置，冷门的（memoir、KOMA-Script 之类）第一次编译时自动从 TeX Live 镜像拉取，然后缓存到浏览器，之后离线也能用 3. **Git 跑在浏览器里**：用 isomorphic-git 直接操作你磁盘上的项目文件夹，`.git` 目录就在 `.tex` 文件旁边——你在终端和 TeXbrain 之间切换，仓库状态完全一致 4. **报错翻译成人话**：LaTeX 的报错出了名的难读，TeXbrain 的 Problems 面板把日志变成卡片："Unknown command \foo"、出错文件和行号、点击直接跳转 ### 已知短板（官网自己承认的） 只支持 pdfTeX（没有 XeTeX/LuaTeX，所以 fontspec 用不了）；不支持 bibtex/biber（biblatex 文档会生成简化版参考文献）；宏包停留在 TeX Live 2020 时代；完整功能需要 Chrome/Edge 这类支持 File System Access API 的浏览器。 ### 和国内方案对比 国内写 LaTeX 的主流路径还是 Overleaf（国际版 Git 同步是付费功能，免费版没有）或本地安装 2GB+ 的 TeX Live。TeXbrain 的价值在于：**Git 同步、编译、协作全部免费且零安装**，对论文党、会议投稿党（尤其需要临时在别人电脑上改稿的场景）是降维打击。实验室公用机器、网吧、图书馆电脑，打开浏览器就能干活。 **适用人群：** 研究生、论文作者、需要给 LaTeX 新手发“零配置环境”链接的人。 --- ## 工具二：Railo —— 不用大模型的自动化安全修复，反而更可信 **官网：** https://www.railo.dev **价格：** Free（3 仓库 / 200 次 PR 扫描每月）→ Pro $99/组织/月 → Team $299/组织/月；另有 $1,500 固定价格的人工兜底清账单服务 **状态：** 公测（Public beta），已上线 GitHub App ### 它是什么 一句话：**监控你每个 Pull Request 的 diff，发现真实漏洞后自动开一个带修复代码的 PR，每个修复都附带验证证据**。HN 上的标签写得很硬核："Deterministic security patch bot using AST and Z3 (**no LLMs**)"——用 AST 语法树分析和 Z3 定理求解器，不用任何大语言模型。 ### 为什么"no LLMs"反而是卖点 现在满大街的 AI 代码修复都是“生成式猜测”：模型给你一段看起来对的修复代码，你只能靠信仰合并。Railo 的路径完全不同： ```mermaid flowchart LR A[开发者提交 PR] --> B[Railo 扫描 diff] B --> C{发现漏洞?} C -- 否 --> D[仅留下提示评论] C -- 是 --> E[AST 源到汇路径分析] E --> F[Z3 求解器验证修复] F --> G[生成确定性补丁] G --> H[打开修复 PR + 验证标签] H --> I[人工 Review 后合并] ``` 三个设计细节值得注意： 1. **每个修复带验证结论**：cleared / not cleared / inconclusive / not attempted 四种状态，证据强度不够时自动降级为“需人工审查”，绝不假装自己修好了 2. **确定性输出**：同样的输入永远产生字节级相同的补丁，可从固定 commit 复现——这对过安全审计（等保、渗透测试整改）太重要了 3. **实测数据敢公开**：官网给出 68% 的 SSRF 修复率（CWE-918 类，363 个发现中修掉 248 个），样本是 22 个仓库、21,768 条 finding——这个透明度在国内安全产品宣传里几乎见不到 ### 和国内方案对比 国内自动化代码审计基本是企业级 SAST 的形态（私有化部署、按代码行数报价、销售对接），个人开发者和中小团队很难够到。Railo 的 GitHub App 形态意味着**装上就能用，Free 档永久免费的检测**覆盖 7 种语言。对在海外平台接活、维护开源项目的国内开发者，这是零成本给自己的仓库加一道安全网；对安全团队，$99/月换自动修复 PR，比工程师人工处理一条 finding 约一小时的成本划算得多（这是官网自己的账）。 **适用人群：** 独立开发者、出海团队、需要批量消化安全债的后端团队。 --- ## 工具三：Timber —— 324 个免费语音全离线的 iPhone 朗读器 **官网：** https://timberreader.com **价格：** 核心功能永久免费（无账号）；Pro 是“小费罐”模式，解锁完整语音库、0.3×–3× 变速、CarPlay 等 **平台：** iOS 18+（另有免费 Mac 端 Timber Tabs 收集浏览器标签页） ### 它是什么 一个"把任何文章、书籍、PDF 朗读出来"的本地优先 App，作者是加州的一位老师——起因是看到学生读不下一页文章。数字很能打： - **324+ 免费语音**（全库共 3,801 个），覆盖 **71 种语言**，全部在手机上运行 - 集成了当前开源 TTS 的几乎全部主流引擎：**Piper**（语言覆盖最广）、**Kokoro**（英语表现力）、**Supertonic**（31 种语言）、**KittenTTS**（超小体积），以及两个本地声音克隆引擎 **Pocket** 和 **Moss** - 逐词高亮跟读、阅读进度记忆、朗读时全程断网可用 ### 隐私姿态写进了产品承诺 官网的承诺页非常激进：**永不**上传你的阅读内容和剪贴板、永不用你的录音训练、永不卖给广告商。Free 档甚至包含 iCloud 同步（走你自己的 iCloud）、导出 Markdown/PDF/音频、完整阅读障碍（dyslexia）模式。 ### 和国内方案对比 国内听书场景基本被微信读书（部分内容需会员）、讯飞有声（云端 TTS、按流量/会员收费）占据，共同点是**语音合成在云端跑，内容经过厂商服务器**。Timber 证明了一条不同路线：开源 TTS 引擎在端侧已经好听到能用，而且几乎全免费。对在意隐私、想听 arXiv 论文/外刊/Hacker News 的技术从业者，配合它的 Mac 端 Timber Tabs（把浏览器里堆积的标签页一键变成朗读队列），通勤时间就能消化掉一天的收藏夹。 **适用人群：** 通勤学习者、重度“稍后读”患者、视障及阅读障碍用户、给孩子做朗读工具的家长。 --- ## 彩蛋：同榜还有两个值得盯的 - **LatticeDB**（github.com/jeffhajewski）：“像 SQLite 一样单文件、嵌入式，但存储的是图数据”，HN 上 181 points、49 评论，是目前这批里讨论度最高的。定位如果属实（以上来自 Show HN 标题和讨论页信息，细节未经实测），嵌入式图数据库可能是边端 AI 场景的配套基建。 - **Devx**（github.com/apvcode）：一个跑在 **Android Termux** 上的自主 AI 编码 Agent，桌面端也能用，发布约 16 小时。"手机变成 AI 编码终端"这个方向国内讨论极少，值得蹲一下仓库。 --- ## 信息差总结 | 维度 | 你可能知道的 | 别人已经在用的 | |---|---|---| | LaTeX 写作 | Overleaf 免费版无 Git 同步，或本地装 2GB TeX Live | TeXbrain：浏览器里编译+Git 全免费，零安装 | | 代码安全修复 | AI 修复=模型猜一段代码，靠信仰合并 | Railo：Z3 验证过的确定性补丁，Free 档永久免费 | | 听书/朗读 | 云端 TTS、内容过厂商服务器、按会员收费 | Timber：324 免费语音全离线，隐私零上传 | | 通用思路 | 新工具=套壳大模型、按订阅收费 | 本轮 3 个工具全部免费/开源，2 个完全不依赖 LLM | ## 行动指南 1. **今天就做（5 分钟）**：打开 https://tex.swimmingbrain.dev ，扔一篇旧 `.tex` 进去感受浏览器编译；Chrome/Edge 体验最完整 2. **本周做（15 分钟）**：在 GitHub 上给 Railo 装 App（https://www.railo.dev ），对一个活跃仓库开 Free 档，观察它在你下一个 PR 里报什么 3. **条件允许再试**：App Store 搜 Timber（需 iOS 18+），先下载 2 个免费语音试试通勤听 HN/长文 4. **持续跟踪**：Star 这三个仓库，Railo 和 LatticeDB 都在公测早期，现在反馈 issue 有机会影响产品方向 ## 参考来源 1. Hacker News Show HN 实时榜（本文工具均出自此榜）：https://news.ycombinator.com/show 2. TeXbrain GitHub 仓库（功能/架构/限制均来自 README）：https://github.com/swimmingbrain/texbrain 3. Railo 官网（价格与 68% SSRF 修复率数据来源）：https://www.railo.dev 4. Timber 官网（语音数量、引擎清单、隐私承诺来源）：https://timberreader.com --- > 本文由「51学通信」技术团队出品。51学通信由通信行业18年老兵**爱卫生**（微信ID: gprshome201101）维护。 > 聚焦5G/6G核心网、3GPP标准、AI工具实战。知识星球「51学通信」提供深度技术答疑和行业洞察。 > [!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 等场景全覆盖。