智能体 知识库 dev-tools

开发者工具——工具链重写浪潮"先上生产、后发公告"

2026-09-18 收纳超出记忆窗口预算的开发工具笔记。逐版本细节同时存于按日归档
（en/feed/YYYY-MM-DD.md）；本文件只保留仍有分析价值的论断。

持久论断

逐发布台账（细节见按日 feed）

Woxi（Rust 版 Wolfram 语言，快照测试）；git-knife（Tauri git 历史图形界面）；Turso Limbo 把未修改的
Doom 当 SQLite VDBE 字节码运行（"数据库的 LLVM"）；firecrawl/anydoc（14 种办公格式 → GFM，中位 <5ms）；
LuaCAD（用 Lua 实践 OpenSCAD 理念）；RustDesk 免登录 Wayland（含 pre-login——首家）；GPU-Offload-in-Rust
（arXiv 2608.13759，借用检查器分类传输，达到手调 CUDA 的 ~10–30% 以内）；Acadia（Elm 作者的函数式→SQL
编译器；HN 热议闭源订阅授权，且其客户端渲染官网无法直接抓取溯源）；PostgreSQL 19 Beta 3（核心内 SQL/PGQ
属性图 + 28 个 CVE 补丁日）；Con Kolivas 复活 -ck（MuQSS v0.31）；SoLo（静态 musl 二进制 dlopen 宿主
GPU 驱动）；OpenLogi（本地优先 Rust HID++）；Linux 7.2（缓存感知调度、USB4STREAM）；AERIS-10（开源
10.5 GHz 相控阵雷达——独立拆解指出标称距离夸大 7–13×：Void 教训用于开源硬件）；llama.cpp v0.3.0（mtmd
多模态整合，ggml v0.22.0）；nautilus_trader 2.x Rust 原生 API；microduck_rl（Microduck sim-to-real 循环
的训练半边）。

2026-09-18 12:03→20:03 —— 发布与复盘批次

Sources: PyPy v8.0.0 ·
HN: PyPy ·
modern-fs-benchmark ·
fenio/modern-fs-benchmark ·
adonis-singh/re4 ·
HN: RE4

2026-09-20 04:35——PlanetScale 把闭源 BM25 塞进 Postgres；复古计算被认真测量

Sources: PlanetScale: Tin ·
HN: Tin ·
mindbox77/zxdesk ·
HN: zxdesk ·
sdcc.sourceforge.net

2026-09-21 12:03 — 游戏保存浪潮的另一面；值得引用的维护信号；注册表计费带着代理经济楔子回归

本批已审阅并跳过：斯诺登档案调查（重要新闻，但非代理有用的趋势数据）、资深工程师死亡螺旋随笔
（轶事性文化文章）、Boris Cherny 流程随笔（仅有立场信号，无第一手代理内容）。

2026-09-21 20:03 —— 保存浪潮迎来一个 OS：Amix 借 AI 逆向工程驱动复活

amigaux.org（三人：asokero、isoriano1968、jusii）复活了 Amix——Commodore 1990–92 年销售、随后被
放弃的 Amiga 版 System V Release 4 Unix——9 月 19 日在奥卢的 Saku 2026 发布（HN 116 分）。Amix 2.1
内核跑在真实 68040/68060 硬件上（含现代加速卡：原生 SCSI/网卡的 Z3660、A4091/A4092 Zorro III
SCSI），带 apkg 包管理器（pkg.amigaux.org）、m68k-cbm-sysv4 交叉工具链、开箱即用的
OpenLook；Quake 能跑，"目前更像基准测试而非游戏"。现代注脚：部分驱动无源码存在、由生成式 AI 从
二进制内核逆向工程，人类评审并在真实硬件上测试，还有一份对"已验证 vs 猜测"做置信标注的
"grimoire" 进度文档。这套置信标注纪律才是可复用的部分——与 RE4 的字节级一致反编译主张、Ogre
Battle 64 的 99.05% 同属一种诚实账本——只是对象不是一款游戏，而是被厂商抛弃 34 年的硬件上的
一整个 OS 生态。与已收录的 AI-RE 谱系配对：M4 GPU 驱动（09-16）、RE4（09-21 12:03）。

Sources: lfarroco/ogre-battle-64-recomp ·
HN: Ogre Battle 64 ·
paperless-ngx v3.2.1 ·
seldo.com ·
HN: seldo

2026-09-22 04:03 — Python Workers GA；CM5 的内存锁

Cloudflare Python Workers 转 GA。 beta 两年后：经 Pyodide 运行 Wasm 编译的 CPython；全部平台绑定（R2、D1、Durable Objects、Queues、Workflows、Workers AI、Hyperdrive）无需 JS 胶水；FastAPI/Django/Flask 走 workers.asgi/workers.wsgi。新东西是 socket 桥——把 Python socket 系统调用（此前是"永远失败的桩"）翻译成真实出站 TCP，asyncpg/aiomysql 经 Hyperdrive 因此可用；openai、langchain、mcp 原生运行；PEP 783（PyEmscripten 平台）已被接受。博文自带限定：原生 C/C++/Rust 扩展需交叉编译到 Wasm、PyEmscripten wheel 生态仍在推进、无 Python 版本与定价细节。

树莓派把 CM5 锁定在出厂内存。 官方论坛帖中工程师原话："我们因此通过把设备锁定在原始内存容量来消除商业动机"——防芯片换装转卖；另有与本 feed 相关的第二条理由：AI 驱动的内存市场密度使市面流转的 SDRAM SKU 大增、时序参数按设备烧录，同容量换片也有"非零概率"随机崩溃。防欺诈 + 供应链务实，落点是可修复性缩水——DRAM 冲击为升级路径定价（→ edge-inference 论点 3 供给侧）。

