# Hotdry Blog

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

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

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

## 本页文章
### [DARPA Tractor中C到Rust增量翻译的借用检查器验证策略](/posts/2025/10/02/incremental-borrow-checker-verification-in-darpa-tractor-c-to-rust-translation/)
- 日期: 2025-10-02T11:18:42+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 针对遗留C代码的内存布局不匹配与指针别名问题，探讨增量借用检查器验证的工程实现与参数优化。

### [工程化增量 C 到 Rust 翻译管道：部分借用检查器验证实现分阶段升级](/posts/2025/10/02/incremental-c-to-rust-translation-strategies-with-partial-borrow-checker-verification/)
- 日期: 2025-10-02T11:03:14+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 探讨在大型遗留系统中工程化增量 C 到 Rust 翻译管道，使用部分借用检查器验证，支持无完整重写的分阶段升级。提供管道设计、验证参数及落地清单。

### [Trivy 多源漏洞数据库同步：实时更新与严重性优先级](/posts/2025/10/02/trivy-multi-source-vulnerability-db-syncing/)
- 日期: 2025-10-02T10:47:16+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 针对动态容器环境，Trivy 通过多源漏洞 DB 实时同步与严重性过滤，实现高效扫描，提供配置参数与监控要点。

### [将 Edge264 最小化 H.264 解码器集成到实时流媒体管道：低延迟缓冲与 SIMD 优化应用于边缘 IoT 设备](/posts/2025/10/02/integrating-edge264-into-real-time-streaming-pipelines/)
- 日期: 2025-10-02T10:33:05+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 探讨如何将高性能 Edge264 解码器集成到 RTSP 等实时流媒体管道中，实现边缘 IoT 设备的低延迟视频处理，包括缓冲策略和 SIMD 加速配置。

### [Claude SDK 中工程化工具使用链：多步代理推理与动态函数选择](/posts/2025/10/02/engineering-tool-use-chains-in-claude-sdk/)
- 日期: 2025-10-02T10:16:52+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 探讨 Claude Agent SDK 在构建多步代理时的工具调用链工程，包括动态选择、错误恢复和状态执行的最佳实践。

### [MoneyPrinterTurbo 中 LLM 提示优化与低延迟视频渲染集成](/posts/2025/10/02/optimizing-llm-prompts-for-script-generation-and-low-latency-video-rendering-in-moneyprinterturbo/)
- 日期: 2025-10-02T10:08:33+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 探讨 MoneyPrinterTurbo 的 LLM 提示工程优化策略与 FFmpeg 驱动的低延迟视频渲染技术，实现高效短视频生成管道的端到端延迟最小化。

### [Futhark 并行数组语言语义歧义解决：效果跟踪与融合优化实现安全代码生成](/posts/2025/10/02/resolving-semantic-ambiguities-in-futhark-via-effect-tracking-and-fusion-optimizations/)
- 日期: 2025-10-02T10:03:05+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 通过效果跟踪和融合优化，解决 Futhark 中并行语义歧义，提供更安全的代码生成参数与策略。

### [Edge264：极简软件 H.264 解码器的工程实践](/posts/2025/10/02/edge264-minimalist-software-decoding/)
- 日期: 2025-10-02T09:48:05+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 聚焦 Edge264 的纯软件设计，探讨高效位流解析、SIMD 加速运动补偿的工程参数与实时优化策略。

### [Engineering Quantization and KV Cache Pruning for OpenTSLM on Edge Devices](/posts/2025/10/02/engineering-quantization-and-kv-cache-pruning-for-opentslm-on-edge-devices/)
- 日期: 2025-10-02T09:32:54+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 通过量化与 KV 缓存剪枝优化 OpenTSLM，实现 <1GB RAM 边缘设备的实时时间序列预测，提供参数配置与监控要点。

### [LaTeX-OCR 后轻量 NLP 模型解析模糊数学符号](/posts/2025/10/02/latex-ocr-post-nlp-disambiguation-handwritten-symbols/)
- 日期: 2025-10-02T09:16:46+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 在 LaTeX-OCR 基础上集成规则和嵌入匹配的 NLP 后处理，解决手写 delta 和 sigma 等符号歧义，提升教育工具转换准确性。

