# Hotdry Blog

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

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

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

## 本页文章
### [将 UUCP 批处理协议与现代 SMTP 结合：实现去中心化自托管邮件的离线队列与点对点投递](/posts/2025/10/05/adapting-uucp-batch-with-smtp-for-decentralized-email-self-hosting/)
- 日期: 2025-10-05T04:16:15+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 利用 UUCP 的批处理机制增强 SMTP，实现无需云依赖的离线邮件自托管，支持点对点投递和队列管理，提供工程化参数和实施清单。

### [模块化神经系统桥接统计推理到涌现智能](/posts/2025/10/05/modular-neural-systems-bridging-statistics-to-intelligence/)
- 日期: 2025-10-05T04:01:19+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 使用图神经网络设计模块化AI代理系统，实现从统计推断到可扩展推理与规划的跃迁，提供工程参数与落地指南。

### [Touch-Based-Pixel-Art-Editing-on-Nintendo-DS-with-Optimized-Sprite-Rendering](/posts/2025/10/05/touch-based-pixel-art-editing-on-nintendo-ds-with-optimized-sprite-rendering/)
- 日期: 2025-10-05T03:46:17+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 在 Nintendo DS 的 256KB ROM 约束下，实现触摸像素艺术编辑，涵盖优化渲染、调色板管理和状态保存的工程实践。

### [将 Lean 定理证明器策略与 LLM 提示集成：验证代码生成证明的逐步数学推理](/posts/2025/10/05/integrating-lean-tactics-with-llm-for-proof-verification/)
- 日期: 2025-10-05T03:31:11+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 通过 LLM 提示生成 Lean tactics 序列，实现对代码生成中数学推理证明的逐步验证，提供提示工程参数和迭代优化策略。

### [使用 Wasmer 沙箱构建 Rust CLI 实现通用代码执行](/posts/2025/10/05/building-rust-cli-universal-code-execution-wasmer-sandbox/)
- 日期: 2025-10-05T03:16:14+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 基于 Rust 和 Wasmer 开发多语言代码执行 CLI，聚焦嵌入式解释器、动态加载与沙箱安全，提供工程参数与落地清单。

### [集成定理证明器验证与修正LLM推理步骤：多跳任务逻辑一致性保障](/posts/2025/10/05/integrating-theorem-provers-llm-reasoning-verification/)
- 日期: 2025-10-05T03:01:02+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 在LLM多跳推理中集成Z3或Lean定理证明器，提供验证与修正机制的工程参数、阈值设置及监控要点，确保逻辑一致性。

### [通过缩放定律分析优化 LLM 预训练数据混合以实现知识注入](/posts/2025/10/05/optimizing-llm-pre-training-data-mixtures-via-scaling-law-analysis-for-knowledge-infusion/)
- 日期: 2025-10-05T02:46:13+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 基于实证缩放定律分析，探讨知识注入的 LLM 预训练数据混合优化策略，实现性能与效率的平衡提升。

### [通过合成结构化数据注入实现知识注入：利用预训练中的幂律缩放提升10倍效率](/posts/2025/10/05/knowledge-infusion-via-synthetic-data-injection-in-llm-pretraining/)
- 日期: 2025-10-05T02:31:07+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 在LLM预训练中注入合成结构化数据，实现领域适应的10倍效率，利用幂律缩放避免完整重训练，提供参数配置与实施指南。

### [使用 Pathway 部署 Docker 友好 RAG 模板：实时多源数据同步与企业搜索](/posts/2025/10/05/deploying-docker-rag-templates-pathway-live-sync/)
- 日期: 2025-10-05T02:16:15+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 通过 Pathway 的 Docker 友好 RAG 模板，实现从 SharePoint、Google Drive、S3 等多源的实时数据同步，支持企业级 AI 管道和搜索。

### [Zig 构建系统中并行 DAG 评估：使用工作池和拓扑排序实现 10 倍增量重建加速](/posts/2025/10/05/parallel-dag-builds-in-zig/)
- 日期: 2025-10-05T02:06:06+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 针对大型 C/Zig 混合项目，介绍如何在 Zig 构建系统中实现并行 DAG 评估，利用工作池和拓扑排序加速增量重建，提供关键参数和监控策略。

### [终端 MLB 比赛流媒体：ASCII 艺术渲染与实时 API 集成工程实践](/posts/2025/10/05/terminal-mlb-streaming-ascii-art-rendering-real-time-api-integration/)
- 日期: 2025-10-05T02:01:04+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 在低带宽终端环境中实现 MLB 比赛流媒体，通过 ASCII 艺术渲染和 MLB API 实时集成，提供高效的比赛跟踪解决方案，包括配置参数与优化要点。