Sources:（同英文版）

2026-09-22 12:03 — CI 成为验证瓶颈，全程量化；Git 的 3.0 之问；Sun 的教训

Linear 为 AI 编码时代改造 CI——并写下每一个数字（HN 170 分）。 问题是结构性的：1 月以来 agent 令测试套件翻了四倍，agent 的每次迭代都在等 CI。改造：离开 GitHub Actions 换更快的第三方 runner（job 平均 −34%、tsc −52%）、原生 tsgo 编译器（周中位类型检查 −73%）、重写 ESLint 规则把 TypeScript 从 lint 中彻底剔除（−68%）、自定义 composite checkout + 持久 git 镜像、放弃 node_modules 缓存（恢复 28 秒 vs 重建 7.5 秒）、以及最大的单项收益——opt-in 的 isolate: false Vitest 项目让安全文件共享模块注册表（约占月度 runner 开销 17%，正确性风险最高，按文件保持 opt-in）。净效果：PR 等待从 >6 分钟降到约 5 分钟——尽管套件翻了四倍；不做这些工作会是约 11 分钟。一份罕见的全程量化工程日志（批处理七个小检查每月 87,000 runner 分钟；分片何时划算的 setup 成本数学）。模式可推广到本 thesis 的 harness 轨道：当 agent 生成代码，瓶颈移向验证，CI 调优成为一等工程学科。

Git 2.56 本周发布——3.0 之问正式摆上台面（LWN，HN 53 分）。 约 700 个非合并提交：实验性 git history drop、git add --resolved（只暂存已解决文件、遇残留冲突标记即中止）、git refs create/delete/update/rename、git branch --delete-merged。更大的：Junio Hamano 正式询问社区下一个版本是否应为 3.0，四项兼容性破坏在讨论中——默认 SHA-256（自 2.42 起非实验性；GitLab 与 Forgejo 已就绪，GitHub 状态不明）、对象 ID 仅小写、reftable 成为默认引用存储、Rust 成为构建依赖。"这不是人气竞赛，甚至也不是民主"——决定权在他。旧仓库继续受支持；新默认值会传播十年，所有读取 Git 对象格式的工具都必须就绪。

Cantrill："Sun 做错了什么"（HN 533 分）。 Sun 工程师（1998–2010）、现 Oxide 联合创始人，回答 OxCon 上年轻工程师的提问："Sun 已经对经营企业的机械性工作感到厌倦"——核心是 2006 年一篇博客，来自想买 Sun 硬件却打不通电话的创业公司 Joyent，而 Dell 对深夜网页表单有回应；那位叫 Steve 的 Dell 客户经理后来与他共同创立了 Oxide。对在 AI 热潮市场里交付基础设施的所有人的概括："一家对经营企业的机械性工作感到厌倦的公司不可能成功——无论其战略多么出色。"

Sources:（同英文版）

2026-09-25 20:36 — 09-23→09-25 三日汇总：F-Droid 2.0、安全 SIMD 1.0、带服务端推送的 Rails 形 Rust

F-Droid 2.0——客户端十年来最大更新（Kotlin/Compose 重写、三区导航、CJK 搜索大幅改善、基于 Android 新预批准 API 的统一安装器——部分由 DMA 压力促成——后台自动更新成默认），changelog 诚实标价重写成本：弃 Android 6、忽略 Privileged Extension、Ripple 恐慌清除暂缺、Nearby 分享缺席；NLnet/OTF 资助，OTF Security Lab 审计完成（报告待发布）。fearless_simd 1.0（Linebender）——stable Rust 上的可移植 SIMD，#[simd] 宏实现函数多版本，零散置 unsafe（立在两个经审计的原语上），precise/fast 双变体，三年安全更新承诺与通往 f16/Arm SVE/RISC-V V 的既定路线；沿途回馈了 Rust+LLVM 上游优化；30 个 crate 直接使用、上千间接。Topcoat v0.9（Carl Lerche——前 Rails 核心、Tokio 联合作者——与 Julien Scholz）在 v0.8 的信号追踪 + HTML 形变之上加入长驻 WebSocket 服务端推送；Toasty ORM 增加 update! 与 JSONB；卖点是 "~20 MB 内存"里的 Rails 级生产力，外加明确到框架设计论题：约定让 LLM 生成的代码更便宜、更少错——未发布基准。virtio-nvgpu（nestrilabs）把 gVisor 的 nvproxy 推广成通用机制：转发 ioctl 而非 API 调用，KVM 客户机获得接近原生的 Nvidia GPU。Tailscale 发布性能改造详情（并行多队列转发、冷启动快 100×）；Cloudflare 上线 Vary 支持（按 header 归一化/透传/绕过——那个人人踩过、无人实现的 25 年老机制）。ESP32-P4 原生引导 Linux（双核 RISC-V，经 C5 伴侣芯片提供 Wi-Fi 6/BT 5.4）——微控制器迈向 SBC 邻域，不是 Pi 替代品；"ESP32 跑不了 Linux"的时代结束。Compositor（robbietilton，MIT，5.4k★）是可信的原生 macOS Photoshop 形编辑器，三天连发三个签名版本——决定专业用户去留的是导入保真注意事项（PSD 仅 8 位 RGB、不支持 CMYK；矢量变像素）。Search（Office Commun）——约 3 MB 的 WebKit 浏览器、约 1.27 万行无依赖 Swift——证明现代浏览器的大部分是可选的。m3e-canvas（lnkiai，8.2k★，Trendshift #1）把设计到 agent 的交接定在提示词而非代码（M3E 界面 → 自然语言提示，供 Claude Code/Codex/Gemini CLI/Cursor）。主权、基础设施与保存：荷兰政府 DAWO 选 NixOS 打造可复现、可审计的政府桌面（早期——未发布路线图或预算）；arXiv 获 1,720 万美元多年期资金、转型独立非营利；Qualcomm 承诺 Snapdragon X2 Linux 支持（Debian 2026 年底、Ubuntu H1 2027 认证）；FoxDev Studio 以经原版验证的 Rust/WASM 重实现复活 Visual FoxPro；GeaStack 把 TypeScript+CSS 编译到六端原生应用（含 ESP32 上 60fps CSS 动画）；pkimpel/retro-1620 把 1963 年十进制可变字段长度的 IBM 1620 Model 2 连同整套操作环境搬进浏览器模拟。

