# Hotdry Blog

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

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

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

## 本页文章
### [开发自定义 Z3 策略优化 RTL 硬件验证中的位向量算术约束](/posts/2025/09/17/custom-z3-tactics-bit-vector-optimization-rtl-verification/)
- 日期: 2025-09-17T20:46:50+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 针对 RTL 硬件验证，介绍自定义 Z3 策略以优化位向量算术，提升等价性检查和 bug 检测效率，提供工程参数与监控要点。

### [DeepCode：通过多代理编排将研究论文转化为可执行代码的代理管道构建](/posts/2025/09/17/deepcode-building-agentic-pipelines-for-translating-research-papers-to-executable-code/)
- 日期: 2025-09-17T20:46:50+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 基于 DeepCode 框架，探讨构建多代理管道以从研究论文和规范生成可执行代码，包括解析、规划与迭代细化，提供工程参数与落地清单。

### [DeepResearchAgent：分层多代理系统用于深度研究规划](/posts/2025/09/17/deepresearchagent-hierarchical-research-planning/)
- 日期: 2025-09-17T20:46:50+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 通过顶级规划代理协调子代理，实现深度研究查询的自动化分解、证据收集与综合。

### [通过量化与 ONNX Runtime 在边缘设备部署轻量级 PaddleOCR 模型](/posts/2025/09/17/deploy-lightweight-paddleocr-models-on-edge-devices-via-quantization-and-onnx-runtime/)
- 日期: 2025-09-17T20:46:50+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 面向边缘设备，给出 PaddleOCR 模型量化、ONNX 转换与实时部署的工程参数与优化要点。

### [检测 Shai-Hulud 蠕虫在 NPM 中的传播：CI/CD 中的运行时扫描器与沙箱构建](/posts/2025/09/17/detecting-shai-hulud-worm-npm-supply-chain/)
- 日期: 2025-09-17T20:46:50+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 探讨构建运行时扫描器和沙箱化构建来检测 Shai-Hulud 通过 NPM 的蠕虫传播，重点关注依赖图遍历和基于异常的隔离策略。

### [Terraform State 的分布式存储：集成 CRDT 与 Raft 实现多区域一致性](/posts/2025/09/17/distributed-terraform-state-with-crdt-and-raft-for-multi-region-consistency/)
- 日期: 2025-09-17T20:46:50+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 基于 Stategraph，实现 Terraform state 的分布式存储与同步，使用 CRDT 合并冲突和 Raft 共识确保多区域一致性，支持零停机状态迁移。

### [React 中动态代词替换：个性化 UI 的 'Your' 与 'My'](/posts/2025/09/17/dynamic-pronoun-substitution-react-ui-personalization/)
- 日期: 2025-09-17T20:46:50+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 使用 React 上下文钩子实现 'your' 和 'my' 代词的动态替换，个性化账户仪表盘等 UI 元素，而无需完整重渲染。

### [在 Apple Silicon 上使用 MLX 实现高效 LLM 推理：统一内存与优化内核](/posts/2025/09/17/efficient-llm-inference-on-apple-silicon-with-mlx-unified-memory-and-optimized-kernels/)
- 日期: 2025-09-17T20:46:50+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 探讨 MLX 框架如何利用 Apple Silicon 的统一内存和优化内核，实现低延迟 LLM 微调与边缘 AI 部署。

### [工程化跨平台 TUI：使用 Midnight Commander 的 VFS 与双面板导航](/posts/2025/09/17/engineering-cross-platform-tui-vfs-navigation-midnight-commander/)
- 日期: 2025-09-17T20:46:50+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 基于 Midnight Commander 实现跨平台文本界面文件管理，覆盖 VFS 远程访问、双面板操作和插件扩展的工程实践。

### [工程化分层多代理系统中的代理间移交协议与冲突解决：面向自动化深度研究的容错任务委托与实时同步](/posts/2025/09/17/engineering-inter-agent-handoff-protocols-and-conflict-resolution-in-hierarchical-multi-agent-systems-for-automated-deep-research/)
- 日期: 2025-09-17T20:46:50+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 探讨分层多代理系统中的代理间移交协议设计与冲突解决策略，强调容错任务委托机制与实时同步，确保深度研究任务高效执行，提供工程参数与监控要点。