### [在 Blazor 中实现 MudBlazor 的可扩展 Material Design 组件：响应式 UI、自定义主题、数据绑定与 ARIA 无障碍](/posts/2025/10/05/implementing-mudblazor-in-blazor-responsive-uis-theming-binding-accessibility/)
- 日期: 2025-10-05T01:46:19+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 探讨在 Blazor 中使用 MudBlazor 构建响应式 UI 的工程实践，包括自定义主题配置、数据绑定技巧以及 ARIA 合规的无障碍特性。

### [Hyperswitch 中模块化异步 Rust FSM 的实现：幂等支付路由与多网关故障转移](/posts/2025/10/05/modular-async-rust-fsms-in-hyperswitch-for-idempotent-payment-routing-and-multi-gateway-failover/)
- 日期: 2025-10-05T01:31:06+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 探讨在开源支付开关 Hyperswitch 中，使用模块化异步 Rust FSM 实现幂等支付路由、连接器编排和多网关故障转移的工程实践，提供具体参数和监控要点。

### [Ada 与 Rust 在 Advent of Code 上的基准测试比较](/posts/2025/10/05/ada-vs-rust-benchmarking-advent-of-code/)
- 日期: 2025-10-05T01:16:11+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 通过 Advent of Code 谜题基准测试，比较 Ada 和 Rust 在编译时间、内存效率和运行速度方面的表现，聚焦安全并发系统编程。

### [微软代理框架中多代理 AI 工作流的编排：Python 与 .NET 集成及可扩展部署](/posts/2025/10/05/orchestrating-multi-agent-ai-workflows-in-microsoft-framework/)
- 日期: 2025-10-05T01:01:11+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 探讨微软代理框架如何通过 Python 和 .NET 支持多代理工作流的编排，包括状态管理、DevUI 调试和可扩展部署策略。

### [使用 Infisical 构建自托管秘密库：PKI 和 SSH 管理](/posts/2025/10/05/building-self-hosted-secrets-vault-with-infisical-pki-and-ssh-management/)
- 日期: 2025-10-05T00:46:22+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: Infisical 是一个开源平台，提供端到端秘密管理，包括 E2EE 存储、自动化 PKI 证书轮换和基于角色的 SSH 凭证注入。本文探讨如何在 DevOps 工作流中部署 Infisical，实现安全基础设施访问，包含实用参数和监控建议。

### [将 BitNet 三元查找表集成到自定义 Triton 内核中：GPU 加速 1-bit LLM 推理](/posts/2025/10/05/integrating-bitnet-ternary-lookup-tables-into-custom-triton-kernels-for-gpu-accelerated-1-bit-llm-inference/)
- 日期: 2025-10-05T00:31:20+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 面向服务器端 1-bit LLM 推理，给出 BitNet LUT 与 Triton 内核集成的工程参数、优化要点与监控策略。

### [低功耗ASIC上1位LLM推理的位串行矩阵乘法内核设计：移位-加法流水线优化](/posts/2025/10/05/bit-serial-matrix-multiplication-kernels-for-1-bit-llm-inference-on-low-power-asics/)
- 日期: 2025-10-05T00:16:13+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 针对1位LLM推理，设计位串行矩阵乘法内核，利用移位-加法流水线优化低功耗ASIC，实现亚1W边缘部署。讨论硬件参数、流水线配置与功耗监控要点。

### [利用 JAX vmap/pmap 实现分布式 LLM 蒸馏与量化感知后训练](/posts/2025/10/05/leveraging-jax-vmap-pmap-for-distributed-llm-distillation-and-quantization-aware-post-training/)
- 日期: 2025-10-05T00:06:11+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 探讨如何在资源受限硬件上使用 Tunix 库和 JAX 的并行机制优化 LLM 后训练，包括蒸馏和量化策略的参数配置与工程实践。

### [用 Zig 工程化 TigerBeetle：高吞吐金融交易分布式数据库的ACID实现](/posts/2025/10/05/engineering-tigerbeetle-in-zig-distributed-db-financial-transactions/)
- 日期: 2025-10-05T00:01:08+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: TigerBeetle 用 Zig 构建的分布式数据库，专为金融OLTP设计，提供严格ACID、零停机复制和子毫秒延迟。通过VRR协议和无锁结构，实现百万TPS。探讨工程参数、监控要点和部署策略。

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