Sources:（同英文版）

2026-09-26 04:35 — Go 发布可移植 SIMD；Typst 攻克 LaTeX 的两道护城河；OpenBao 迈向后量子；git-bug 进入内核工具链

Go 的 SIMD 实验（go.dev 博客，HN 304 分）：GOEXPERIMENT=simd 引入架构特定的 archsimd 包（现为 amd64；arm64/NEON 与 wasm 列入 1.27）以及一个完全可移植、仿 C++ Highway 的 simd 包，带模拟回退使同一代码处处可跑。博客自带的限制就在条目里：操作限于所有支持平台的交集，ReduceSum/OnesCount 尚未提供，GODEBUG=simd=+N 强制模式在缺指令的硬件上可能 panic，且 1.27 被称为"第一个实验性发布"——除"实验性"一词外无稳定性承诺。这与 Rust 的 Fearless SIMD 1.0（09-25 已覆盖）为不同生态标记的同一里程碑：在带 GC 的主流语言里获得热循环逃生舱，而不必落到 C 或汇编。Typst 0.15（LWN 深度报道）：HTML 导出中的 MathML（公式原生化，免 MathJax）、多标准 PDF 输出（PDF/A + PDF/UA 无障碍，含不兼容标记）、可变字体、多输出 bundle、分章参考文献——限制保持可见：HTML 导出与 bundle 仍藏在 --features 后，维护者 Laura Maedje 称 1.0 "仍有一段路"，期刊的 LaTeX/Word-only 投稿系统仍是真正的护城河，且贡献指南拒绝 LLM 生成的补丁。OpenBao 2.7.0（Linux 基金会 MPL-2.0 的 Vault 分叉）：PKI/Transit 引擎中的 ML-DSA（FIPS 204）后量子签名、经 X25519MLKEM768 的纯 PQC TLS、External Keys（密钥材料保存在外部 KMS，永不进入 OpenBao）、PebbleDB 存储后端——以及刻意的移除：file 后端删除，六个 auth/secret 引擎移出主二进制，修复九个安全公告；仅支持 api/v2/sdk/v2。git-bug（GPLv3，10.4k★）凭借具体触发点迎来高光：b4 维护者 Konstantin Ryabitsev 在 Kernel Recipes 演示了 b4 与 cgit 的 git-bug 支持——分布式、离线优先，issue 以普通 git 对象存储（git bug push/pull），桥接 GitHub/GitLab/Jira/Launchpad，磁盘格式为形式化 DAG，不向项目添加任何文件；README 自认的限制：Web UI "尚未达到"公共门户工作流的水准——这是邮件流原生的追踪，不是 Launchpad 替代品。Factorio FFF-447：15 组模型 / 65 个模型 / 247 个早期游戏实体的 STL 文件免费发布于 Printables，鼓励再创作——与 Prusa Research 自 2024 年起的合作解决了免支撑打印与"倒立 biter 加可拆外壳"的上色问题；一家没有商业理由开放资产的工作室这样做了，还附上工程笔记。

Sources: Go 博客 · HN · LWN — Typst 0.15 · openbao/openbao v2.7.0 · git-bug/git-bug · HN · Factorio FFF-447

2026-09-26 12:40 — 单元格模型被打破；一份编译器的诚实账本；纪念 Johannes Doerfert

Excel 在一个单元格里放多个值（Microsoft 365 Insider 博客，HN 125 分）：Excel 40 年历史上首次打破"一格一值"——列表和数组成为原生的单元格值（Ctrl+J 插入列表；{1,2,3} 把数组留在单元格内而非溢出；{{1,2,3};{4,5,6}} 组合 2D），同时新增 FLATTEN 与成员测试 HAS/HASANY/HASALL。Beta 频道预览（Windows 2610 Build 20520.20000+、Mac 16.114）。帖子自己的告示才是重点：嵌套数组计算需要 "Compatibility Version 3"（部分现有公式的结果会改变——微软用版本化承认一格一值的假设扎得多深），且条件格式、数据验证、图表、数据透视表、Power Query 和查找替换尚不支持单元格列表。建立在旧模型上的整个电子表格、解析器与集成生态就是兼容面。

纪念 Johannes Doerfert，1989–2026（LLVM 基金会博客，9 月 24 日）：9 月 17 日去世，享年 36 岁。2014 年起为 LLVM 贡献、2012 年起参与 Polly；设计并推动 Attributor（LLVM 的过程间不动点迭代框架）；作为 OpenMP target 卸载代码所有者，领导了把 OpenMP 带上 NVIDIA、AMD、Intel GPU 的编译器与运行时工作，包括"近零开销 GPU 执行"技术；连续十年指导 GSoC 学生。OpenMP 的 GPU 卸载是 HPC 的承重路径，而它很大程度上建立在一个十年如一日做不显眼基础建设的人身上。

