# Hotdry Blog

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

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

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

## 本页文章
### [Python 3.14 无 GIL 多线程与 JIT 在 IO 密集型应用的基准测试：子解释器、vectorcall 扩展与预热延迟评估](/posts/2025/10/10/benchmark-python-3-14-free-threaded-jit-io-bound-apps/)
- 日期: 2025-10-10T18:07:18+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 探索 Python 3.14 的 free-threaded 模式和 JIT 在 IO-bound 应用中的性能，评估子解释器、vectorcall 扩展及预热延迟，提供工程化参数和监控要点。

### [Engineering Automated Proofs in Lean for Arbitrary Types: Tactic Synthesis and Scalable Verification](/posts/2025/10/10/engineering-automated-proofs-in-lean-for-arbitrary-types/)
- 日期: 2025-10-10T18:02:03+08:00
- 分类: [general](/categories/general/)
- 摘要: 探讨Lean中针对任意类型的自动化证明生成工程实践，包括tactic合成机制与验证可扩展性配置要点。

### [使用 WebGPU 计算着色器并行化元胞自动机规则](/posts/2025/10/10/parallelizing-cellular-automata-with-webgpu-compute-shaders/)
- 日期: 2025-10-10T17:48:06+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 利用 WebGPU 计算着色器在 GPU 线程上并行执行元胞自动机规则，实现浏览器环境中大网格实时模拟，CPU 开销最小化。

### [LLM 代理运行时异常捕获与恢复：对抗厌恶偏差的工程策略](/posts/2025/10/10/runtime-exception-trapping-in-llm-agents-to-counter-aversion-biases/)
- 日期: 2025-10-10T17:32:23+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 探讨 LLM 代理中运行时异常厌恶偏差的工程缓解，包括针对性细调和动态重路由，提供参数、清单和监控要点以提升生产可靠性。

### [分布式LLM训练中的数据来源追踪：毒化检测与隔离](/posts/2025/10/10/distributed-llm-provenance-poison-detection/)
- 日期: 2025-10-10T17:19:13+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 在分布式LLM训练管道中，通过来源图和审计轨迹实现数据血统追踪，预先检测并隔离小规模对抗样本，确保模型完整性。

### [Python 3.14 vectorcall 协议优化：加速数值 C 扩展的数组操作](/posts/2025/10/10/python-3-14-vectorcall-c-extension-optimizations/)
- 日期: 2025-10-10T17:03:15+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 探讨 Python 3.14 中增强的 vectorcall 协议如何优化 C API 交互，针对数值扩展减少计算密集型任务开销，提供工程参数与实现清单。

### [Datastar：利用声明式 HTML 属性实现客户端响应式](/posts/2025/10/10/datastar-reactive-attributes/)
- 日期: 2025-10-10T16:47:35+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 通过 data-* 属性和 JSON 事件流，Datastar 实现 htmx 式动态更新，无需 JavaScript 膨胀，支持实时多用户应用。

### [LLM 异常处理厌恶：训练偏差剖析与微调策略工程](/posts/2025/10/10/llm-exception-aversion-training-bias/)
- 日期: 2025-10-10T16:33:38+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 分析 LLM 训练数据偏差导致对异常处理代码的厌恶，并工程化微调策略生成鲁棒错误恢复程序，避免运行时陷阱。

### [C# 中工程化异常层次：使用模式匹配区分 vexing 案例与 bug](/posts/2025/10/10/engineering-exception-hierarchies-in-c-sharp-using-pattern-matching-to-distinguish-vexing-cases-from-bugs/)
- 日期: 2025-10-10T16:17:24+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 探讨C#中vexing异常的概念，通过异常层次和模式匹配在文件与网络操作中实现语义清晰的处理，减少try-catch冗余。

### [Stagehand 中并行浏览器实例编排：可扩展网络抓取与自动化](/posts/2025/10/10/parallel-browser-instance-orchestration-in-stagehand/)
- 日期: 2025-10-10T16:08:24+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 利用 Stagehand 的多标签页机制和 Browserbase 云基础设施，实现浏览器实例的并行编排，优化资源利用与任务分发，提升 web scraping 的吞吐量与容错性。

