# Hotdry Blog

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

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

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

## 本页文章
### [构建无侵入式用户态GPU回收工具链：CLI、策略与远程管控](/posts/2025/09/22/userland-gpu-reclaim-cli-tool/)
- 日期: 2025-09-22T20:46:50+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 面向失控AI进程，详解如何用纯用户态工具gpukill实现跨平台GPU显存回收、策略防护与集群审计，无需root权限。

### [构建用户态工具链：无重启释放失控AI/ML进程占用的GPU资源](/posts/2025/09/22/userland-gpu-reclaim-toolchain-for-stuck-ai-ml-processes/)
- 日期: 2025-09-22T20:46:50+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 提供一套纯用户态命令与脚本组合，精准定位并释放被僵尸进程或框架泄露占用的GPU显存，避免粗暴重启。

### [在 sj.h 零分配 JSON 解析器中实现精确的行号/列号错误定位](/posts/2025/09/22/zero-allocation-json-parser-error-location/)
- 日期: 2025-09-22T20:46:50+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 剖析 sj.h 如何在零分配约束下，通过单次遍历与状态机，在遇到语法错误时精准报告行号与列号。

### [剖析 sj.h：150 行 C99 实现零分配 JSON 解析器核心设计](/posts/2025/09/22/zero-allocation-json-parser-sj-h/)
- 日期: 2025-09-22T20:46:50+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 详解 sj.h 如何通过状态机与指针不复制策略，在 150 行内实现零内存分配的 JSON 解析，附带迭代器使用与错误处理范式。

### [剖析 fmt 库零分配日志核心：编译期计算与内存池设计](/posts/2025/09/22/zero-allocation-logging-core-fmt/)
- 日期: 2025-09-22T20:46:50+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 深入解析 fmt 库如何通过 basic_memory_buffer 与编译期格式校验，构建零分配高性能日志核心，并提供可落地的内存池集成参数。

### [剖析 MLX Swift 示例，实现 Apple Silicon GPU 原生推理的零胶水代码集成](/posts/2025/09/22/zero-glue-mlx-swift-apple-silicon-gpu-native/)
- 日期: 2025-09-22T20:46:50+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 通过 MLX Swift 示例库，展示如何以零胶水代码方式，在 Apple Silicon GPU 上实现高性能原生模型推理，涵盖简化 API、统一内存与 Metal 优化。

### [64位C++指针零开销类型标记：掩码操作与对齐约束实战](/posts/2025/09/22/zero-overhead-type-tagging-in-64bit-cpp-pointers/)
- 日期: 2025-09-22T20:46:50+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 利用64位指针高位空闲位存储类型标记，通过掩码与对齐实现零内存开销的运行时类型信息，附带可落地的代码模板与平台风险清单。

### [剖析 Zig 新 ELF 链接器的极速原理：零分配设计与 mmap 优化](/posts/2025/09/22/zig-elf-linker-zero-allocation-mmap-optimization/)
- 日期: 2025-09-22T20:46:50+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 聚焦零分配内存管理与 mmap 文件映射，提供可配置参数与性能监控清单，实现链接器极速优化。

### [剖析 Zig 新 ELF 链接器的零分配设计哲学：与传统方案的根本差异](/posts/2025/09/22/zig-stage2-linker-zero-allocation-philosophy/)
- 日期: 2025-09-22T20:46:50+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 深入探讨 Zig stage2 链接器如何将语言层面的零分配哲学延伸至工具链，对比传统链接器内存管理，揭示其在确定性、可审计性与嵌入式友好性上的工程优势。

### [构建AI驱动的Python工具链：Python-Use范式实现代码生成与本地执行闭环](/posts/2025/09/21/ai-python-toolchain/)
- 日期: 2025-09-21T20:46:50+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 基于aipyapp项目，详解Python-Use范式如何通过自然语言驱动代码生成、自动依赖管理与本地安全执行，提升开发与自动化效率。

