# Hotdry Blog

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

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

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

## 本页文章
### [石勒苏益格-荷尔斯泰因州开源邮件迁移：Postfix/Dovecot 大规模零停机实施](/posts/2025/10/13/schleswig-holstein-oss-email-migration/)
- 日期: 2025-10-13T08:08:31+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 探讨德国石勒苏益格-荷尔斯泰因州政府将10万+用户邮件系统迁移到开源Postfix和Dovecot栈的工程实践，包括合规保障、集成策略和可落地参数。

### [Building Modular RSS System with Puppeteer and Redis](/posts/2025/10/13/building-modular-rss-system-with-puppeteer-and-redis/)
- 日期: 2025-10-13T08:02:32+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 基于 RSSHub，探讨模块化路由设计、Puppeteer 抓取动态内容、Redis 缓存优化以及 API 限流策略，实现从 1000+ 动态网站生成实时 RSS 的工程实践，避免 CORS 问题。

### [使用 PGLinter 进行 PostgreSQL AST 代码检查：模式验证与索引建议](/posts/2025/10/13/postgresql-ast-linting-with-pglinter-schema-validation-and-index-suggestions/)
- 日期: 2025-10-13T07:48:01+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 通过 PGLinter 扩展，利用 PostgreSQL 的 AST 解析实现开发时数据库最佳实践强制执行，包括 schema 验证、查询反模式检测和自动化索引建议。提供配置规则、CI 集成要点和落地参数。

### [在 ATLAS 推测解码中实现内核融合：减少 75% 内存带宽并实现 4x LLM 推理加速](/posts/2025/10/13/implement-kernel-fusion-in-atlas-speculative-decoding/)
- 日期: 2025-10-13T07:32:39+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 本文聚焦 ATLAS 系统的推测解码优化，通过 CUDA 内核融合减少 75% 内存带宽，实现多 GPU 上 4x LLM 推理加速，提供动态 draft 模型适应参数与工程落地清单。

### [Rust 宏高级实现：声明式代码生成与可变参数 splats](/posts/2025/10/13/advanced-rust-macro-splats-declarative-generation/)
- 日期: 2025-10-13T07:17:32+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 探讨 Rust 2025 版中宏的 splats 技术，用于 variadic patterns 和编译时优化，实现高效的声明式代码生成。

### [形式验证的实际失败：Rust 中的时序侧信道、UB 利用与规范缺口](/posts/2025/10/13/practical-failures-formal-verification-rust-timing-ub-specs/)
- 日期: 2025-10-13T07:03:18+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 分析验证系统在实践中的三大陷阱，并提供 Rust 工程化案例下的防范参数与监控清单。

### [使用 TensorFlow Lite Micro 在微控制器上实现高效机器学习推理](/posts/2025/10/13/implementing-efficient-ml-inference-with-tensorflow-lite-micro-on-microcontrollers/)
- 日期: 2025-10-13T06:48:49+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 面向微控制器高效 ML 推理，给出 TFLM 量化部署与电池优化的工程参数与监控要点。

### [实现 MAML 的模式验证、插值与模块化包含：构建类型安全的应用配置](/posts/2025/10/13/implementing-mamls-schema-validation-interpolation-and-modular-includes/)
- 日期: 2025-10-13T06:34:00+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 探讨 MAML 配置的模式验证、插值机制与模块化设计，提供工程化参数与最佳实践清单。

### [ATLAS 中实现自适应草稿模型训练：动态学习推测模式与阈值调整](/posts/2025/10/13/adaptive-speculation-learning-in-atlas/)
- 日期: 2025-10-13T06:18:19+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 在 ATLAS 系统中，通过历史验证动态学习推测模式，调整接受阈值，提升多 GPU LLM 推理效率的工程实践与参数配置。

### [oavif 目标质量 AVIF 压缩：早停优化与感知质量工程](/posts/2025/10/13/oavif-target-quality-avif-compression/)
- 日期: 2025-10-13T06:09:20+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 面向 AVIF 编码，提供率失真早停和感知指标的参数配置与监控要点，实现高效目标质量压缩。

