# Hotdry Blog

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

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

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

## 本页文章
### [Tempo支付区块链亚秒级确认的流水线优化工程实践](/posts/2025/12/13/tempo-low-latency-payment-confirmation-pipeline-optimization/)
- 日期: 2025-12-13T10:09:19+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 深入分析Tempo如何通过Simplex共识、交易验证流水线优化和专用支付通道实现0.6秒最终性，对比传统区块链的延迟瓶颈与工程实现策略。

### [Go可移植性的工程边界：cgo依赖、glibc/musl兼容性与构建管道复杂性](/posts/2025/12/13/go-portability-limitations-cgo-glibc-musl-cross-compilation/)
- 日期: 2025-12-13T10:05:08+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 分析Go语言跨平台编译的实际边界，涵盖cgo依赖、glibc/musl运行时兼容性问题，以及工程化构建管道的解决方案。

### [Docker镜像尺寸优化：多阶段构建与层缓存策略的工程实践](/posts/2025/12/13/docker-image-size-optimization-multi-stage-build-caching-strategies/)
- 日期: 2025-12-13T09:50:28+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 深入探讨通过多阶段构建、层缓存优化、构建上下文最小化等技术实现Docker镜像尺寸缩减与构建速度提升的工程化参数与监控要点。

### [逆向工程小米加湿器云服务协议：实现本地控制与隐私保护](/posts/2025/12/13/reverse-engineering-xiaomi-humidifier-cloud-decoupling/)
- 日期: 2025-12-13T09:35:13+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 通过固件提取、网络协议逆向与本地API重实现，将小米加湿器从云端依赖中解放，实现完全本地控制与隐私保护的技术实践。

### [OpenAI技能系统在ChatGPT与Codex CLI中的架构实现](/posts/2025/12/13/openai-skills-adoption-chatgpt-codex-cli-architecture-implementation/)
- 日期: 2025-12-13T09:04:22+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 分析OpenAI如何快速跟进Anthropic技能机制，在ChatGPT和Codex CLI中实现轻量级技能系统，包括技能发现、动态加载与执行沙箱架构。

### [HTTPS资源记录：浏览器支持现状、性能优化与安全考量](/posts/2025/12/13/https-rrs-browser-support-performance-security/)
- 日期: 2025-12-13T08:35:34+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 深入分析HTTPS RRs在DNS协议中的实现挑战，主流浏览器集成现状，以及在实际部署中的性能优化参数与安全考量。

### [大鼠玩DOOM VR系统工程实现：从3D打印到实时数据流的神经科学实验平台](/posts/2025/12/13/rats-play-doom-vr-system-engineering-neuroscience-automated-training/)
- 日期: 2025-12-13T08:19:19+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 构建低于2000美元的神经科学VR实验系统，实现大鼠在DOOM II环境中的自动化训练，涵盖硬件设计、实时数据流处理与操作条件反射的工程参数。

### [现代证明助手的工程架构演进：从逻辑内核到交互界面的性能优化](/posts/2025/12/13/modern-proof-assistants-architecture-evolution-performance/)
- 日期: 2025-12-13T08:08:52+08:00
- 分类: [general](/categories/general/)
- 摘要: 分析Coq与Lean等现代证明助手在逻辑内核设计、证明引擎可扩展性及交互界面演进中的工程化挑战与性能优化策略。

### [双向电子表格：公式反向更新求解器的工程实现](/posts/2025/12/13/bidirectional-spreadsheet-backward-formula-update-solver/)
- 日期: 2025-12-13T08:03:54+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 深入解析 bidicalc 双向电子表格的实现原理，探讨公式反向更新如何转化为根查找问题，以及混合求解算法在工程实践中的应用与挑战。

### [基于对象能力模型重构sudo：从身份切换到最小权限委托的安全架构演进](/posts/2025/12/13/capsudo-object-capabilities-sudo-replacement-linux-security/)
- 日期: 2025-12-13T07:49:56+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: capsudo项目通过对象能力模型重新定义Linux特权提升，将sudo的身份切换范式转变为基于Unix socket的窄范围能力委托，实现真正的权限最小化与可组合安全边界。

