# Hotdry Blog

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

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

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

## 本页文章
### [构建运行时监视器检测AI代码陷阱：动态跟踪与异常评分](/posts/2025/09/29/building-runtime-monitors-for-ai-coding-traps-dynamic-tracing-and-anomaly-scoring/)
- 日期: 2025-09-29T02:05:52+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 针对AI生成代码的幻觉API和安全漏洞，介绍运行时监视器的构建方法，包括动态跟踪技术、异常评分模型，以及工程化参数如阈值设置和监控清单，帮助实现实时检测与风险缓解。

### [用户空间实现 9P 文件协议与 rfork 进程模型：Unix 系统上的可移植分布式计算](/posts/2025/09/29/implementing-9p-protocol-and-rfork-in-user-space-for-portable-distributed-computing/)
- 日期: 2025-09-29T02:01:24+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 探讨 Plan 9 from User Space 如何在用户空间实现 9P 协议和 rfork 模型，支持无需内核修改的分布式计算，提供安装参数和监控要点。

### [无分支编程：条件执行优化的算术与位运算技巧](/posts/2025/09/29/branchless-programming-for-conditional-execution-optimization/)
- 日期: 2025-09-29T01:47:09+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 面向性能关键代码，使用算术和位运算替换条件分支，减少分支预测错误惩罚，并启用SIMD矢量化。提供C语言示例、掩码生成参数及应用清单。

### [用600行C代码构建最小Scheme到WebAssembly编译器](/posts/2025/09/29/building-a-minimal-scheme-to-webassembly-compiler-in-600-lines-of-c/)
- 日期: 2025-09-29T01:32:13+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 面向Scheme到WASM的编译，探讨利用WASM GC实现高效垃圾回收和轻量运行时集成的工程实践。

### [PostgreSQL 18 中并行 Vacuum 和增量备份的实现](/posts/2025/09/29/implementing-parallel-vacuum-and-incremental-backups-in-postgresql-18/)
- 日期: 2025-09-29T01:16:46+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 针对生产 Postgres 集群，介绍并行 Vacuum 加速大表维护与增量备份减少停机时间的工程实践，包括配置参数与监控要点。

### [RabbitMQ Streams 中的代理端过滤实现](/posts/2025/09/29/implementing-broker-side-filtering-in-rabbitmq-streams/)
- 日期: 2025-09-29T00:47:58+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 探讨 RabbitMQ Streams 的服务器端消息过滤机制，实现可扩展的消息路由，避免客户端轮询。

### [GraalVM 独立二进制：脱离 JDK 生态的工程化部署](/posts/2025/09/29/graalvm-standalone-binaries-decoupled-from-jdk-ecosystem/)
- 日期: 2025-09-29T00:32:24+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 探讨 GraalVM 如何通过独立二进制实现与 JDK 更新解耦，简化 polyglot 应用部署，并在 CI/CD 管道中加速 native image 构建，提供工程参数和最佳实践。

### [Typst 中集成 Rust 函数实现动态图表与方程生成](/posts/2025/09/29/integrating-rust-functions-in-typst-for-dynamic-diagram-and-equation-generation/)
- 日期: 2025-09-29T00:06:35+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 通过 Typst 包系统嵌入 Rust 函数，从数据源自动化构建技术文档中的动态图表和数学方程，提供集成参数与监控要点。

### [JavaScript构建高性能LLM推理引擎：WebLLM的技术突破与架构实践](/posts/2025/09/29/build-llm-inference-engine-javascript/)
- 日期: 2025-09-29T00:02:28+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 深入解析WebLLM如何通过WebGPU加速、MLC编译技术和三层架构设计，在浏览器中实现OpenAI兼容的高性能LLM推理引擎。

### [实现混合人类-AI 代码验证管道以缓解 AI 编码陷阱](/posts/2025/09/29/implementing-hybrid-human-ai-code-validation-pipelines-for-ai-coding-trap-mitigation/)
- 日期: 2025-09-29T00:01:58+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 面向工程工作流，给出自动化幻觉检测、安全扫描与人类审查的混合管道参数与实施要点。

