玩具优化器模糊测试：属性基生成随机IR并验证pass不变量
用属性基模糊测试生成随机Toy IR程序，运行解释器比较优化前后堆状态，捕获load/store优化bug，提供生成参数、不变量与CI集成要点。
2026-02-28compilers2026-02
Latest Essays
最新见解 · 第 232 页
继续沿着时间线阅读近期的工程实践与技术观察。
最新见解
近期的思考与工程笔记。
QT45 自合成聚合酶核酶：最小化模板导向自复制设计与优化
从随机序列池体外进化出的45nt QT45核酶聚合酶，能在eutectic冰条件下利用三核苷酸底物实现互补链与自身拷贝合成，给出工程参数与优化策略。
2026-02-28systems2026-02
Unsloth Dynamic 2.0 GGUFs：分层量化切换与异构硬件优化工程
Unsloth Dynamic 2.0 GGUFs 通过每层智能量化选择，实现LLM在异构硬件上的高效推理，详解阈值自适应、offload参数与格式转换实践。
2026-02-28ai-systems2026-02
CodexBar：macOS 菜单栏实时 LLM Token 追踪与成本监控
macOS 菜单栏应用 CodexBar，无需登录实时监控 OpenAI Codex、Claude 等多 LLM 提供商的 token 限额、会话统计与重置时间，支持 CLI 成本扫描。
2026-02-28mlops2026-02
Unsloth Dynamic 2.0 GGUFs：高效 LLM 推理服务的层级自适应量化
Unsloth Dynamic 2.0 GGUFs 通过每层异构量化实现近全精度的高效本地 LLM 推理，提供部署参数、监控阈值与优化清单。
2026-02-28mlops2026-02
批量查询优化与梯度近似重建黑盒神经网络权重：Jane Street谜题工程视角
针对黑盒NN，通过API批量查询设计高效输入序列，并采用数值稳定梯度近似迭代恢复层权重，实现低查询成本的结构解析与参数重建。
2026-02-28ai-systems2026-02
RuVector 实时自学习 GNN：在线梯度更新与动态图采样参数优化
剖析 RuVector 高性能向量图 NN DB 的实时自学习机制，聚焦在线梯度更新阈值、动态图采样启发式及嵌入适应参数，实现低延迟推理工程化。
2026-02-28ai-systems2026-02
使用 Bootc 和 OSTree 实现容器原生引导与更新
通过 bootc 集成 OSTree，从 OCI registry pull 更新，实现 Podman 工作流下的原子 Linux 部署与零停机滚动升级的工程参数与实践。
2026-02-28systems2026-02
基于 TPMS RSSI 信号的被动车辆速度与轨迹推断
利用轮胎气压监测系统（TPMS）的 RSSI 信号，通过多边测量、多普勒滤波和状态估计实现无 GPS 依赖的车辆速度与轨迹推断，提供部署参数、滤波阈值与监控清单。
2026-02-28systems2026-02
多语言技术栈中通过最小 FFI 嵌入 Rust 性能模块：借用检查器安全与互操作平衡
在异构系统中嵌入 Rust 性能模块，提供最小 FFI 设计参数、借用安全清单与零停机升级策略。
2026-02-28systems2026-02
Moonshine 边缘 ASR：ARM NEON 定点运算实现亚 100ms 流式推理
基于 Moonshine Voice 纯 C 流式 ASR，剖析 ARM NEON 定点优化与 CTC 解码调参，实现边缘设备端到端延迟低于 100ms 的工程实践。
2026-02-28ai-systems2026-02
Rust在多语言系统中的实用之道：FFI集成、构建工具与借用检查器
在多语言混合系统中实用使用Rust，通过FFI无缝集成、Cargo构建工具链协作，以及借用检查器实现零成本高性能优化，无需完整重写现有代码。
2026-02-28systems2026-02
OpenSandbox 多语言 SDK：统一 Docker/K8s 沙箱 API 工程化实践
OpenSandbox 通过多语言 SDK 提供统一的沙箱 API，支持 Docker 和 K8s 运行时，实现 coding/GUI agents 和 RL 训练的隔离执行与资源调度要点。
2026-02-28ai-systems2026-02
DeerFlow：沙箱化 SuperAgent 调度框架，长时任务自主处理
通过沙箱执行、持久记忆与工具/技能调度，DeerFlow 实现多代理对复杂多小时研究、编码、创作任务的自主编排。
2026-02-28ai-systems2026-02
Superpowers：代理技能框架驱动的完整开发生命周期
Superpowers 通过自动触发的代理技能框架，实现从需求 brainstorm 到分支合并的全开发流程，强调 subagent 协作、TDD 与系统化 review，提供生产级参数与监控清单。
2026-02-28ai-systems2026-02
现金发行终端：嵌入式分发协议实现
自定义嵌入式现金终端中，通过串行协议与精确步进电机控制实现可靠分发，结合EMV授权与传感器反馈，确保安全高效。
2026-02-28embedded-systems2026-02
包管理器依赖解析的形式范畴模型：跨npm、Cargo、pip的可验证实现
利用范畴论构建包管理器依赖解析的正式模型，实现无冲突验证与跨生态兼容，提供工程参数与落地清单。
2026-02-28systems2026-02
AIRI 实时语音多游戏代理：Minecraft 与 Factorio 的容器化部署
自托管实时语音 AI 伴侣，通过容器化 waifu 代理支持 Minecraft/Factorio 游戏，实现 Web/macOS/Windows 跨平台部署的工程参数与监控要点。
2026-02-28ai-systems2026-02
Emacs 中的类 Unix Shell：Eshell 的进程替换、管道与远程执行
通过 Eshell 的管道、临时文件模拟进程替换及 TRAMP 远程功能，实现纯 Emacs 环境下的 Unix shell 工作流。
2026-02-28systems2026-02
Emacs Lisp 语义语法高亮的 Tree-sitter 查询实践：区分变量、函数、宏与特殊形式
基于 Tree-sitter 查询在 Emacs 中实现 Emacs Lisp 语义高亮，通过捕获组与高亮规则精确区分 vars/functions/macros/special-forms，提供工程化配置与优化参数。
2026-02-28compilers2026-02