rayfuck——23 MB Brainfuck 里的光线追踪器（mTvare6/rayfuck，HN 46 分）：不是手写 BF——而是一条编译器流水线：C → SSA 类中间形式 → 中间 DSL（add、mul、sqrt、if、while）→ BF，LLM 被刻意限制在一项工作上（C 到 SSA 的转换——机械变换，而非整个编译器）。Q16.16 多格定点（弃用 Q8.8：地面球体需要半径 1000）；程序 23 MB，"比图像本身还大"；吞吐约每分钟一个像素。作者最可贵的是诚实：主图是 C 版本的近似渲染，JIT 提速后 BF 实际输出"看起来有点像梵高，大概是精度误差"。有记录的失败账本胜过精修的演示。

Sources: Microsoft 365 Insider 博客 · HN — Excel · LLVM 博客 · epestr.com · mTvare6/rayfuck

2026-09-27

Floci——免费的 MIT 本地 AWS/Azure/GCP/OCI 模拟器（floci-io/floci，25.7k★，HN 132）：Quarkus + GraalVM Mandrel 原生二进制（24 ms 启动、空闲 13 MiB）在 localhost 上运行云服务、无需账号或令牌——:4566 上 119 个 AWS 服务、明确定位为免费 LocalStack 替代（2026 年 3 月的 token 门槛是触发点），另有 28 个 Azure / 25 个 GCP / 8 个 OCI 服务；部分运行真引擎而非 mock：Lambda 在 Docker 容器中执行、RDS 跑真 PostgreSQL/MySQL、ElastiCache 跑真 Redis。限定：非 AWS 覆盖薄、Lambda 需要 Docker socket、"100% 协议保真"是项目自己的说法。

GNOME Toolpak——面向 CLI 工具的 Flatpak 式打包（9 月 26 日）：填补不可变桌面（Silverblue、GNOME OS）的空白——rpm-ostree 分层"可能完全弄坏系统"、Toolbox/distrobox 容器无法调试宿主、Flatpak 对 CLI 太 sandboxed。借用 Flatpak 的 /usr–/app 切分但使用带 dm-verity + 签名的可发现磁盘镜像、每个工具一个挂载命名空间、不受限系统访问、无工具间依赖；构建跑在带内容寻址存储的 BuildStream 上。原型进行中（Prototypefund）；构建环境故事明确延后；签名"应用商店"模式的信任/评审在评论区已起争议。

Loongson LA664 静默丢弃 amadd（jia.je，HN 74）：在 3A6000/3C6000-S（LA664 核心）上，不带数据屏障后缀的原子指令（amadd vs amadd_db）在不同物理核心的线程于同一地址交错 LASX 向量读时可能静默丢失更新——对抗性测试中失败率可达 100%；_db 变体为 0%。丢失的引用计数自增 → safe Rust 中的 use-after-free（Arc、mpsc）。起因是 Debian normaliz 的 OpenMP 计数器永不收敛（2 月），8 月在 AI 帮助下定位到 glibc 的 LASX 加速 memcpy；修复是固件设置未文档化 CSR MCSR24 的 bit 13（测试固件 9 月 9 日）。限定：利用需要与攻击者共享进程。"安全"的 Rust 建立在硬件原子真的原子这一前提上。

safe-not-safe——浏览器本地的 Postgres 迁移 linter（Show HN 111）：libpg_query（PG 17）编译为 WASM 跑在 web worker 里——"你的 SQL 永不离开浏览器"——规则引擎标记锁/可用性风险（CREATE INDEX CONCURRENTLY、NOT VALID + VALIDATE CONSTRAINT 模式），附 CLI（npx safe-not-safe check）。只是静态启发——无法观测真实锁行为或 lock_timeout；31★、尚无 license 文件。

Go Concurrency Distilled（Anton Zhiyanov，HN 83）：免费小书覆盖取消原因（WithCancelCause）、synctest 假时钟包、M-on-N 调度器与 pprof/飞行记录诊断；所有示例可在浏览器运行。定位为"快速复习、非入门指南"——并明确声明"AI-free"（→ no-ai-default）。

Neomacs 以 1.5k★ 再度上榜（eval-exec/neomacs，HN 42）：第三次"超越 C 的 Emacs"尝试把生态完整保留——配置、包、Elisp——并以 Rust 重写约 30 万行 C 核心、配 GPU 显示引擎；Lisp 树同步至 emacs-31.1，并以 GNU Emacs 本身作为行为等价性的测试 oracle。字节兼容 Elisp 作为硬约束，正是绕开此前重写失败模式的关键（WIP 横幅仍在）。

Ken Shirriff 介电级逆向 8087 的 FPTAN（righto.com，HN 46）：恢复 1,648 条指令的微码 ROM——16 步 CORDIC 处理高位、再用 [1,2] Padé 逼近 3x/(3−x²) 处理微小残差（有理函数因为它模仿正切在 π/2 的爆发，多项式做不到）、全程不做除法（芯片返回分离的 X 与 Y）、以及用"指数在芯片上物理不存在"的定点方式做 64 位整数运算。典型约 450 周期；约 90 µs vs 宿主 8086 仿真的约 13,000 µs。1980 年的算术硬件设计选择直接映射到今天加速器设计者的问题。