### [PyTorch 构建 LLM 的推理优化：KV 缓存融合、动态批处理与量化实现亚百毫秒延迟](/posts/2025/09/28/optimizing-pytorch-llm-inference-kv-cache-fusion-dynamic-batching-and-quantization-for-sub-100ms-latency/)
- 日期: 2025-09-28T23:46:37+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 在 PyTorch 从零实现的 LLM 中，探讨 KV 缓存融合、动态批处理和量化技术如何优化推理，实现实时应用的亚百毫秒延迟，提供工程参数与监控清单。

### [OpenAI o1 模型中链式思考优化的工程实践：多步推理的延迟降低与准确提升](/posts/2025/09/28/optimizing-chain-of-thought-in-openai-o1-for-ai-agents/)
- 日期: 2025-09-28T23:31:59+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 针对 OpenAI o1 模型的链式思考（CoT）优化，提供 AI agents 中多步推理的结构化分解策略、延迟阈值参数及准确率监控要点。

### [利用 Groq LPU 架构实现超低延迟 LLM 推理加速：张量流式与内存带宽优化](/posts/2025/09/28/leveraging-groq-lpu-for-ultra-low-latency-llm-inference-acceleration-tensor-streaming-and-memory-bandwidth-optimization/)
- 日期: 2025-09-28T23:17:19+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 面向 LLM 推理流水线，利用 Groq LPU 的 TSP 和高带宽 SRAM，给出优化参数、集群配置与性能监控策略。

### [优化 zk-SNARK 证明生成：以太坊 L2 Rollups 中的隐私保护交易](/posts/2025/09/28/optimizing-zk-snark-proof-generation-for-privacy-preserving-transactions-in-ethereum-l2-rollups/)
- 日期: 2025-09-28T23:02:25+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 针对隐私保护交易，优化 zk-rollups 中的 zk-SNARK 证明生成，并集成 EVM 以实现高效零知识验证。

### [Rust 中 Fork Union 的无锁分叉-合并池：高效递归任务分解与工作窃取](/posts/2025/09/28/lock-free-fork-join-pools-in-rusts-fork-union-for-recursive-task-decomposition-and-work-stealing/)
- 日期: 2025-09-28T22:47:26+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 探讨 Rust Fork Union 库的无锁分叉-合并实现，针对分治算法的递归分解和工作窃取机制，优于 OpenMP 的静态调度，提供工程参数与监控要点。

### [Python 类型提示与运行时验证集成](/posts/2025/09/28/python-runtime-type-verification-with-hints/)
- 日期: 2025-09-28T22:32:10+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 在 Python 服务中集成运行时类型验证与静态提示，实现动态错误恢复和可观测性指标，提升生产可靠性。

### [用 TypeScript 实现多代理 AI 英语对话模拟器：角色扮演与自适应分支](/posts/2025/09/28/typescript-multi-agent-ai-english-conversation-simulator-roleplay-adaptive-branching/)
- 日期: 2025-09-28T22:16:51+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 本文探讨如何使用 TypeScript 构建多代理 AI 系统，实现互动英语对话练习，支持角色扮演场景和动态对话分支，提供工程化参数和实现指南。

### [TypeScript 实现的缩放 SVG 开发者路线图：动态节点链接与技能路径可视化](/posts/2025/09/28/typescript-implementation-of-zoomable-svg-developer-roadmaps/)
- 日期: 2025-09-28T22:07:02+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 探讨 TypeScript 驱动的可缩放 SVG 路线图技术，包括动态节点交互、缩放参数和开发者技能可视化工程实践。

### [从零构建类似 ChatGPT 的 LLM：PyTorch 实现分词、Transformer 解码器块、KV 缓存与基本训练循环](/posts/2025/09/28/building-a-chatgpt-like-llm-in-pytorch-from-scratch-tokenization-transformer-decoder-blocks-kv-cache-and-basic-training-loop/)
- 日期: 2025-09-28T22:03:18+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 本文指导使用 PyTorch 从零实现类似 ChatGPT 的 LLM，包括 BPE 分词、Transformer 解码器、多头因果注意力、KV 缓存优化生成，以及预训练循环的参数设置与监控要点。

### [使用 Haydex 构建高吞吐量列式倒排索引：SIMD 优化与零拷贝查询](/posts/2025/09/28/building-high-throughput-columnar-inverted-index-with-haydex/)
- 日期: 2025-09-28T21:46:55+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 面向高体积日志分析，介绍 Haydex 的列式倒排索引架构、SIMD 加速机制及零拷贝查询参数，实现亚秒级响应。

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