### [工程自治对冲基金的多代理 LLM 系统：实时投资组合优化与风险模拟](/posts/2025/09/17/engineering-multi-agent-llm-systems-for-autonomous-hedge-funds-real-time-portfolio-optimization-and-risk-simulation/)
- 日期: 2025-09-17T20:46:50+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 构建多代理 LLM 系统，用于自治对冲基金的实时再平衡、风险模拟和 API 交易执行的工程指南。

### [工程化 NocoDB REST API 层：多用户无代码环境下的实时数据同步与视图访问控制](/posts/2025/09/17/engineering-nocodb-rest-api-layer-for-real-time-data-syncing-and-view-based-access-control-in-multi-user-no-code-environments/)
- 日期: 2025-09-17T20:46:50+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 在多用户无代码环境中，工程化 NocoDB 的 REST API 实现实时数据同步，并通过视图级访问控制确保安全协作。

### [Monad 并行 EVM 执行：乐观并发与高吞吐优化工程实践](/posts/2025/09/17/engineering-parallel-evm-execution-in-monad-optimistic-concurrency-for-10k-tps/)
- 日期: 2025-09-17T20:46:50+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 基于乐观并发控制的并行交易执行、PBS 内存池管理和零 gas 抽象，实现 Monad 高性能 EVM 的工程参数与监控要点。

### [Waymo SFO 机场无人出租车导航：实时高精地图更新与多传感器融合工程实践](/posts/2025/09/17/engineering-real-time-hd-map-updates-and-multi-sensor-fusion-for-waymos-sfo-airport-robotaxi-navigation/)
- 日期: 2025-09-17T20:46:50+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 针对旧金山机场高流量区无人驾驶挑战，探讨实时高精地图更新、多传感器融合及监管合规故障转移的工程参数与监控要点。

### [工程化顶级规划代理：DeepResearchAgent的分层任务分解与子代理协作](/posts/2025/09/17/engineering-top-level-planning-agent-deepresearchagent-hierarchical-decomposition/)
- 日期: 2025-09-17T20:46:50+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 基于DeepResearchAgent框架，工程化顶级规划代理实现复杂研究任务的自动化分解与多子代理协调，提供设计参数、配置指南与执行清单。

### [工程化顶级规划代理：DeepResearchAgent中分层任务分解与子代理协调](/posts/2025/09/17/engineering-top-level-planning-agent-for-hierarchical-task-decomposition-in-deepresearchagent/)
- 日期: 2025-09-17T20:46:50+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 在DeepResearchAgent框架中工程化顶级规划代理，实现复杂研究任务的自动化分解与子代理协作，提供设计参数、协调机制与落地实践。

### [工程化顶级规划代理：DeepResearchAgent中分层任务分解与子代理协调](/posts/2025/09/17/engineering-top-level-planning-agent-in-deepresearchagent/)
- 日期: 2025-09-17T20:46:50+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 探讨DeepResearchAgent框架中顶级规划代理的工程化设计，实现复杂任务的自动化分解与子代理协作，提供实用参数、机制与落地指南。

### [AMD Vulkan 开源驱动的工程权衡：维护成本、社区贡献与专有迁移](/posts/2025/09/17/engineering-trade-offs-in-amd-vulkan-open-source-drivers-maintenance-costs-community-contributions-and-proprietary-migration/)
- 日期: 2025-09-17T20:46:50+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 分析 AMD GPU Vulkan 开源驱动的维护挑战、社区支持及向专有驱动迁移的工程策略。

### [Tabby 中使用 WebGPU 和 Rust 实现 GPU 加速终端渲染](/posts/2025/09/17/gpu-accelerated-terminal-rendering-with-webgpu-and-rust-in-tabby/)
- 日期: 2025-09-17T20:46:50+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 探讨 Tabby 终端如何借助 WebGPU 和 Rust 技术，提供硬件加速渲染、多标签管理和插件扩展，实现高效低延迟的命令行交互。

### [R7RS syntax-rules 中使用 call/cc 实现正常序归约：惰性求值与不动点语义证明](/posts/2025/09/17/implement-normal-order-reduction-r7rs-syntax-rules-call-cc/)
- 日期: 2025-09-17T20:46:50+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 探讨在 Scheme 宏系统中通过延续实现惰性求值，结合不动点组合子与共归纳推理证明语义正确性与宏展开卫生。

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