# Hotdry Blog

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

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

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

## 本页文章
### [Block Goose 架构解析：超越代码建议的完整 Agent 工程化实现](/posts/2026/01/24/block-goose-agent-architecture/)
- 日期: 2026-01-24T17:40:02+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 深入剖析 Block Goose 如何实现从代码补全到完整开发任务自动化的架构设计，涵盖 Interface-Agent-Extensions 三层模型、MCP 互操作性层及 Code Execution 沙箱机制。

### [用 OpenDBC 实现跨车型适配：车辆抽象层架构与 CAN 消息映射实践](/posts/2026/01/24/vehicle-abstraction-layer/)
- 日期: 2026-01-24T17:17:39+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 解析 openpilot 车辆接口层架构设计：CAN 总线消息标准化、CarState/CarController 模式及跨车型适配工程参数。

### [Bloomberg Rocq 编译器工具链：Crane 提取系统的设计与工程实践](/posts/2026/01/24/bloomberg-rocq-crane-extraction-compiler-toolchain/)
- 日期: 2026-01-24T17:01:37+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 剖析 Bloomberg 开发的 Rocq 到 C++ 提取系统 Crane 的编译器工具链设计，聚焦类型映射、单子接口与可配置化策略的工程落地要点。

### [80386 乘除法单元：Radix-4 Booth 编码与硬件实现权衡](/posts/2026/01/24/intel-80386-multiply-divide-unit/)
- 日期: 2026-01-24T16:49:44+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 解析 80386 如何用 Radix-4 Booth 重编码将 32 位乘法从微码循环改为硬件流水线，将迭代次数减半并实现 9-41 周期的可变延迟，同时分析除法单元仍需 38-43 周期的架构原因。

### [从黑胶唱片引导 IBM PC：物理槽轨编码与 BIOS 引导流程的工程剖析](/posts/2026/01/24/vinyl-record-boot-system/)
- 日期: 2026-01-24T16:34:11+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 剖析通过卡带接口从黑胶唱片读取 64KB DOS 镜像的工程实现，涵盖 Kansas City Standard FSK 编码、RIAA 均衡补偿与 INT 15h 解调流程。

### [用 LED 矩阵打造实时列车到站显示屏：嵌入式工程实践](/posts/2026/01/24/train-arrival-led-display-engineering/)
- 日期: 2026-01-24T16:18:28+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 面向实时交通数据可视化场景，详解 LED 矩阵驱动的嵌入式系统架构与工程参数。

### [goose 代理工具路由反馈机制：基于执行结果的动态调整策略](/posts/2026/01/24/goose-dynamic-tool-routing-feedback-loop/)
- 日期: 2026-01-24T16:07:33+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 解析 AI 代理工具执行反馈如何驱动路由决策优化，涵盖权重更新算法、失败回退策略与重试机制的工程实现参数。

### [VibeVoice 实时流式 TTS 架构剖析：延迟控制与流水线设计](/posts/2026/01/24/vibevoice-realtime-streaming-tts-architecture/)
- 日期: 2026-01-24T16:02:13+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 深入分析 Microsoft VibeVoice-Realtime 的流式架构设计，聚焦端到端延迟控制机制、交织窗口编码策略与抗网络抖动的工程实践。

### [无特权 LAN 发现：mDNS/SSDP/ARP 缓存触发的 Go 并发架构](/posts/2026/01/24/unprivileged-lan-discovery-go-mdns-ssdp-arp/)
- 日期: 2026-01-24T15:47:28+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 基于 mDNS、SSDP 与 ARP 缓存触发的用户空间网络发现架构，Go 并发模型与无 root 权限约束下的工程实践。

### [用 BatchZK 流水线架构加速 GPU 零知识证明：AI 推理验证的工程参数与吞吐优化](/posts/2026/01/24/gpu-zero-knowledge-proof-pipeline-optimization/)
- 日期: 2026-01-24T15:36:59+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 深入分析 BatchZK 的 GPU 加速流水线设计，探讨 ZK 证明系统在 AI 推理验证场景下的工程化参数配置与吞吐优化策略。