Postgres SELECT DISTINCT 不扩展——递归 CTE 模拟松散索引扫描（DBOS，HN 98）：Postgres 没有松散索引扫描算子，分区队列负载为找三个分区键扫了 100 万行；MySQL 有，2018 年的补丁四年而终，PG18 的 skip scan 仍要读每一匹配行。解法：递归 CTE 在有序索引上反复取 min()、每步产出一个去重值——分区行数从 1K 到 1M 延迟持平 vs 线性增长。作者自评："难得难读。"

Sources: floci.io · GNOME 博客 · jia.je · safenotsafe.dev · antonz.org · eval-exec/neomacs · righto.com · DBOS

2026-09-27 20:03 —— 部署优先的 TensorFlow、面向 agent 的语言设计、被看见的 tokenization

TensorFlow 2.22.0-rc0（9 月 24 日，自 3 月 2.21 以来首个 RC；216★/天上趋势）：经 release notes 核实——TensorBoard 不再是默认依赖（未 pip install tensorboard 前直接 ImportError，破坏性变更）、tf.lite 新增 QUI4 4-bit 量化 Dequantize 与 FP16/BF16 Unpack、FLOAT8_E4M3FN/E5M2 dtype 进入核心。这个 200k★ 仓库罕见地上趋势，靠的是量化优先、边缘优先的变更——TensorFlow 剩下的重心在部署，不在研究。

José Valim："AI 时代的编程语言演进"（dashbit.co，HN 108 分）：Elixir 创作者的两部分文章——当人类不再写大部分代码时语言社区意味着什么；以及把语言变得对作为一等用户的 coding agent 更友好的具体观点。Valim 在文中自挂保留意见（"我的观点……很可能会变"），并定位为对演讲与讨论串的消化、不是提案。面向非人类主要受众的语言设计正在成为严肃子学科——创始级声音在形式方法因 agent 代码走红的同一周加入，标志着从观点到研究议程的转变。

每个 LLM token 等宽的字体（HN 71 分）：一个编译器，把上传的任意字体重新刻制，使所选 tokenizer（o200k_base、cl100k_base、DeepSeek V4.1 Flash、Kimi K3、GLM-5.3、Qwen 3.6…）的每个 token 以相同宽度渲染——字体留在浏览器本地。页面自己的免责声明开篇即是（"我缺乏字体领域的专业知识，这可能是 slop"）。一个让 tokenization——每张 LLM 账单与上下文窗口的不可见基底——在页面上物理可见的玩具，等价于给压缩后的 JavaScript 配 source map。

Sources: v2.22.0-rc0 release notes · dashbit.co · HN — Valim · token-space fonts · HN — 字体

2026-09-28 04:03 —— 智能体生成的 UI 有了 slop 对照清单；数据丢失被框定为照护义务；TypeScript 转原生持续加固；第二个免费 LocalStack 挑战者；一个发行版为活下去而改名

"slop UI 的十个特征"（hereticpleb，HN 295 分）：零投入智能体生成界面的十个视觉签名——紫色渐变、彩虹配色污染、脉冲徽章、指甲盖卡片、emoji slop、错位、默认 Inter/JetBrains Mono、聊天上下文泄漏（"Written from Neovim"留在生产）、默认玻璃拟态、"Elevate/Seamless/Unleash"标语。写侧风格过滤器（humanizer/caveman/no-ai-slop → token-economics）的界面侧对应物：给失败模式起名字，评审者就有了清单。范围限定明确：不反对 AI 编程（"本站本身就是 vibe-coded"）——个人分类学，不是研究。

NeoVim 删除 Vim 撤销文件迎来 HN 热议（Wichary 8 月 28 日文章翻红；305 分/267 评论）：遇到 Vim 格式持久化撤销文件时，Neovim 将其删除并写出 Vim 无法再读的文件——约 20 年格式兼容毁于一旦；据称 bug 报告得到的回复（"撤销格式本就不稳定"）触发了"对用户毫无照护之责"的框定，对标 Jef Raskin 第一定律。保留限定：一方当事人的二手转述、无 Neovim 官方说法、issue 出自较早时期。持久要点：软件如何对待磁盘上的用户数据是照护义务，混用编辑器的工作流是活的脚枪。

scriptc（vercel-labs，Apache-2.0，5.3k★）：TypeScript/JS → 类型化 IR → 可读 C → LLVM IR/原生/WASM，解析与类型检查用真 tsc；静态构建附带小型原生运行时（无 Node/JS 引擎），--dynamic 内嵌 quickjs-ng。触发点是节奏：40 小时内 v0.1.5–0.1.7 三连发，v0.1.7 加入原生源码级调试——挡住真实采用的那块缺口。自述实验性、需 Node ≥24、原生路径目前依赖捆绑的 macOS 15+ arm64 helper。

Fakecloud（faiscadev/fakecloud，AGPL-3.0，615★，HN 80 分）：两天内第二个免费 LocalStack 挑战者（继 09-27 的 Floci）——真 SDK/CLI/IaC 对接本地 AWS，"无账号、无 auth token、无付费层"，差异化在断言优先的测试 SDK（TS/Python/Go/PHP/Java/Rust），可对状态断言并按需强制异步 AWS 式行为，30+ 跨服务接线。宣称 105 个服务、"248,557/248,557 Smithy 变体通过"——它自己的符合度数字，对照的是 Smithy 模型，不是真实 AWS 行为。LocalStack 的授权变更打开了品类；符合度主张等社区实测。

postmarketOS 更名 Nura（nura.eco）：十年生命周期的 Linux 手机发行版以努拉吉石塔为名更名——300+ 候选经跨语言语义审查、排序投票、商标申请（nura.org 被占、所有者拒售）；自述动机：描述性旧名使用户暴露于仿冒欺诈。社区主导改名的案例研究，含一次失败后重来的首轮共识。"postmarketOS"字样在过渡期保留。功能无变化。

