# Hotdry Blog

> 代码、系统与工程实践的长期写作记录，适合按文章、分类和归档路径持续检索。

## 页面摘要
- 路径: /page/474/
- 当前页: 474 / 843
- 每页文章数: 20
- 文章总数: 16860
- 分类数: 267
- 归档年份数: 4
- 归档月份数: 17

## 快速导航
- [分类索引](/categories/)
- [归档索引](/archive/)
- [关于](/about/)
- [RSS](/rss.xml)

## 本页文章
### [通过 n8n 节点图编排容错代理式 AI 流水线：LLM 链式、条件分支、重试逻辑与凭证隔离](/posts/2025/11/27/orchestrate-fault-tolerant-agentic-ai-pipelines-via-n8n-node-graphs/)
- 日期: 2025-11-27T22:19:54+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 利用 n8n 可视化节点图构建生产级代理式 AI 流水线，详解 LLM 链式调用、API 编排、条件分支、重试机制及凭证隔离的最佳参数与监控要点。

### [LM辅助编码：本质与事故复杂性的工程平衡](/posts/2025/11/27/lm-assisted-coding-essence-accident-balance/)
- 日期: 2025-11-27T22:08:59+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 工程化LM辅助编码实践：平衡本质复杂性（形式正确性验证）与事故复杂性（实用迭代部署、错误容忍），提供工具链集成、参数配置与监控框架。

### [LightRAG 双图实体关系索引与查询融合：简易低资源 RAG 实现](/posts/2025/11/27/lightrag-dual-graph-entity-relation-indexing-query-fusion-distillation/)
- 日期: 2025-11-27T22:05:02+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: LightRAG 通过双图索引、查询融合与 chunk 参数优化，实现低资源高效 RAG，结合蒸馏技术超越稠密检索基线。

### [工程化GPL许可证在AI模型训练/蒸馏链路中的传播检测：token注入追踪、合规模型过滤与自动化审计管道](/posts/2025/11/27/engineering-gpl-propagation-detection-ai-model-pipelines/)
- 日期: 2025-11-27T21:49:25+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 面向AI模型训练与蒸馏链路，给出GPL许可证传播检测的token注入追踪、合规模型过滤及自动化审计管道的具体工程参数与监控要点。

### [训练时令牌注入实现 GPL 许可元数据嵌入 AI 模型权重：蒸馏传播检查与合规审计](/posts/2025/11/27/training-token-injection-for-gpl-metadata-in-ai-model-weights-distillation-propagation-checks/)
- 日期: 2025-11-27T21:33:38+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 针对 GPL copyleft 在 AI 模型训练中的传播不确定性，提出通过训练时特殊令牌注入嵌入可验证许可元数据的技术方案，实现蒸馏传播检查与合规审计机制。

### [NVM 无竞态并发 Shim 实现：POSIX 符号链接隔离与共享缓存](/posts/2025/11/27/race-free-concurrent-shims-nvm/)
- 日期: 2025-11-27T21:18:55+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 详解 nvm 在 POSIX 环境下通过 shim 机制实现并发 Node 版本安装与切换的无竞态设计，包括符号链接隔离、共享缓存参数与监控要点。

### [攻克 AI 代理工程陷阱：稳健规划循环、可靠工具调用与持久状态管理](/posts/2025/11/27/overcoming-ai-agent-engineering-pitfalls-planning-tools-state/)
- 日期: 2025-11-27T21:04:26+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 针对 AI 代理设计核心痛点，提供规划循环、工具调用及状态管理的工程参数、阈值与监控清单，实现生产级可靠性。

### [Linux内核结构体交互式导航：逆向工程可视化与指针追逐](/posts/2025/11/27/linux-kernel-struct-interactive-navigator/)
- 日期: 2025-11-27T20:48:43+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: reverser.dev启发的内核struct交互工具，提供布局可视化、指针追逐、搜索，提升逆向工程工作流。详解机制、参数清单与监控要点。

### [Penpot实时SVG多用户协作：基于CRDT的无冲突形状编辑实现](/posts/2025/11/27/penpot-realtime-svg-multi-user-collaboration-with-crdts/)
- 日期: 2025-11-27T20:32:57+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 基于Penpot的SVG设计场景，解析CRDT在多用户实时形状编辑、层级管理和原型交互中的工程参数与落地清单，确保零冲突同步与代码导出。

### [通过 Azure /call API 工程化 AI Agent 主动拨打电话](/posts/2025/11/27/ai-agent-outbound-telephony-via-azure-call-api/)
- 日期: 2025-11-27T20:08:31+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 利用 Microsoft Call Center AI 的 /call API 派遣 AI agent 主动拨出电话，支持 GPT-4o-mini 流式语音、RAG 检索、中断感知工具调用，实现呼叫中心 outbound 自动化。

### [Coq：世界上最好的宏汇编器——宏汇编IR形式化与验证](/posts/2025/11/27/coq-macro-assembler-ir-verification/)
- 日期: 2025-11-27T20:04:18+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 形式化宏汇编器中间表示（IR）语义，实现扩展/收缩过程验证，证明双向等价，并提取OCaml检查器，提供卫生宏处理的工程参数。