### [工程化 AVIF 编码器实现固定质量目标](/posts/2025/10/13/engineering-avif-encoders-fixed-quality-early-termination-rdo-perceptual-metrics/)
- 日期: 2025-10-13T06:07:59+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 通过在率失真优化中使用早停机制和感知质量指标，实现 AVIF 编码 2-3 倍加速而不损失质量的工程实践。

### [Emacs 中集成 ACP 协议的 agent-shell：实现自然语言命令和多代理编排](/posts/2025/10/13/integrating-acp-protocol-in-emacs-agent-shell-seamless-natural-language-commands-and-multi-agent-orchestration/)
- 日期: 2025-10-13T06:04:01+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 通过 ACP 协议在 Emacs 中构建 agent-shell，支持自然语言交互、工具调用和多代理协作，提供配置参数和监控要点。

### [使用约束满足求解器优化 Minecraft 物品捆绑](/posts/2025/10/13/optimizing-minecraft-bundles-with-constraint-satisfaction-solvers/)
- 日期: 2025-10-13T05:48:00+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 面向 Minecraft 物品捆绑优化，给出约束满足问题的建模与回溯算法的工程化参数与监控要点。

### [解决 Kotlin Javac 前端土耳其语 Unicode 排序缺陷](/posts/2025/10/13/resolving-kotlin-javac-frontend-turkish-unicode-collation-defect/)
- 日期: 2025-10-13T05:33:17+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 针对 Kotlin 编译器 Javac 前端中土耳其语字母排序的 Unicode 缺陷，提供断线续传与超时参数的工程化配置与监控要点。

### [工程化混合形式验证与运行时监控：应对生产系统规格不完整与工具假设违反](/posts/2025/10/13/engineering-hybrid-formal-verification-with-runtime-monitoring-for-robust-systems/)
- 日期: 2025-10-13T05:20:27+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 面向生产系统，给出形式验证与运行时监控的混合工程方法，针对规格不完整和假设违反，提供参数配置与监控策略。

### [Deploying Optimized AI Models on Edge Devices with ONNX Runtime](/posts/2025/10/13/deploying-optimized-ai-models-on-edge-devices-with-onnx-runtime/)
- 日期: 2025-10-13T05:04:41+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 通过 ONNX Runtime 在边缘设备上实现高效本地推理，涵盖量化、硬件加速及与 Windows ML 框架的集成，提供工程参数和最佳实践。

### [在 PyTorch Diffusers 中实现管道并行、LoRA 微调与自定义噪声调度器：可扩展图像/视频/音频生成工程实践](/posts/2025/10/13/implementing-pipeline-parallelism-lora-fine-tuning-custom-noise-schedulers-in-diffusers-pytorch/)
- 日期: 2025-10-13T04:48:50+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 基于 Hugging Face Diffusers，阐述管道并行分布式推理、LoRA 高效微调及自定义噪声调度器的 PyTorch 实现，提供参数配置与优化清单。

### [用 Rust 工程化 Helix 的模态编辑：Tree-sitter 解析与 LSP 支持](/posts/2025/10/13/engineering-rust-modal-editing-in-helix-tree-sitter-and-lsp-integration/)
- 日期: 2025-10-13T04:36:19+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 剖析 Helix 编辑器中 Rust 实现的模态编辑机制，结合 Tree-sitter 语法树解析和 LSP 补全功能，提供高效代码编辑工作流的参数与导航要点。

### [Together AI 多GPU服务中混合长度LLM请求的动态批处理实现：优化填充与排序策略](/posts/2025/10/13/dynamic-batching-mixed-length-llm-requests-together-ai-multi-gpu-serving/)
- 日期: 2025-10-13T04:17:41+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 探讨在Together AI平台上实现动态批处理以处理变长序列LLM请求，优化填充策略和多GPU分布，提升吞吐量而无需固定批大小。提供工程参数和监控要点。

### [NewBASIC解释器中的字符串操作、数学函数与磁带模拟集成](/posts/2025/10/13/newbasic-string-math-cassette-interpreter/)
- 日期: 2025-10-13T04:09:37+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 使用现代C语言从零构建BASIC解释器，聚焦1980s兼容的字符串处理、内置数学函数实现，以及磁带模拟的工程化参数与监控要点。

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