### [解析DeepResearch代理中IterResearch模块的动态规划实现](/posts/2025/09/21/analyzing-dynamic-planning-in-deepresearch-iterresearch-module/)
- 日期: 2025-09-21T20:46:50+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 深入剖析阿里巴巴通义DeepResearch中IterResearch模块的动态规划机制，揭示多轮研究任务中状态转移与资源优化的工程实现细节。

### [构建基于MindsDB的AI Analytics Engine：MCP Server架构设计与实战参数](/posts/2025/09/21/architecting-mindsdb-as-mcp-server-for-ai-analytics/)
- 日期: 2025-09-21T20:46:50+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 详解如何将MindsDB部署为MCP Server，实现大规模联邦数据问答的AI Analytics Engine，提供架构设计、安全配置与性能监控参数。

### [NotebookLM架构哲学：如何在用户自由与AI引导间取得精妙平衡](/posts/2025/09/21/architectural-philosophy-of-notebooklm/)
- 日期: 2025-09-21T20:46:50+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 解析NotebookLM如何通过‘源头归因’与‘认知伙伴’定位，在赋予用户数据主权的同时，提供主动的AI引导，实现高效知识内化。

### [用 aipyapp 自动化 CI/CD：配置参数与沙箱监控清单](/posts/2025/09/21/automate-ci-cd-with-aipyapp/)
- 日期: 2025-09-21T20:46:50+08:00
- 分类: [ai-engineering](/categories/ai-engineering/)
- 摘要: 剖析 aipyapp 如何通过无代理架构与本地化执行，自动化 Python 项目的构建、测试与部署流程，提供关键配置参数与安全监控清单。

### [构建类 Prometheus 日志聚合系统：Grafana Loki 标签索引实战指南](/posts/2025/09/21/building-prometheus-style-log-aggregation-with-grafana-loki/)
- 日期: 2025-09-21T20:46:50+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 详解如何利用 Grafana Loki 的标签索引机制，替代传统全文索引，实现高效、低成本的日志查询与管理。

### [构建支持后台代理与权限委托的安全 GUI 运行时：基于 Tauri 的进程沙箱与 IPC 通信隔离](/posts/2025/09/21/building-secure-gui-agent-runtime-with-tauri-isolation/)
- 日期: 2025-09-21T20:46:50+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 面向多代理并发场景，给出基于 Tauri 框架实现 GUI 运行时进程隔离、IPC 安全通信与细粒度权限委托的工程化配置清单与监控要点。

### [为 Claude Code 代理设计安全运行时：进程隔离与权限控制四层防护](/posts/2025/09/21/claude-code-secure-agent-runtime/)
- 日期: 2025-09-21T20:46:50+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 详解 Claude Code 代理的四层安全运行时机制：进程隔离、细粒度权限、沙箱执行与资源限制，提供可落地的配置参数与监控清单。

### [Claude形式化验证能力边界案例研究：错误诊断清单与人工干预策略](/posts/2025/09/21/claude-formal-verification-boundaries-case-study/)
- 日期: 2025-09-21T20:46:50+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 基于陶哲轩实验，剖析Claude在Lean形式化验证中的能力边界，提供可落地的错误诊断清单与人工干预策略，避免过度自动化陷阱。

### [Claude 辅助形式化验证：工程化参数与监控清单](/posts/2025/09/21/claude-formal-verification-engineering-parameters/)
- 日期: 2025-09-21T20:46:50+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 解析 Claude 在代码合同与安全系统中辅助形式化验证的工程化路径，提供可落地的参数配置、监控要点与回滚策略。

### [利用 fmt 库实现编译期格式字符串类型安全检查的工程实践](/posts/2025/09/21/compile-time-format-string-type-safety-in-fmt/)
- 日期: 2025-09-21T20:46:50+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 详解如何通过 fmt 库在编译期捕获格式字符串与参数类型不匹配错误，避免运行时崩溃，提升 C++ 代码健壮性。

## 热门分类
- [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)