### [神经科学实验的实时行为分析系统：从大鼠玩DOOM到立体视觉VR](/posts/2025/12/13/real-time-behavior-analysis-neuroscience-vr-systems/)
- 日期: 2025-12-13T07:38:26+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 分析基于虚拟现实的神经科学实验系统架构，探讨低成本DIY方案与商业级系统的实时行为分析参数、监控要点与工程化实施清单。

### [用C实现微型VM沙箱：Rust、Zig、C跨语言互操作的内存隔离与ABI适配](/posts/2025/12/13/tiny-vm-sandbox-c-rust-zig-interop-memory-isolation-abi-adaptation/)
- 日期: 2025-12-13T07:04:24+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 分析基于RISC-V的微型VM沙箱uvm32，探讨C、Rust、Zig跨语言互操作的内存隔离机制、syscall ABI适配策略与工程化参数配置。

### [Turso查询优化：预编译语句缓存与索引选择算法](/posts/2025/12/13/turso-query-optimization-prepared-statements-index-selection/)
- 日期: 2025-12-13T06:49:17+08:00
- 分类: [database-systems](/categories/database-systems/)
- 摘要: 深入分析Turso作为进程内SQL数据库的查询优化策略，重点探讨预编译语句缓存、索引选择算法与执行计划优化的工程实现。

### [Tokenization Pipeline架构设计：从字符到语义的工程化转换](/posts/2025/12/13/tokenization-pipeline-architecture-design/)
- 日期: 2025-12-13T06:18:27+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 深入解析tokenization pipeline的四阶段架构设计，涵盖字符规范化、预分词、模型处理和后处理的工程实现与性能优化策略。

### [电子发票安全漏洞：XXE攻击防护与工程化验证架构](/posts/2025/12/13/electronic-invoices-security-vulnerabilities-xxe-protection/)
- 日期: 2025-12-13T06:09:22+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 分析欧盟电子发票标准化中的XML安全风险，提出针对XXE攻击的防护架构与验证工具链安全配置最佳实践。

### [宇宙射线位翻转：航空电子系统的ECC、TMR与软件容错工程实践](/posts/2025/12/13/cosmic-ray-bit-flip-avionics-error-correction-ecc-tmr/)
- 日期: 2025-12-13T06:04:09+08:00
- 分类: [general](/categories/general/)
- 摘要: 分析2025年JetBlue航班因宇宙射线位翻转导致的俯冲事件，探讨航空电子系统的硬件级ECC、三模冗余与软件容错机制的工程实现方案与参数权衡。

### [GNU Unifont位图字体渲染优化：内存布局与跨平台抗锯齿技术](/posts/2025/12/13/unifont-bitmap-font-rendering-optimization-techniques/)
- 日期: 2025-12-13T05:49:21+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 深入分析GNU Unifont 16×16像素位图字体的内存布局优化、跨平台渲染算法，以及在高DPI显示器上的抗锯齿与缩放技术实现。

### [macOS 26.2通过RDMA over Thunderbolt实现AI集群：低延迟通信与分布式推理优化](/posts/2025/12/13/macos-rdma-thunderbolt-ai-clusters/)
- 日期: 2025-12-13T05:39:09+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 分析macOS 26.2中通过Thunderbolt 5实现RDMA over Thunderbolt的AI集群架构，包括Infiniband API、5-9微秒延迟、MLX框架集成与分布式推理负载均衡机制。

### [pg_clickhouse：PostgreSQL到ClickHouse的查询联邦扩展实现](/posts/2025/12/13/pg-clickhouse-postgres-extension-query-federation/)
- 日期: 2025-12-13T05:18:44+08:00
- 分类: [database-systems](/categories/database-systems/)
- 摘要: 分析ClickHouse官方发布的PostgreSQL扩展pg_clickhouse，探讨跨数据库查询联邦、执行计划下推与类型映射的工程实现细节。

### [Windows 3.1 '热狗摊'配色方案：可访问性设计的意外先驱](/posts/2025/12/13/windows-3-1-hot-dog-stand-color-scheme-the-accidental-pioneer-of-accessibility-design/)
- 日期: 2025-12-13T05:04:00+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 深入分析Windows 3.1标志性的'热狗摊'高对比度配色方案，探讨其在16色VGA调色板下的技术实现、对色觉障碍用户的无意价值，以及对现代UI可访问性设计的持久影响。

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