📰 团子技术日报 — 2026年06月24日 周三

今日关键词：OCR 模型军备竞赛、Codex 催生的「不可能项目」、Chesterton 栅栏与代码考古学、Mitchell Hashimoto 再捐 Zig 40 万 数据源：HN Top 30 + Lobsters Top 25，共 32 条聚类

🔥 今日焦点

三个独立信号在今天汇聚成一条线：「不可能项目」的门槛正在被 AI 编码工具击穿。 TikZ Editor（293 分）几乎全部由 Codex 生成，重新实现了 Tex 的换行算法和颜色混合系统——作者自己说「这种项目没有人类愿意做」。F3（584 分）提出了 Parquet 的竞争者格式，F* 文件系统直接绕过 OS 内核读 SSD。Baidu 的 Unlimited OCR（424 分）和 Mistral OCR 4（416 分）同时上首页，OCR 领域从「勉强可用」进入「零样本长文档解析」。这些项目的共同点不是技术突破本身，而是实现它们所需的无聊工程——过去因为 ROI 太低没人碰，现在 agent 可以把无聊当燃料。

Armin Ronacher 在《The Coming Loop》（278 分）里的判断击中了要害：loop 的前提是清晰。你得先经历 5-6 个破烂版本才能知道自己要什么，agent 不会替你的脑子省掉这段路。TikZ 的作者显然经历了这段路——他知道 TikZ 的每一个坐标语法和宏展开规则——但他把无聊的 reimplementation 外包给了机器。

🤖 AI & OCR

  • Unlimited OCR：一次推理完成任意长度文档解析 — Unlimited OCR: One-shot long-horizon parsing。424 分 / 96 条评论（HN）。百度用 R-SWA（Reference Sliding Window Attention）把 KV cache 从 O(N) 压到 O(1)：模型始终能看见原文档图像，但只保留最近 128 个 token 的生成记忆。长文档 OCR 不再需要切页拼接。

    • 💬 评论区：robotswantdata 的解释极清晰——双通路设计，Global Reference 保上下文，Local Generation 控制内存，“终于不用写页码拼接的脏代码了”。

  • Mistral OCR 4 — Mistral OCR 4。416 分 / 109 条评论（HN）。Mistral 时隔一年更新 OCR 产品线。评论区集体跑偏到「USPS 手写地址路由才是真正的 OCR 奇迹」——一条三字地址从阿尔及利亚寄到法国的轶事抢了所有风头。

  • AI 的支付能力危机 — AI’s Affordability Crisis。215 分 / 274 条评论（HN）。dshr 的经典分析风格：从单位推理成本切入，论证当前 AI 经济模型的裂缝不在技术而在账单。

  • Claude Tag — Claude Tag。222 分 / 141 条评论（HN）。Anthropic 推出新标记功能。产品迭代速度在加快，但与 OpenAI 的功能矩阵相比仍然克制。

  • Lift4D：单视图 3D 到 4D 重建 — Lift4D: Harmonizing Single-View 3D for 4D Reconstruction。101 分 / 10 条评论（HN）。从单张图片重建动态 3D 场景的时间维度，学术味重但方向值得关注。

  • AI 招聘工具的算法单一文化 — Algorithmic Monocultures in Hiring。120 分 / 122 条评论（HN）。Stanford HAI 的研究：所有 AI 招聘工具同时淘汰同一类候选人，不是因为它们错了，而是因为它们太像了。

🛠️ 工具、格式与基础设施

  • F3：下一代列式存储格式 — F3。584 分 / 126 条评论（HN）。ACM SIGMOD 论文产物，对标 Parquet 的列存格式。主打改进随机访问性能。社区最大的质疑：Parquet 连自己最老的 2013 版本都没替代掉，新格式凭什么？

    • 💬 评论区：vouwfietsman 的冷水泼得精准——“Parquet 的护城河是兼容性，而这恰恰是新格式最难攻克的。F3 用 WASM 解码器却需要 FlatBuffers 解析，牺牲了列存的核心优势（快速分析）去换随机访问，方向存疑。”

  • Show HN: TikZ Editor — LaTeX 论文图的所见即所得编辑器 — TikZ Editor – WYSIWYG editor for figures in LaTeX。293 分 / 58 条评论（HN）。全部由 Codex 生成。 实时同步源码和渲染视图，拖拽元素时只改坐标数字不动格式。作者重写了 TikZ 的 TeX 换行算法和颜色混合系统——“没有人类愿意干这种活”。

  • Plotnine：Python 版 ggplot2 — Plotnine。247 分 / 74 条评论（HN）。R 的 ggplot2 在 Python 生态的最完整移植，Grammar of Graphics 的忠实实现。

  • F* 文件系统：绕过 OS 内核直读 SSD — F* file system – file search that reads SSD directly bypassing OS kernel。16 分 / 18 条评论（HN）。小众但硬核：直接操作 NVMe 控制器做文件检索，跳过内核 VFS 层。

  • Libffi 性能改进：Plan Cache — Performance Improvements in Libffi。36 分 / 6 条评论（HN）。FFI 调用路径上的缓存优化，Python/Ruby 等动态语言的底层依赖。

  • DataStar：轻量级前端框架 — Datastar: it’s pretty good。Lobsters △~15（Lobsters）。HTMX 风格的超媒体驱动框架，社区评价「相当不错」。

  • Rhombus v1.0：Racket 家族的语法糖语言 — Rhombus v1.0 – A Racket-flavored language。Lobsters △~20（Lobsters）。Racket 生态的「新方言」，试图在 Lisp 的表达力上加一层传统语法的可读性。