### [基于 Tesseract 的浏览器原生 OCR 接口工程：ScribeOCR 的文本提取与 PDF 重建](/posts/2025/10/10/engineering-browser-native-ocr-interface-with-tesseract-scribeocr/)
- 日期: 2025-10-10T16:03:36+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 利用 ScribeOCR 在浏览器中实现 Tesseract OCR，支持文本提取、布局 PDF 重建与实时预览的工程实践。

### [OpenAI Agents Python SDK 中的异构多代理通信协议设计](/posts/2025/10/10/designing-heterogeneous-multi-agent-protocols-in-openai-agents-python-sdk/)
- 日期: 2025-10-10T15:47:36+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 在 OpenAI Agents Python SDK 中设计异构多代理通信协议，实现动态手off 和状态同步，支持轻量级工作流协作。

### [单线程 C Web 框架中的 Arena 内存管理：零开销分配与无泄漏请求处理](/posts/2025/10/10/arena-allocation-strategies-in-single-threaded-c-web-frameworks/)
- 日期: 2025-10-10T15:32:57+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 在单线程 C Web 框架中，采用 Arena 分配器实现零开销内存分配和无泄漏请求处理，提供工程参数、监控要点与回滚策略。

### [LLM 推理轨迹中的游走探索：基于熵的剪枝机制](/posts/2025/10/10/llm-reasoning-trajectories-entropy-pruning-wandering-exploration/)
- 日期: 2025-10-10T15:18:21+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 针对 LLM 推理链的基线游走行为，进行诊断分析，并引入基于熵的轻量指标用于早期偏差检测，实现高效收敛而非全优化。

### [加密文件系统中实现 Dirlock：策略驱动挂载、密钥轮换与访问控制](/posts/2025/10/10/implementing-dirlock-for-encrypted-filesystems/)
- 日期: 2025-10-10T15:03:39+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 在多用户环境中，利用 Dirlock 机制实现加密文件系统的策略驱动挂载、密钥轮换和访问控制，提升数据安全性和隔离性。提供工程参数和监控要点。

### [使用 Valgrind 和 Arena 分配器调试 C Web 框架内存泄漏](/posts/2025/10/10/debugging-memory-leaks-in-c-web-frameworks-with-valgrind-and-arena-allocators/)
- 日期: 2025-10-10T14:49:06+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: C Web 框架内存管理痛点分析，结合 Valgrind 工具与自定义 Arena 分配器，提供高负载调试参数与稳定性保障。

### [Python 3.14 JIT Specialization for Custom Classes](/posts/2025/10/10/python-3-14-jit-specialization-custom-classes/)
- 日期: 2025-10-10T14:32:43+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 在 Python 3.14 中，利用实验性 JIT 和自适应解释器对用户定义类进行特化，优化动态属性访问和方法分发，实现对象密集型应用如数据管道的 2-5 倍性能提升。提供工程化参数、监控要点和最佳实践。

### [Figure 03 双足运动控制：基于模型预测控制的实时步态适应与零力矩点稳定](/posts/2025/10/10/implementing-model-predictive-control-for-bipedal-locomotion-in-figure-03/)
- 日期: 2025-10-10T14:08:01+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 在Figure 03的电动执行器中应用模型预测控制，实现实时步态适应与零力矩点稳定，提升双足行走稳定性。

### [Stagehand 中 AI 代理的弹性多会话并行编排](/posts/2025/10/10/resilient-multi-session-orchestration-in-stagehand/)
- 日期: 2025-10-10T14:02:24+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 工程化多浏览器会话的并行自动化，聚焦任务分布、错误恢复及低延迟行动链的参数与策略。

### [Python 3.14 自由线程模式实现与基准测试：禁用 GIL 实现 CPU 并行](/posts/2025/10/10/implementing-and-benchmarking-python-3-14-free-threaded-mode/)
- 日期: 2025-10-10T13:46:54+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 针对 CPU 密集型任务，禁用 GIL 的自由线程模式实现真正并行计算，提供基准测试结果与工程化参数，对比子解释器方法。

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