# Hotdry Blog

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

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

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

## 本页文章
### [Tunix中基于JAX集成的分片TPU后训练：DPO对齐的all-reduce梯度同步与容错检查点](/posts/2025/10/05/sharded-tpu-post-training-in-tunix/)
- 日期: 2025-10-05T14:06:23+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 在Tunix框架下，利用JAX的pmap和pjit实现TPU上的分片DPO训练，详细阐述all-reduce同步与故障恢复检查点的落地参数。

### [ProofOfThought 中的 Z3 反馈循环：迭代定理验证与安全关键代码错误校正](/posts/2025/10/05/proofofthought-z3-feedback-loop/)
- 日期: 2025-10-05T14:01:00+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 面向安全关键代码证明，给出 ProofOfThought 中 Z3 反馈循环的工程化实现、迭代参数与验证监控。

### [使用 Microsoft Agent Framework 编排 Python 和 .NET 混合 AI 代理：共享状态与跨语言部署](/posts/2025/10/05/orchestrating-hybrid-python-and-dotnet-ai-agents-with-microsoft-agent-framework/)
- 日期: 2025-10-05T13:31:13+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 面向混合语言 AI 代理，给出 Microsoft Agent Framework 的共享状态、可观测性和部署工程化参数。

### [设计可扩展浏览器核心：键盘优先导航与自定义键图插件](/posts/2025/10/05/design-extensible-browser-core-with-keyboard-first-navigation-and-custom-keymap-plugins/)
- 日期: 2025-10-05T13:16:25+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 基于 Glide 浏览器，阐述键盘优先导航、自定义键图插件的设计与模块化渲染，实现高效标签管理和脚本化工作流的参数配置。

### [用正则表达式实现实用XML解析器：栈启发式嵌套处理、实体解析与错误恢复](/posts/2025/10/05/practical-xml-parsing-with-regex-stack-heuristics/)
- 日期: 2025-10-05T13:01:17+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 探讨基于正则表达式的XML解析实现，结合栈处理嵌套结构、实体解析及错误恢复机制，并评估其相对于DOM和SAX的优劣。

### [Gleam 的 Parrot 中运行时查询执行优化](/posts/2025/10/05/optimizing-runtime-query-execution-in-gleams-parrot/)
- 日期: 2025-10-05T12:46:09+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 针对 Gleam 的 Parrot 库，探讨运行时查询执行的优化策略，包括连接池配置和自适应缓存机制，以实现跨 SQLite、PostgreSQL 和 MySQL 的高效类型安全 SQL 处理。

### [工程化IETF协议审计：检测后门加密标准弱化](/posts/2025/10/05/engineering-protocol-audits-ietf-crypto-standards-backdoors/)
- 日期: 2025-10-05T12:31:43+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 通过完整性检查和异常建模，工程化IETF协议审计以检测和缓解攻击者影响的加密标准弱化，提供可操作参数和监控要点。

### [Gleam 中的 Parrot：编译时类型安全的 SQL 查询生成](/posts/2025/10/05/gleam-parrot-type-safe-sql/)
- 日期: 2025-10-05T12:15:55+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: Parrot 为 Gleam 提供类型安全的 SQL 查询，支持 SQLite、PostgreSQL 和 MySQL，通过编译时 schema 验证和代码生成实现查询优化与安全。

### [使用 Microsoft Agent Framework 实现 Python 与 .NET 混合 AI 代理编排：共享状态与可观察性](/posts/2025/10/05/orchestrating-python-and-dotnet-hybrid-ai-agents-with-shared-state-and-observability/)
- 日期: 2025-10-05T12:06:36+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 探讨 Microsoft Agent Framework 在跨语言 Python/.NET AI 代理编排中的应用，重点共享状态同步和可观察性监控，以支持可扩展企业工作流。

### [ROCm 中实现 Matrix Core 指令以加速 GEMM](/posts/2025/10/05/implementing-matrix-core-instructions-in-rocm-for-gemm-acceleration/)
- 日期: 2025-10-05T12:01:20+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 探讨在 AMD GPU 上使用 ROCm 实现 Matrix Core 指令的 GEMM 加速，优化指令调度、寄存器分配和向量加载以达到峰值 MFLOPS。