💻 编程语言生态

  • Mitchell Hashimoto 再向 Zig 软件基金会捐赠 40 万美元 — Pledging Another $400,000 to the Zig Software Foundation。Lobsters △146 / 20 条评论（Lobsters）。HashiCorp 联合创始人持续押注 Zig。评论区有人指出他的代码贡献比金钱捐赠更珍贵。

    • 💬 评论区：kristoff（△63）写道「他的财务支持令人印象深刻，但这不是他对 Zig 最有价值的贡献」。

  • 使用 Codeberg 一年 — One year with Codeberg。Lobsters △89 / 36 条评论（Lobsters）。Guix 项目从 GitHub 迁移到 Codeberg（Forgejo 实例）满一年的复盘——开源替代方案的实际体验报告。

  • WASM 运行时性能对比（2026） — Performance of WebAssembly runtimes in 2026。Lobsters △12 / 0 条评论（Lobsters）。Wasmtime、WAMR、Wasmer 等 2026 年基准跑分，无评论但数据扎实。

  • Nix 需要可重定位的二进制 — Nix needs relocatable binaries。Lobsters △~15（Lobsters）。Nix 生态的老大难问题——store 路径硬编码使得预编译二进制无法在不同机器间移植。

🔒 安全与隐私

🏛️ 科技公司与政策

📝 工程实践与技艺

  • Chesterton 的中指：不要乱拆你不懂的代码 — Chesterton’s middle finger。Lobsters △106 / 41 条评论（Lobsters）。Chesterton 栅栏原则的工程实践版：删代码前先搞清楚它为什么在那里。最毒的 commit message 是「fix」和「WIP commit」——后来者做代码考古时连起点都找不到。

    • 💬 评论区：david_chisnall（△16）说 code review 的最大价值是「让别人读你的代码后逼你写下所有未明说的上下文」——他自己解释不清的、reviewer 看不懂的，都得写进注释。

  • 请保持代码描述简洁 — Please keep code descriptions simple。Lobsters △30 / 36 条评论（Lobsters）。反对 commit message 过于冗长的反向声音——描述应该简洁到让下一个开发者能在一屏内抓住要点。

  • 回望时才看得清 — It’s Only When You Look Back。Lobsters △22 / 16 条评论（Lobsters）。老工程师的回顾性文章：技术进步的意义往往只在回望时显现，当下只觉得是又一个 deadline。

  • Matt’s Script Archive：重塑 Web 的 Perl 脚本 — Matt’s Script Archive: The Scripts That Reshaped The Web。Lobsters △16 / 4 条评论（Lobsters）。1995 年 Matt Wright 的 Perl CGI 脚本合集——FormMail、WWWBoard 等——几乎所有早期网站都跑过这些代码。Web 考古的必读篇。

  • 纪念红绿波浪线的发明者 — In memory of the man who put red and green squiggles under words。HN 40 分 / Lobsters △108 / 5 条评论（HN | Lobsters）。拼写检查的红色波浪线和语法检查的绿色波浪线——你现在盯着的东西——来自一位刚过世的微软工程师。

  • 一个多余的 “j” 毁了我的晚上 — how a stray “j” ruined my evening。Lobsters △12 / 8 条评论（Lobsters）。一个字符引发的 debug 血案——每个程序员都经历过的 PTSD。

🎮 轻度 & 好玩

  • Jerry’s Map：一个人的世界构建 — Jerry’s Map。272 分 / 36 条评论（HN）。一位老人花几十年手绘的幻想世界地图，超过 3000 张索引卡拼成的庞大宇宙。

  • 打印高斯泼溅 — Printing Gaussian Splats。113 分 / 7 条评论（HN）。将 3D Gaussian Splatting 渲染结果 3D 打印成实体——数字泼溅的物理化。

  • Commodore 128 接五台显示器 — Five monitors on a Commodore 128 [video]。95 分 / 18 条评论（HN）。1985 年的 8 位机接五屏——不是为了实用，是为了证明能做到。

  • Elden Ring 的低科技 AI — The Low-Tech AI Of Elden Ring。Lobsters △43 / 6 条评论（Lobsters）。FromSoftware 的游戏 AI 本质上是一堆状态机和行为树，和深度学习毫无关系——但效果比大多数 AAA 游戏好得多。

  • 70 年代圣地亚哥街拍日志 — San Diego photologs from the 1970s。136 分 / 46 条评论（HN）。1970 年代政府为城市规划拍下的街景照片数字化公开，城市变迁的数据金矿。

  • 不小心做了一张摇摆照片 — help i accidentally a wigglegram。Lobsters △145 / 32 条评论（Lobsters）。Nishika N8000 四镜头 3D 胶卷相机拍出的「摇摆照片」——今天的最高赞娱乐帖。

  • 维生素 D 的无用论被温和夸大了 — The worthlessness of Vitamin D is mildly exaggerated。153 分 / 111 条评论（HN）。dynomight 对维生素 D 临床研究进行了细致拆解——「没用论」本身也被夸大了。

📝 今日总结

今天的头条被 OCR 和数据格式占据，但真正值得关注的信号是 Armin Ronacher 和 Chesterton 栅栏共同指向的那个判断：工具在变，但「清晰」和「上下文」的价值没有变。 Codex 可以替你做无聊的 TikZ 重写，但无法替你决定要画什么图。F3 可以挑战 Parquet，但兼容性的护城河比技术指标更难跨越。

必读 Top 3：The Coming Loop（对 AI 编码最冷静的业界判断）、Chesterton’s middle finger（commit message 是给未来考古学家的信）、TikZ Editor（「不可能项目」的范式示范）。

今天的横向共振：OCR 双雄同屏（百度 + Mistral）、Mitchell Hashimoto 连续押注 Zig（独立个人对语言生态的影响力被低估了）、绘图板 Linux 驱动的命名之争（品牌感知 vs 工程现实的经典冲突）。