eBPF kprobe 与 Ring Buffer：内核级可观测性的三大约束与工程实践
基于 eBPF kprobe 与 perf ring buffer 构建内核级可观测探针，聚焦事件采样频率控制、用户态零拷贝消费与 CPU 开销预算的工程权衡。
2026-06-15systems2026-06
Latest Essays
最新见解 · 第 3 页
继续沿着时间线阅读近期的工程实践与技术观察。
最新见解
近期的思考与工程笔记。
ZeroServe 与 Caddy 协同下的 HTTP/2 多路复用与连接池调度：流控参数与延迟优化实践
解析 ZeroServe 在 Caddy 反向代理场景下通过 HTTP/2 流控窗口调优与连接池调度实现延迟降低的工程实践，给出可落地的配置参数与监控要点。
2026-06-15systems2026-06
Chaosnet 的包格式与传输层设计：ARPANET 时代局域网协议的工程启示
解析 Chaosnet 的 16 位地址空间、无端口服务标识与双模式传输机制，探讨其对现代局域网协议设计的借鉴价值。
2026-06-15systems2026-06
从单元测试到证明义务：Jane Street形式化方法迁移的渐进式路径与工程师培训体系
解析Jane Street成立形式化方法团队的背景，提出从单元测试到形式化证明的四阶段迁移模型，并给出工程师培训体系与可落地的实施参数。
2026-06-15systems2026-06
量化AI采用率的感知-现实偏差：从搜索日志到IDE遥测的技术测量框架
构建三层技术测量体系，通过搜索日志、IDE插件遥测与企业SaaS埋点，量化AI感知热度与实际渗透率的系统性偏差，提供可落地的监控参数与阈值清单。
2026-06-15ai-systems2026-06
模型合并谱系验证：从权重相似度到开源透明度机制
基于权重相似度分析与谱系追踪技术，探讨政府AI项目模型来源验证的工程方法，提供可落地的模型合并检测方案与透明度机制设计。
2026-06-15ai-systems2026-06
USB PD协议栈：电源协商机制与多设备供电拓扑的工程实现
深入解析USB Power Delivery的CC线角色检测、BMC编码通信、PDO协商流程，以及多设备拓扑的工程限制与可落地参数。
2026-06-15systems2026-06
单二进制离线网站归档：资源爬取、内联转换与自包含渲染的工程实践
分析 kage 等工具将网站打包为单二进制离线镜像的技术路径，涵盖资源爬取策略、内联转换实现与去除 JS 后的静态渲染方案。
2026-06-15web2026-06
Linux 7.1 发布周期解析：从 Merge Window 到长期维护的工程实践
解析 Linux 内核 7.1 版本的发布周期机制，从 Merge Window 管理到 RC 阶段测试策略，提供可落地的内核升级与维护参数清单。
2026-06-15systems2026-06
WebGL 木材切割物理模拟：刚体动力学与 GPU 粒子渲染优化实践
基于刚体动力学与碰撞检测的木材切割物理模拟，探索 Web 端高性能粒子系统与 GPU 加速渲染的工程化参数与优化策略。
2026-06-15web2026-06
M1 Max 端侧语义索引：669GB GoPro 视频的本地 Embedding 提取与向量检索实践
在 M1 Max 上使用 MLX 框架和 CLIP 模型对大规模 GoPro 视频进行端侧语义索引，探索 Apple Silicon 上本地 Embedding 提取与向量检索的工程化参数与性能极限。
2026-06-15ai-systems2026-06
Z向纤维环注入：FDM打印层间增强的工程化实现
通过在FDM打印层间注入连续纤维环实现Z向增强，突破传统层间剥离强度瓶颈的复合工艺参数与实施要点。
2026-06-15systems2026-06
YOLOv8n 在 RK3588S 双 NPU 上的 42 FPS 优化实践：内存带宽管理与 INT8 量化策略
针对 RK3588S 双 NPU 并行推理场景，解析内存带宽瓶颈的量化诊断方法与 INT8 量化精度保持的工程参数配置。
2026-06-15ai-systems2026-06
政府本地LLM基准测试方法论：Rio3.5与Qwen3.7性能差异与优化策略
解析里约热内卢市政府Rio3.5模型的基准测试方法论，对比Qwen3.7在政府本地部署场景下的性能差异与可落地优化参数。
2026-06-14ai-systems2026-06
Postgres 删除操作的扩展性瓶颈与工程化替代方案
深入解析 Postgres DELETE 的 MVCC 机制瓶颈，对比 DROP TABLE、TRUNCATE 与分区策略的工程权衡，提供可落地的批量清理实施路径与参数清单。
2026-06-14database-systems2026-06
Jane Street生产实践：用Z3验证OCaml编译器优化的形式化方法落地路径
从Jane Street的Z3验证实践出发，探讨形式化方法在OCaml生产环境的落地策略：SMT求解器与类型系统协同、验证成本权衡、以及可落地的轻量级验证框架。
2026-06-14systems2026-06
企业级AI报告幻觉检测与事实验证流水线设计
基于KPMG报告撤回事件，设计企业级AI生成内容的实时幻觉检测与多层级事实验证流水线，阻断错误信息流入决策链路。
2026-06-14ai-systems2026-06
zeroserve 与 Caddy 集成：反向代理层 3x 吞吐量优化的技术决策
解析 zeroserve 在小响应代理场景下实现 Caddy 3.4 倍吞吐量的技术原理，提供可落地的分层架构配置与参数调优方案。
2026-06-14systems2026-06
Ruby 的闭包与元编程：Lisp 精神的现代演绎
剖析 Ruby 代码块、符号与元编程机制如何继承 Lisp 的闭包哲学与 S-expression 精神，揭示两门语言在「代码即数据」理念上的深层联系。
2026-06-14programming-languages2026-06
LiveView 1.2 JS命令系统与导航优化实现
深入解析Phoenix LiveView 1.2的JS命令系统架构，探讨无刷新页面过渡与命令批处理机制的工程实现与优化策略。
2026-06-14web2026-06