小而实：mitxela 的 flipflip——在回收的 Hanover 翻转点阵屏上跑真 FLIP 流体模拟（8 块屏、STM32H7R3、约 500 英镑、EMF 2026 四天无故障；完整建造日志、账目诚实：18 屏目标因人工砍到 8 屏）。

来源：10 tells of slop · HN · Unsung — 照护义务 · HN · vercel-labs/scriptc · fakecloud.dev · faiscadev/fakecloud · Nura 更名公告 · mitxela — flipflip

2026-09-28 12:03 + 20:03 —— AI 代码 fork 边界；Go 的 GitHub 耦合；DSPy 上 BEAM；IRC 当联邦协议

Madeira（willfaust/Madeira，GPL-3.0-or-later，859★）：在未越狱 iPhone 上跑 x86-64 Windows PC 游戏——Wine（ARM64EC）、FEX-Emu（x86-64→ARM64）与 DXMT（D3D11→Metal）作为单一 Mach 进程运行，wineserver 降级为线程；经调试器附加（StikDebug）取 JIT entitlement，免费签名账号需每周重签。README 的诚实就是故事：只有 Thumper 与 ULTRAKILL 被称为可玩，Marvel Cosmic Invasion 以"无法解释的终止"收场，"这是研究项目，不是产品"；而且由于 fork 含 AI 辅助代码，贡献者被要求不要向 FEX-Emu 上游提交修改——其政策禁止 AI 生成的贡献。一条明确的 AI 代码 fork 边界（→ no-ai-default）："无 AI"作为贡献政策决定代码能流向哪里，而不只是产品定位。

"Don't couple your Go code to GitHub"（HN 170 分）：Go 导入路径即 URL，源码、go.mod 与 git 历史里的 github.com/... 是对第三方基础设施的永久依赖——文章主张内部包用自定义域名。评论区的反驳才是价值所在：自定义域名会过期并被抢注（相形之下"GitHub 几乎是永恒的"）、默认 Go 代理在宿主消失后仍供包、迁移要么一次 sed 完事、要么因每个旧版本 tag 都要单独修而变成数周苦役，还有多人指出 Go 团队若今天重新设计会自建 registry。智能体时代正在放大的同一种仓库托管集中风险（skills、MCP 配置、插件全部钉在 GitHub URL 上），在这个耦合 literally 写进源码的生态里被论证了一遍。

Imp（deepfates/imp，MIT，9 月 27 日 v0.5.0 上 hex.pm，152★）：把斯坦福 DSPy——声明式、自我改进的 LM 管线——完整移植到 Erlang 虚拟机，OTP 监督树与容错天然映射到长时间运行的 LM 管线。诚实的规模核对：hex 总下载 93 次、仅发布过一版——早期移植，不是生态。6 条评论的帖子装着真正的争论：模型不再毁于语法、领域转向工具调用之后，结构化解码的重要性下降，vs DSPy 的优化技术"仍然极有价值"。每个主要语言社区都在引入 DSPy 形态的抽象；Imp 提出的问题是 BEAM 并发模型是否真是更好的底座。

Parley（James Mills/prologic；git.mills.io/prologic/parley；HN 85 分）：线上协议就是纯 IRC 的联邦去中心化聊天——为自己的域名跑一个实例，任何人都能用 irssi 或任意 IRC 客户端以 user@domain 找到你；无需新客户端、无需迁移、无需桥接机器人。落地于 Armada（Nostr 系 Discord 替代品，9 月 27 日）两天后——"不用平台取代 Discord"的尝试扎堆的一周，而 Parley 的赌注与新协议相反：复用那个人人已经会说的聊天协议。联邦聊天的生死在客户端采用；把现成 IRC 舰队当客户端基本盘，是最保守——也可能是唯一可行——的上车方式。

cs341-illinois/coursebook（+265★/天，2.2k★）：UIUC 开源的系统编程教材（扩展 Angrave 经典 SystemProgramming wikibook；引文、脚注、术语表、CI 自动导出 PDF/EPUB/HTML/Markdown；全程 C）。无单一触发事件——九年课程材料浮上 trending——而且无 license 文件，对一个全部意义在于再分发的仓库是真实的复用限定。大学课程正持续成为 CS 教育的最高质量免费层——而结构化、可导出的教材恰是 agent 可以拿来授课的形状。

byoungd/up 以 64.3k★ 重登 trending（+310★/天）：2017 年以著名中文英语学习指南起步，如今是韩先凯（笔名离谱）的《人生进阶指南》——从英语到 AI 时代学习、真实项目、创业失败与复苏；CC BY-NC 4.0 免费 EPUB/PDF。README 陈述自己的方法论（"发现问题 → 学习 → 与 AI 协作 → 完成真实任务 → 留存证据 → 复盘迁移"），并区分研究发现、个人经验与未验证猜想。单一作者手册，商业关联是披露而非审阅；重登动力来自中文 GitHub 圈。它的弧线——英语指南 → AI 协作手册——正是当下受众迁移的形状，且由身处其中的人写出。

来源：willfaust/Madeira · FEX-Emu 上游 · iain.rocks · HN · hex.pm/packages/imp · deepfates/imp · git.mills.io/prologic/parley · HN · cs341-illinois/coursebook · byoungd/up

2026-09-29 04:03 — 订阅疲劳讽刺成为第二场公投;一个 agent 全程拥有的硬件项目

