Czkawka Rust 文件去重引擎：多维哈希检测与空目录快速检索的工程实践
深入解析 Rust 文件去重工具 Czkawka 的核心检测算法，涵盖 SHA-256 精确匹配、块级校验的分块策略、空目录快速检索的树遍历优化，以及感知哈希在相似图片检测中的应用。
2026-01-26systems2026-01
Latest Essays
最新见解 · 第 366 页
继续沿着时间线阅读近期的工程实践与技术观察。
最新见解
近期的思考与工程笔记。
将 LLM 编译为 Megakernel：持久化内核的编译器方法
深入解析 Mirage Persistent Kernel 如何通过将 LLM 推理编译为单一持久化内核，实现 1.2 至 6.7 倍的延迟优化。
2026-01-26ai-systems2026-01
PageIndex 无向量推理 RAG：树搜索架构与页面级检索机制
深入解析 PageIndex 如何通过页面级树结构索引与 AlphaGo 式树搜索推理，跳过向量计算实现高精度文档检索。
2026-01-26ai-systems2026-01
浏览器沙箱的系统调用过滤机制与进程隔离架构
深入解析现代浏览器沙箱的 OS 级系统调用过滤机制与进程隔离架构，涵盖 Linux seccomp BPF 与 macOS Seatbelt 的工程实现。
2026-01-26security2026-01
Luminal 搜索式内核融合：运行时决策如何超越静态分析
解析 Luminal 编译器的搜索式融合策略，对比传统静态分析与成本模型，揭示运行时经验决策如何自动发现最优内核融合配置。
2026-01-26ai-systems2026-01
AI虚假数学证明的识别与验证：工程实践指南
深入解析大语言模型生成虚假数学证明的机制，探讨自动形式化验证与细粒度评估的工程化落地策略。
2026-01-26ai-systems2026-01
Turbopack Vc 值单元格失效策略与 Rust 类型安全边界校验
解析 Turbopack 如何基于 Vc<T> 值单元格实现精准失效检测，涵盖脏传播机制与 Rust 类型系统在边界校验中的工程实践。
2026-01-26systems2026-01
将大型语言模型编译为巨型内核：低延迟推理的编译策略
分析将大型语言模型编译为巨型内核的编译策略，涵盖内核融合、内存布局优化与编译时调度的工程实现方案，提供可落地的参数配置与监控要点。
2026-01-26ai-systems2026-01
纯浮点乘加实现双精度位转换：IEEE 754 位操作的算术化绕过与数值稳定性工程实践
探讨在仅有浮点乘加的环境下如何实现 IEEE 754 双精度数的位级转换，剖析逻辑运算的算术化重构、指数位二分提取与特殊值的工程处理边界。
2026-01-26compilers2026-01
Turbopack Value Cell 依赖追踪机制详解
深入解析 Turbopack 如何通过 Vc<T> 值单元格机制实现细粒度增量编译，涵盖依赖追踪、脏传播与聚合图的工程化参数配置。
2026-01-26systems2026-01
纯浮点运算实现 double 位转换：指数检测与取整技巧
在仅提供 IEEE-754 double 的受限环境中，如何通过乘加指令提取二进制位。核心技巧是利用舍入行为检测指数范围，结合 floor 技巧完成位字段提取。
2026-01-26systems2026-01
UltraRAG v3 的 MCP 工具节点执行图与低代码编排实践
解析 UltraRAG v3 如何通过 MCP 协议将 RAG 组件标准化为独立 Server，以 YAML 配置实现复杂流水线的低代码编排与一键部署。
2026-01-26ai-systems2026-01
Clawdbot CLI 工具执行架构解析：Lobster 工作流引擎与多层级沙箱设计
深入分析开源个人 AI 助手 Clawdbot 的 CLI 工具执行架构，涵盖 Gateway 守护进程、Lobster 类型化工作流引擎，以及 Sandbox CLI 与 Elevated 工具的权限分层设计。
2026-01-26ai-systems2026-01
基于 Vision 框架的 macOS 坐姿检测与屏幕模糊响应机制
解析 Posturr 如何利用 Vision 框架的人体姿态检测能力，通过鼻-肩垂直距离计算实现坐姿偏移判定，并给出渐进式屏幕模糊的工程实现参数。
2026-01-26systems2026-01
Netfence eBPF 过滤器动态策略更新与原子性切换机制
深入解析 Netfence 如何在生产环境中实现 eBPF 过滤策略的动态更新，通过版本化 Map 设计确保策略切换的原子性与一致性。
2026-01-26security2026-01
纯值传递语言设计：herd 编译器的实现与权衡
深入分析 herd 语言如何通过引用计数与写时复制实现纯值语义，探讨其在类型系统、并发安全和性能之间的工程权衡。
2026-01-26compilers2026-01
MLX 共享内存语义与零拷贝机制深度剖析
深入解析 Apple Silicon 统一内存架构下 MLX 的零拷贝编程模型，剖析 CPU/GPU 数据共享的机制与调度策略。
2026-01-26ai-systems2026-01
Turbopack Value Cell 增量编译机制解析
深入解析 Turbopack 的 Value Cell 抽象与增量计算引擎，揭示其如何通过细粒度依赖追踪与聚合图设计实现毫秒级 HMR 更新。
2026-01-26web2026-01
PostgreSQL 作为死信队列：SKIP LOCKED 与追踪跳过事件的工程实践
探讨在事件驱动系统中利用 PostgreSQL SKIP LOCKED 实现死信队列，分析重建投影时的竞争条件，以及接受事务隔离约束、追踪跳过事件的工程策略。
2026-01-26systems2026-01
词法分析器优化被 I/O 瓶颈吞噬：系统性分析与工程对策
通过 104,000 文件的词法分析基准测试，揭示优化非瓶颈组件的无效性，分析 per-file 操作的系统调用开销与归档优化的工程实践。
2026-01-26systems2026-01