### [Fara-7B LoRA 高效微调：屏幕解析到动作执行的低延迟代理管道](/posts/2025/11/27/fara-7b-lora-screen-parsing-action-execution/)
- 日期: 2025-11-27T19:48:44+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 基于Fara-7B的LoRA微调方案，实现屏幕截图解析、动作预测与执行的工程化优化，提供参数配置、训练清单与低延迟推理要点。

### [Tracy 剖析器无锁环形缓冲区采样设计](/posts/2025/11/27/lock-free-ring-buffer-sampling-in-tracy-profiler/)
- 日期: 2025-11-27T19:33:47+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 剖析Tracy profiler中lock-free ring buffer的设计，用于多线程低开销采样，支持user zones和并发捕获，提供工程参数与监控要点。

### [VERL中多GPU数据并行KL正则化PPO：可扩展离线RLHF偏好排名蒸馏实现](/posts/2025/11/27/multi-gpu-data-parallel-kl-regularized-ppo-in-verl-for-scalable-offline-rlhf-preference-distillation/)
- 日期: 2025-11-27T19:18:21+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: VERL框架下，利用FSDP实现多GPU数据并行KL-PPO，支持离线RLHF偏好排名蒸馏。详解配置参数、3D-HybridEngine优化与监控要点，确保高效训练大模型对齐。

### [高阶逻辑证明器中的血管计算形式化：验证宏展开与计算模型](/posts/2025/11/27/formalizing-vasocomputation-in-higher-order-logic-provers/)
- 日期: 2025-11-27T19:04:48+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 面向血管计算原则的形式化，给出HOL证明器中宏展开验证与计算模型的类型定义、重写规则与证明策略清单。

### [LightRAG 双图查询融合：低资源环境下的快速检索](/posts/2025/11/27/lightrag-dual-graph-query-fusion-low-resource/)
- 日期: 2025-11-27T18:48:15+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: LightRAG 通过实体-关系双图与 hybrid 查询融合，实现低资源 RAG 的 chunk 阈值优化、边提炼与快速检索参数。

### [reverser.dev交互式Linux内核数据结构导航：嵌套指针与字段过滤实践](/posts/2025/11/27/interactive-linux-kernel-struct-navigation-with-reverser-dev/)
- 日期: 2025-11-27T18:34:49+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 利用reverser.dev工具实现Linux内核数据结构的交互浏览，支持嵌套指针导航、字段过滤，优化逆向工程工作流，提供操作参数与清单。

### [Lambda 归约器：应用序与正规序策略](/posts/2025/11/27/lambda-reducer-applicative-vs-normal-order-strategies/)
- 日期: 2025-11-27T18:18:40+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 客户端 JS λ-归约引擎：可视化应用序 vs 正规序，栈深度追踪，非终止循环阈值检测。

### [可扩展 TypeScript 平台：集成 Tech Interview Handbook 的协作面试准备系统](/posts/2025/11/27/scalable-typescript-platform-integrating-tech-interview-handbook/)
- 日期: 2025-11-27T18:09:26+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 基于 TypeScript 构建可扩展平台，集成 Tech Interview Handbook，实现动态题目生成、实时进度同步与同伴审查队列，提升协作面试准备效率。

### [用 CSS/SVG 可视化苹果 G0-G3 圆角半径标准](/posts/2025/11/27/visualize-apple-g0-g3-corner-radii-in-css-svg/)
- 日期: 2025-11-27T18:03:38+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 解析苹果设计中的 G0-G3 几何连续性圆角标准，提供 SVG/CSS 精确复现代码，用于 UI 忠实度和 3D 原型制作。

## 热门分类
- [ai-systems](/categories/ai-systems/): 5960 篇
- [systems-engineering](/categories/systems-engineering/): 4056 篇
- [systems](/categories/systems/): 1860 篇
- [ai-security](/categories/ai-security/): 868 篇
- [application-security](/categories/application-security/): 842 篇
- [compiler-design](/categories/compiler-design/): 699 篇
- [security](/categories/security/): 526 篇
- [ai-engineering](/categories/ai-engineering/): 329 篇
- [compilers](/categories/compilers/): 322 篇
- [web](/categories/web/): 205 篇
- [general](/categories/general/): 198 篇
- [mlops](/categories/mlops/): 81 篇

## 最近归档
### [2026 年](/archive/2026/)
- 年度文章数: 6466
- 月份概览: [2026-04](/archive/2026/04/) (494)、[2026-03](/archive/2026/03/) (905)、[2026-02](/archive/2026/02/) (2318)、[2026-01](/archive/2026/01/) (2749)

### [2025 年](/archive/2025/)
- 年度文章数: 10386
- 月份概览: [2025-12](/archive/2025/12/) (2684)、[2025-11](/archive/2025/11/) (2842)、[2025-10](/archive/2025/10/) (2885)、[2025-09](/archive/2025/09/) (1967)、[2025-08](/archive/2025/08/) (1)、[2025-07](/archive/2025/07/) (1)

### [2024 年](/archive/2024/)
- 年度文章数: 5
- 月份概览: [2024-10](/archive/2024/10/) (2)、[2024-09](/archive/2024/09/) (2)、[2024-07](/archive/2024/07/) (1)

### [2023 年](/archive/2023/)
- 年度文章数: 3
- 月份概览: [2023-10](/archive/2023/10/) (2)、[2023-03](/archive/2023/03/) (1)