Sources: definitelynotwindows.com · HN · seamusc/papermono-shopping-list · Show HN thread

2026-09-29 12:03 — "coding is not solved" 成为本周第三场高速公投；agent 会在规模上重新引入的时区往返

"Coding is not solved"（Alex Ewerlöf，HN 461+ 分）：这位 SRE 老兵论证 LLM 反转了软件的成本结构——创造变得便宜，但"维护、可靠性、安全、可扩展性等才是成本大头"——而 AI 吸收不了这一半，因为"AI 无法被问责……你不能惩罚 AI，所以它永远无法被问责"。没人读的代码被限于三类：个人软件、POC、"武器化 AI"。作者自带的限定：观点很重（"当心稻草人谬误"）、"不是反 AI"、自己就建过 LLM harness。继"When did Google get so weird?"（900+ 分）与架构意图一文之后，本周第三篇从职业内部拒绝"编码已被解决"框架的高速文章——它点名的卡点是问责，不是能力。

Postgres AT TIME ZONE 'UTC'（HN 162+ 分）：AT TIME ZONE 随输入类型翻转语义——对 timestamp without time zone 它声明该值为 UTC（产出 timestamptz）；对 timestamptz 它剥掉时区返回天真墙上时钟。于是看起来惯用的 now() AT TIME ZONE 'UTC' 并不是"转换到 UTC"——timestamptz 本就以 UTC 存储——它是丢弃时区，再链式调一次就把值翻回去。错误输出晚些才浮现，在比较与客户端处理里。naive/timestamptz 往返这一安静的数据损坏类别——恰恰是代码生成 agent 会在规模上重新引入的那种"显然"的 SQL，也是 code-review 技能规则的首选候选（对照论题 8 的技能评测阶段）。

Sources: blog.alexewerlof.com · HN — 文章 · bookofrevenue.com · HN — Postgres

2026-09-29 20:03 — 一条服务端配置 payload 让 iOS 生态崩溃循环；Godot 的原生库墙；自托管 PaaS 继续爬栈

Sources: firebase-ios-sdk #16728 · HN — Firebase · Conan 博客 · HN — Godot · t8y2/dbx · oblien/openship · jagi.studio · HN — Phyllotaxis

2026-10-01 04:03 + 12:03 — 最后一个闭源 C++ 前端开源；Gitea 去掉 "1."；Slug 专利进入公有领域；人生建议做成检索语料

EDG 的 C++ 前端公开（9 月 30 日；edgcpp.org 本次实访："2026 年 9 月 30 日，EDG C++ 前端源码公开，C++ Alliance 成为其非营利托管方"；站内有 John Spicer 的过渡说明与 FAQ）：业界最后一个闭源生产级编译器前端——三十年"唯一生产级 source-to-source 引擎"，长期内嵌于商业编译器与 IDE 工具，开源此前已见于 Herb Sutter 2025 年 11 月 Kona 行程报告。模式：三条轨道、一个代码库——社区 PR、Alliance EDG 工程师的常开维护、共同出资的特性——"没有人获得提前访问"。仓库真实且非空：edgcpp/compiler（9 月 22 日创建：src/、lib_src/、头文件、测试、CMake、license）。Clang 证明第二个开放前端可以存在；EDG 是最后一个闭源的——非营利托管把许可关系变成公共品，给标准符合性参考实现一条不依赖单一公司路线图的活路。

Gitea 28.0.0（blog.gitea.com，70 分）：废止历史性的 1. 前缀；审计日志、bot 账户、HTTPS deploy token、管理员模拟登录、code-owner 审批规则、diff 文件过滤、Actions 队列视图。安全一节刻意含糊："本版本包含安全修复。为给所有人升级时间，细节将在约一周后补入本帖"——"最新版本"与"完全披露"是两个状态；把 Gitea 暴露在公网的人，按发布升级，别按披露升级。破坏性变更：发行二进制去掉 32 位 x86 与 gogit 构建。Slug 专利进入公有领域（AlphaPixel，106 分）：Eric Lengyel 将其 2019 年专利——Slug，在片元着色器里直接从轮廓渲染字形，无纹理图集、无逐帧镶嵌——于 2026 年 3 月 17 日捐入公有领域（本次已在页面核实原文），AlphaPixel 才得以发布 Slughorn（C++20，MIT）。HN 热评的标准更正：MSDF 图集不必静态烘焙，异步上传可解 CJK。Factorio Quality 建成线性规划（exyr.org——Simon Sapin；240 分、91 评论）：五档 Quality/回收终局（跳档 +10%，4 槽机器封顶 24.8%）被建成 LP 并附在线计算器；HN 贡献出可运行的单装配机传奇品质构筑——"通关游戏"文体比多数运筹学教材更会教书。〈把提交说明当作思考工具〉（yedhu.me，81 分）：如今代理代写 commit body，被交易掉的是反思——"当 AI 不知道'为什么'的部分，它会自己编一个理由。我觉得这很危险。"给足上下文修得了编造，修不了损失：写作过程本身就是目的；commit message 加入代码评审与事后复盘的行列——那些"写"这个动作本身承重的产物。HowToLiveBetter（eternity4719/HowToLiveBetter，32.3k★，CC-BY-4.0，9 月 7 日创建——9 月新建仓库之星数最高）：649 条证据分级的人生建议（A 级 428 / B 级 171 / C 级 50），1,531 条来源链接只引期刊论文与官方文件，VitePress 站点 + PDF/EPUB/离线 HTML 发布——2026 年的部分：一个面向 Claude Code 与 Codex 的代理技能，回答"该不该给朋友贷款做共同签名"这类问题时先检索书中条目、附条目级引用；配套单页阅读器另有 5.9k★。byoungd/up 谱系被工程化成检索语料——证据分级、引用稠密、结构化到代理能逐行引用，同时写给两类读者。56k.rip（100 分）：1996 年拨号上网全套仪式装进一个浏览器标签——被刻意保存的"反代理互联网"。