### [利用百万级令牌上下文的代理工作流取代 RAG：工具调用与低延迟推理](/posts/2025/10/02/engineering-agentic-workflows-with-million-token-contexts-to-supplant-rag/)
- 日期: 2025-10-02T09:03:23+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 探讨如何通过 1M+ 令牌长上下文构建代理工作流，集成工具调用实现按需检索，以及多步推理在 500ms 延迟下解析查询的工程实践。

### [设计 F3：支持模式演进、内置压缩和加密验证的可扩展二进制数据格式](/posts/2025/10/02/designing-f3-extensible-binary-data-format-schema-evolution-compression-verification/)
- 日期: 2025-10-02T08:46:44+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 面向可扩展长期数据保存，给出 F3 二进制格式的设计，包括模式演进、压缩和加密验证的工程参数与实现清单。

### [从 RAG 到利用大上下文窗口的代理系统的工程迁移](/posts/2025/10/02/engineering-migration-rag-to-agentic-systems-large-context-windows/)
- 日期: 2025-10-02T08:31:51+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 本文探讨从传统 RAG 向代理系统的工程迁移策略，利用扩展上下文窗口直接处理长形式查询，降低检索延迟并简化索引维护。提供可落地参数和监控要点。

### [针对 AVC 轮廓的最小化 H.264 解码器：SIMD 熵解码与硬件加速钩子](/posts/2025/10/02/minimalist-h264-decoder-with-avc-profile-hardware-accel/)
- 日期: 2025-10-02T08:16:55+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 面向低延迟嵌入式流媒体，给出特定 AVC 轮廓的解码实现、SIMD 优化及硬件加速接口的工程化参数与集成要点。

### [利用扩展上下文窗口的Agentic工作流：从RAG向长文档直接洞察的转变](/posts/2025/10/02/agentic-shift-context-windows-long-documents/)
- 日期: 2025-10-02T08:07:25+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 面向长文档处理，给出利用LLM扩展上下文窗口的agentic工作流工程化参数与幻觉缓解策略。

### [Alpine Linux 中实现统一的 /usr 层次结构：符号链接树与构建脚本修改](/posts/2025/10/02/implementing-unified-usr-hierarchy-in-alpine-linux/)
- 日期: 2025-10-02T08:02:05+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 探讨在 Alpine Linux 中通过符号链接树和构建脚本修改实现 /usr 合并，消除 bin/sbin 重复并保持引导兼容性。

### [FOSSA bot 依赖图遍历与 breaking changes 影响量化算法](/posts/2025/10/02/fossa-bot-dependency-graph-traversal-breaking-changes-impact-quantification/)
- 日期: 2025-10-02T07:48:27+08:00
- 分类: [ai-engineering](/categories/ai-engineering/)
- 摘要: 面向 Dependabot/Renovate PR，解析 FOSSA bot 依赖图遍历算法与 breaking changes 影响量化工程参数，提供自动化修复建议与风险评分。

### [Lobe Chat 中工程化 RAG 管道：文件上传知识库的向量搜索与多 LLM 编排](/posts/2025/10/02/engineering-rag-pipelines-in-lobe-chat-for-file-upload-knowledge-bases/)
- 日期: 2025-10-02T07:31:49+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 探讨 Lobe Chat 中 RAG 管道的工程实践，包括文件处理、向量嵌入、检索优化及多模型集成，提供可落地配置与监控要点。

### [优化 OpenTSLM 用于 IoT 边缘部署：量化与流式推理实现实时时间序列异常检测](/posts/2025/10/02/optimizing-opentslm-for-edge-iot-anomaly-detection/)
- 日期: 2025-10-02T07:16:35+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 通过量化压缩和流式推理优化 OpenTSLM，实现 IoT 边缘实时异常检测，提供关键参数与部署清单。

### [DARPA TRACTOR：遗留 C 代码向 Rust 的内存安全自动化改造工程](/posts/2025/10/02/DARPA-Tractor-Rust-Memory-Safety-Retrofit-for-Legacy-C/)
- 日期: 2025-10-02T07:03:52+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 基于 DARPA TRACTOR 项目，工程化遗留 C 代码向 Rust 转换后的内存安全改造，强调借用检查器集成、unsafe 块最小化与零开销验证管道。

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