### [DeepSeek FlashMLA 共享内存分块与 NVIDIA Hopper/Blackwell 架构优化实践](/posts/2026/01/24/deepseek-flashmla-shared-memory-tiling/)
- 日期: 2026-01-24T15:18:21+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 深入分析 DeepSeek 开源的 FlashMLA CUDA kernel，聚焦共享内存分块策略与 TMA 预取流水线在 NVIDIA Hopper 与 Blackwell 架构上的工程化调优参数。

### [NVIDIA Dynamo 动态调度与 KV 感知路由：分布式推理的资源利用率优化](/posts/2026/01/24/nvidia-dynamo-dynamic-scheduling-kv-aware-routing/)
- 日期: 2026-01-24T15:03:14+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 解析 Dynamo 的事件驱动调度器与 KV 感知路由如何突破静态分区的瓶颈，提供实时的 GPU 资源弹性伸缩与 KV 缓存复用策略。

### [Internet Archive 的 PetaBox 分布式存储架构解析](/posts/2026/01/24/internet-archive-petabox-storage-architecture/)
- 日期: 2026-01-24T14:48:15+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 深入分析全球最大数字图书馆的存储系统设计，涵盖 PetaBox 硬件演进、双副本跨数据中心镜像策略、以及利用旧金山海洋性气候实现零空调的节能架构。

### [Intel 8086 ALU 控制信号时序与微操作复原](/posts/2026/01/24/intel-8086-alu-control-signal-timing/)
- 日期: 2026-01-24T14:18:01+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 基于硅层逆向与显微照片，复原 Intel 8086 ALU 的微操作序列与控制信号时序，揭示加减法与逻辑运算的微码级实现差异。

### [现代 C 工程实践中的三个核心编程模式](/posts/2026/01/24/modern-c-engineering-patterns/)
- 日期: 2026-01-24T14:03:44+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 聚焦现代 C 项目中的类型别名、长度+数据字符串与 Result 类型模式，给出具体的工程实现参数与代码结构。

### [用运行时缓存避免百万行 Go 代码生成：Quamina 的 Unicode 属性匹配实践](/posts/2026/01/24/unicode-property-caching-go/)
- 日期: 2026-01-24T13:47:32+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 当预生成代码膨胀到 77.5 万行时，Tim Bray 选择了一条相反的路：运行时按需计算并缓存。工程代价如何？性能曲线说明了什么？

### [Gas Town 的代理编排模式与规模化工程瓶颈](/posts/2026/01/24/gas-town-agent-orchestration-bottlenecks/)
- 日期: 2026-01-24T13:31:29+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 深入解析 Steve Yegge 的 Gas Town 多代理系统，探讨大规模代理编排的设计瓶颈、角色分工模式与 vibecoding 工程的权衡策略。

### [Bloomberg Crane：从 Rocq 定理证明器提取形式化验证的 C++ 代码](/posts/2026/01/24/bloomberg-crane-rocq-verified-cpp-extraction/)
- 日期: 2026-01-24T13:20:33+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 Bloomberg Crane 提取系统，探讨如何从 Rocq 定理证明器直接生成符合工程规范的形式化验证 C++ 代码，及其内存安全与并发安全的工程参数配置。

### [Dynamo 分布式推理中的 CUDA Shared Memory 分块优化实践](/posts/2026/01/24/dynamo-cuda-shared-memory-tiling-optimization/)
- 日期: 2026-01-24T13:03:17+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 深入解析 Dynamo 分布式推理框架下 CUDA kernel 的 shared memory tiling 优化策略，提供 GPU 内存布局与带宽利用率的工程实践参数。

### [现代 C 语言防御性编程实践：利用 C23 特性构建安全代码](/posts/2026/01/24/modern-c-defensive-programming-practices/)
- 日期: 2026-01-24T12:47:19+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 深入探讨 C23 引入的静态断言、空指针常量与编译期计算特性，结合解析而非验证的错误处理哲学，为系统级代码提供可落地的防御策略。

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