### [工程化 LLM 代码变换管道：混淆、匿名与检测逃避](/posts/2025/10/05/engineering-llm-code-transformation-for-obfuscation-and-evasion/)
- 日期: 2025-10-05T11:46:22+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 面向 OSS 贡献，使用 LLM 实现代码混淆与变体生成，提供管道参数、阈值设置与监控策略。

### [使用 NVIDIA Warp 构建 GPU 加速物理引擎：Newton 刚体动力学优化](/posts/2025/10/05/building-gpu-accelerated-physics-engine-nvidia-warp-newton-rigid-body-dynamics-optimization/)
- 日期: 2025-10-05T11:31:30+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 基于 Newton 和 Warp 构建高效的 GPU 物理模拟引擎，聚焦自定义内核优化、SIMD 向量化与多 GPU 同步，实现实时刚体动力学模拟。

### [ProofOfThought: Z3-Integrated Chain-of-Thought for Formal Proofs in Safety-Critical Code Analysis](/posts/2025/10/05/ProofOfThought-Z3-Integrated-Chain-of-Thought-for-Formal-Proofs-in-Safety-Critical-Code-Analysis/)
- 日期: 2025-10-05T11:16:03+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: ProofOfThought 框架将 Z3 定理证明器嵌入 LLM 思维链中，实现安全关键代码的自动化正式证明生成与实时验证，提升推理可靠性和可解释性。

### [Gleam 中的 Parrot：编译时类型安全的 SQL 查询](/posts/2025/10/05/parrot-in-gleam-compile-time-type-safe-sql-queries/)
- 日期: 2025-10-05T11:00:54+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: Parrot 为 Gleam 提供编译时类型安全的 SQL 查询，支持多数据库，确保 schema 安全与零运行时开销，介绍工程化配置与 wrapper 参数。

### [Rust 异步 I/O 吞吐量优化：Hyperswitch 的连接池与负载均衡](/posts/2025/10/05/optimizing-async-io-throughput-in-rust-for-hyperswitch/)
- 日期: 2025-10-05T10:45:52+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 探讨在 Rust 中使用 Hyperswitch 优化异步 I/O 以实现高吞吐量支付处理，焦点包括连接池管理、非阻塞 I/O 以及负载均衡策略，提供工程参数和最佳实践。

### [加密库中的运行时完整性检查与异常检测：应对后门标准的防护](/posts/2025/10/05/runtime-integrity-checks-anomaly-detection-crypto-libraries-backdoored-standards/)
- 日期: 2025-10-05T10:31:19+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 针对受敌对影响的弱化加密标准，在加密库中实现运行时完整性验证和异常检测，提供具体参数和实施清单。

### [ROCm中波前同步与混合精度矩阵核心操作的工程化：面向低延迟边缘AI](/posts/2025/10/05/engineering-wavefront-sync-mixed-precision-rocm-matrix-core/)
- 日期: 2025-10-05T10:16:21+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 探讨AMD Instinct加速器上ROCm框架下波前同步机制与混合精度矩阵运算的工程实践，针对边缘AI低延迟张量计算的优化策略与参数配置。

### [在 Newton 中利用 NVIDIA Warp 进行并行粒子模拟：SIMD 内核优化与多 GPU 配置](/posts/2025/10/05/leveraging-nvidia-warp-for-parallel-particle-simulations-in-newton-simd-kernel-optimization-and-multi-gpu-setup/)
- 日期: 2025-10-05T10:06:11+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 本文探讨在 Newton 物理引擎中使用 NVIDIA Warp 实现高效粒子模拟，聚焦流体动力学和 N-body 交互的 SIMD 向量化优化。提供多 GPU 部署参数、性能阈值及监控策略，帮助开发者构建大规模模拟系统。

### [LLM推理中的迭代Z3反馈循环：动态证明调整与错误纠正](/posts/2025/10/05/iterative-z3-feedback-loops-in-llm-reasoning/)
- 日期: 2025-10-05T10:01:14+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 面向LLM与Z3的混合推理，给出迭代反馈循环的工程化参数与监控要点。

### [使用 BitNet 框架部署 1-bit LLM：三元权重量化、LUT 矩阵乘加速与 GPU 运行时优化](/posts/2025/10/05/deploy-1-bit-llms-with-bitnet-framework/)
- 日期: 2025-10-05T09:46:09+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 面向 1-bit LLM 部署，给出 BitNet 框架下的三元量化、LUT 加速与 GPU 优化参数及低延迟管道配置。

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