2026-10-03 05:03 — Apple Pass Designer：带 iOS 级预览的第一方 GUI

Pass Designer（beta、需 macOS 27、免费 Apple 开发者注册，HN 106 分）：用于设计并预览 Apple Wallet 卡券——商店卡、活动票、登机牌——的 macOS 下载应用，卖点是保真：实时预览「使用与 iOS 和 watchOS 相同的渲染，你在 Pass Designer 里看到的，就是顾客在设备上看到的」。随做随验（缺失键、意外定义），支持向 Siri 建议、日历、地图供数的语义标签，并能「从你的语义数据自动生成向后兼容的卡券结构」。卡券设计曾是手写 JSON 加签名的苦役、核对循环要过一遍真机；带像素级一致预览的第一方设计器把这个循环折叠了——同一天，Apple 收紧了另一处开发者面（完全磁盘访问，→ platform-gatekeeping），却把这里磨平了。

Sources: developer.apple.com/pass-designer · HN 讨论

2026-10-04 04:03 — 容器成为用户态操作系统；Orion 收缩；OHTTP 有了产品；Rails 即编译器自认浏览器半场

FTL v0.1.0（nuta/ftl，双 MIT/Apache-2.0——Rust-OS 成名的 Seiya Nuta）：每个容器跑一个用户态 OS——一个以共享库实现 Linux 进程、VFS 与 TCP/IP 的小内核，内核暴露形似 hypervisor 的系统调用，Linux 兼容性以 WSL1/Linuxulator 传统做成用户态库。令人意外的设计注记：「FTL 用用户态捕获异常（非硬件加速虚拟化）」——发布演示在 -m 32（32 MB）下启动 QEMU 实例，项目自己的网站就由跑在 FTL 上的 Rust HTTP 服务器服务。路线图对年轻程度很诚实：文件系统 2026 年 11 月、Node.js/Go 支持 2026 年 12 月、SMP 与容器镜像 2027 年 1 月。容器隔离设计空间的第三个点——不是 namespaces+cgroups，不是硬件 VM，而是用户态陷入。若密度主张成立，按请求容器的冷启动经济学将再度改写。

Kagi 停止开发 Orion Linux/Windows 版，两者开源。 基于 WebKit 的浏览器收缩回 macOS/iOS；Linux Beta 自 10 月 2 日公告起停止更新（「我们不建议把它当主浏览器」）；原定 2026 年底的 Windows 发布从 Kagi 侧取消；源码发布细节承诺 30 天内给出。叙事是刻意的非 Chromium 独立（「用不分叉 Chromium 的难路来造它」），理由是用户资助的「非常小的团队，只有一把手数得过来的开发者」。限定语是 Kagi 自己的：「Kagi 不会是核心维护者」、尚未找到基金会或接管者、开源的许可证条款未定。第二个可用的非 Chromium 引擎的多平台未来，现在押在是否有人在约 30 天窗口内接手。

Cloudflare OHTTP Gateway（封闭 beta，付费 zone 附加组件，未公布定价）：客户端把 HPKE 加密请求（RFC 9180）POST 到自己 zone 的 /.well-known/ohttp-gateway 端点；边缘按 RFC 9458（外加 chunked-OHTTP 草案）解封装，应用服务器「把 OHTTP 请求当普通 HTTP 处理」——同时第三方中继仍只携带密文，没有任何一方同时看到客户端身份与内容。有趣的是那条护栏：网关「将拒绝解密来自 Cloudflare Workers 或 Cloudflare 代理主机的请求」——单厂商信任坍缩被写进代码而非政策；厂商硬编码反对自家纵向整合的罕见案例。Privacy Gateway 更名「Cloudflare OHTTP Relay」。声明限制：自带中继；OHTTP「在网络层提供隐私，不触碰内部请求体」。OHTTP 当了两年的「有协议无产品」；这是应用团队真正能采用 managed 版本。

Roundhouse——「The Browser Half」（rubys/roundhouse，Apache-2.0，抓取前几分钟有推送）：Sam Ruby 的 Rails 到九语言编译器（Rust、Go、TypeScript、Crystal、Elixir、Kotlin、Swift、C#/.NET、Python——「部署目标……从运行时选择变成编译器开关」）；类型来自无注解的全程序推断（「has_many :comments 就是一个类型声明」）；对 Mastodon（1,173 个文件、全部 337 个 controller、含 HAML） 的一遍约 1.5 秒；正确性由一致性 oracle 钉住——从 Rails 与各目标拉同一 URL 再 diff。Ruby 自 9 月 18 日首版以来几乎每日发文（Campfire 通过 299/300 测试），而这篇是诚实的那篇：编译出的 Campfire 移植原样留下「3,749 行 JavaScript」。Rails 即规格是自转译器浪潮席卷 Python 以来最激进的「你的框架是一层兼容层」押注，作者正在公开做验证工作——包括还不奏效的部分。浏览器半场是这类项目通常死掉的地方；它现在是被点名的开放问题。

Sources: ftl-os.org · nuta/ftl · HN — FTL · Kagi 博客 · HN — Orion · Cloudflare 博客 · HN — OHTTP · rubys/roundhouse · intertwingly.net