AST 规则引擎检测 AI 生成代码：React Doctor 的语义级质量验证实践
React Doctor 基于 AST 语义分析替代传统 Lint 的模式匹配，自动检测 AI 生成代码中的结构性反模式，提供可落地的 CI 集成与评分阈值策略。
2026-05-13ai-systems2026-05
Latest Essays
最新见解 · 第 119 页
继续沿着时间线阅读近期的工程实践与技术观察。
最新见解
近期的思考与工程笔记。
Obsidian 插件 API 演进与沙箱隔离的工程权衡
分析 Obsidian 插件系统的 API 演进路径、扩展点暴露策略与生态治理机制，探讨插件沙箱隔离与向后兼容的工程权衡与可落地参数。
2026-05-13developer-tools2026-05
Starship V3 超级重型助推器级间分离与轨道加注技术解析
解析 Starship V3 的 Raptor 3 无热盾设计、热分级分离机制、塔架捕获网格舵，以及轨道加注对接架构的工程实现与验证路径。
2026-05-13systems2026-05
浮点流无损压缩：块级去相关与熵编码工程实践
深入解析块级去相关与熵编码在浮点流无损压缩中的作用机制，提供块大小选择、去相关策略、熵编码器配置等可落地参数。
2026-05-13systems2026-05
Traceway：90秒自托管的MIT许可可观测性栈
基于OpenTelemetry、ClickHouse与Grafana技术栈，Traceway实现Logs/Traces/Metrics/Session Replay一体化，提供90秒Docker Compose自托管方案与嵌入式Go模式，对比商业SaaS解决成本与 Vendor Lock-in 痛点。
2026-05-13observability2026-05
When "idle" isn't idle: how a Linux kernel optimization became a QUIC bug
深入分析Linux内核CUBIC拥塞控制器的idle优化与QUIC协议idle检测机制冲突导致的cwnd死锁问题，揭示从内核到用户空间QUIC移植中的语义偏差及一行式修复方案。
2026-05-13systems2026-05
Scrcpy v4.0 传输管道与协议优化：无Root屏幕镜像的技术实践
基于 Scrcpy v4.0 的协议层设计与 USB/TCP 传输管道改进，分析低延迟屏幕镜像的实现要点与可落地参数配置。
2026-05-13systems2026-05
fc 浮点流压缩器：语义区间分组与多模式竞争的工程实现
解析 fc 压缩器基于自适应分块、50 种编解码器竞争与 SIMD 优化的浮点流无损压缩算法工程路径。
2026-05-13systems2026-05
Beyond Cosine Similarity: recos 算法如何用序数一致性重新定义语义相似度
基于重排不等式推导的 recos 相似度度量，通过捕获序数一致性而非严格线性相关性，在 11 种嵌入模型上实现 92.2% 的胜率超越余弦相似度。
2026-05-13ai-systems2026-05
.claude 目录技能：结构化工程知识基底的构建与移植实践
解析 SKILL.md 格式规范与 .claude 目录结构设计，展示如何将工程经验固化为可版本控制、可执行的技能模块，降低提示工程不一致性。
2026-05-13mlops2026-05
SQL 从设计层面嵌入正确性约束：形式化规格说明与运行时验证的对比实践
围绕 SQL 事务并发与约束定义的语义盲区，给出形式化规格说明的嵌入路径与可落地参数清单，对比测试驱动验证的覆盖边界。
2026-05-13systems2026-05
when idle isnt idle quic kernel timer coalescing bug
title: "当" 空闲 "并非真空闲：Linux 内核优化如何演变为 QUIC 死亡螺旋" date: "2026-05-13T22:01:58+08:00" excerpt: "解析 Linux 内核 timer coalescing 机制如何导致 QUIC idle 超时误判，以及最小拥塞窗口场景下的连接稳定性陷阱。" category: "syst
2026-05-13general2026-05
AI Agent持久化记忆索引实战：向量检索召回与上下文窗口裁剪的工程权衡
从AgentMemory的真实编码场景benchmark出发，解析4层记忆模型、三流混合检索与上下文裁剪的工程化参数配置。
2026-05-13ai-systems2026-05
Snowflake Postgres、Lakebase、HorizonDB：多数据库锁定架构深度对比
从存储格式差异与协议绑定机制出发，量化 Snowflake Postgres、Lakebase、HorizonDB 的迁移代价与生态锁定成本，为技术选型提供可操作的决策框架。
2026-05-13systems2026-05
Hopper 如何将 AI Agent 决策编码为 3270 二进制数据流
深入解析 Hopper 连接 z/OS 主机的 TN3270 协议层：screen buffer 布局、field attribute 编码、AID 命令结构与 AI 决策的二进制映射机制。
2026-05-13ai-systems2026-05
Lanzaboote 实现解析：NixOS UEFI Secure Boot 与 UKI 签名链
解析 Lanzaboote 的 UEFI stub 设计、lzbt 工具链与 NixOS module 系统集成，揭示其如何通过外部引用而非内嵌方式解决 ESP 空间问题并维持可信启动链。
2026-05-13security2026-05
FairyFuse：融合三元核调度实现 CPU 无乘法 LLM 推理
通过 BMI2 位提取与 AVX-512 掩码运算，将三元权重 GEMV 转化为纯加法流，融合 8 子核消除冗余访存，在单插槽 Xeon 上实现 32.4 tok/s。
2026-05-13compilers2026-05
从 Gemini 蒸馏到 26M 工具调用模型：Simple Attention Network 架构与训练细节
解析 Needle 如何将 Gemini 3.1 Flash-Lite 的工具调用能力蒸馏到 26M 参数的 Simple Attention Network：无 FFN 设计、门控残差、INT4 QAT 正则化与 Token 级损失加权。
2026-05-13ai-systems2026-05
Canvas 勒索软件事件中的支付决策工程：备份失败路径、谈判博弈与不可逆数据损坏风险权衡
解析 Instructure Canvas 在数据加密后选择支付赎金的决策工程——备份失败路径、谈判博弈与不可逆数据损坏风险权衡。
2026-05-13security2026-05
AI时代指针设计：DeepMind的语义光标与意图推断工程实践
从DeepMind的语义光标研究出发，分析意图推断、轨迹预测与多模型协同的工程参数与实现要点。
2026-05-13ai-systems2026-05