# Hotdry Blog

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

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

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

## 本页文章
### [纯硅4K门电路设计：逻辑综合、时序约束与面积优化的工程实践](/posts/2025/12/21/pure-silicon-4k-gates-fpga-design-logic-synthesis-area-optimization/)
- 日期: 2025-12-21T01:03:55+08:00
- 分类: [hardware-design](/categories/hardware-design/)
- 摘要: 在约4000个逻辑门的极端约束下，探讨无CPU/内存的纯门电路设计，分析触发器面积成本、算法生成替代查找表、以及时序收敛的工程化参数。

### [SSD感知查询处理引擎设计：优化顺序/随机访问与减少FTL开销](/posts/2025/12/21/ssd-aware-query-processing-engine-optimization/)
- 日期: 2025-12-21T00:49:59+08:00
- 分类: [database-systems](/categories/database-systems/)
- 摘要: 针对SSD硬件特性，设计查询处理引擎优化顺序与随机访问模式，减少FTL交互开销与写入放大，提供可落地的工程参数与监控方案。

### [TailwindSQL编译时验证与类型安全：在React Server Components中实现安全SQL查询](/posts/2025/12/21/tailwindsql-compile-time-validation-type-safety-react-server-components/)
- 日期: 2025-12-21T00:21:22+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 探索TailwindSQL如何通过编译时验证和TypeScript类型系统，在React Server Components中实现零运行时SQL注入风险的数据库查询模式。

### [ty类型检查器的类型推断算法：约束求解与统一算法的工程实现](/posts/2025/12/21/ty-type-inference-algorithm-constraint-solving-unification/)
- 日期: 2025-12-21T00:09:28+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 深入分析ty类型检查器的类型推断算法实现，包括约束生成、类型变量统一和泛型实例化的工程细节与性能优化策略。

### [生产级自托管PostgreSQL集群架构：从高可用设计到监控告警的工程实践](/posts/2025/12/21/production-postgresql-self-hosted-cluster-architecture-monitoring-backup-ha/)
- 日期: 2025-12-21T00:04:43+08:00
- 分类: [database-systems](/categories/database-systems/)
- 摘要: 深入解析生产级自托管PostgreSQL集群的完整工程实践，涵盖Patroni+HAProxy高可用架构设计、pgBackRest/Barman备份恢复策略、Prometheus+Grafana监控告警体系，以及关键性能参数与运维清单。

### [NTP时钟同步算法在分布式数据库一致性协议中的工程实现深度解析](/posts/2025/12/20/ntp-clock-sync-algorithms-distributed-databases-consistency/)
- 日期: 2025-12-20T23:50:18+08:00
- 分类: [distributed-systems](/categories/distributed-systems/)
- 摘要: 深入分析NTP核心算法（Marzullo算法、时钟漂移校正、不确定性边界计算）在Spanner、CockroachDB等分布式数据库外部一致性协议中的具体实现与工程参数。

### [构建自动化基准测试框架：量化Gemini 3 Pro与2.5 Pro在Pokemon Crystal中的性能差异](/posts/2025/12/20/building-automated-benchmarking-framework-gemini-3-pro-vs-2-5-pro-pokemon-crystal/)
- 日期: 2025-12-20T23:34:27+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 基于Gemini Plays Pokemon实验，构建可复现的AI模型基准测试框架，量化Gemini 3 Pro与2.5 Pro在游戏环境中的推理延迟、准确率与成本效益，为AI系统评估提供工程化方案。

### [TailwindSQL 在 React Server Components 中的安全实践：编译时验证与运行时防护](/posts/2025/12/20/tailwind-sql-react-server-components-security/)
- 日期: 2025-12-20T23:19:52+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 探讨如何安全地在 React Server Components 中实现类似 TailwindCSS 的 SQL 查询 DSL，重点分析编译时验证机制与运行时安全防护策略。

### [ty Python 类型检查器的 Rust 实现与增量分析架构](/posts/2025/12/20/ty-python-type-checker-rust-implementation-incremental-analysis/)
- 日期: 2025-12-20T23:03:46+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 深入分析 Astral 开发的 ty Python 类型检查器，探讨其基于 Rust 和 Salsa 框架的增量分析架构，以及与 Ruff 共享基础设施的工程实现。

### [针对数据库工作负载的多队列FTL调度算法设计与实现](/posts/2025/12/20/multi-queue-ftl-scheduling-for-database-workloads/)
- 日期: 2025-12-20T22:53:53+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 深入探讨如何为SSD原生数据库设计多队列FTL调度算法，优化混合工作负载下的I/O延迟与写入放大，实现硬件感知的请求优先级与垃圾回收协调。

### [Go自托管编译器在哈希表优化中的内存对齐机制](/posts/2025/12/20/go-self-hosted-compiler-hash-table-optimization-memory-alignment/)
- 日期: 2025-12-20T22:24:45+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 深入分析Go 1.24 Swiss Tables中map[int]struct{}不再节省内存的根本原因，从编译器内存对齐规则与自托管编译器源码可读性角度，提供工程化benchmark方案与优化建议。

### [Charles Proxy 流式 HTTP 拦截与实时响应修改插件工程实践](/posts/2025/12/20/charles-proxy-streaming-interception-plugin/)
- 日期: 2025-12-20T22:19:41+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 深入探讨 Charles Proxy 插件系统架构，实现流式 HTTP 请求拦截、动态规则引擎与 TLS 证书管理的工程化解决方案。

### [Arduino UNO Q：异构计算架构如何桥接高性能计算与实时控制](/posts/2025/12/20/arduino-uno-q-hpc-real-time-control-bridge/)
- 日期: 2025-12-20T22:10:33+08:00
- 分类: [embedded-systems](/categories/embedded-systems/)
- 摘要: 深入分析Arduino UNO Q的异构双核架构设计，探讨其如何通过RPC通信机制实现高性能计算与实时确定性控制的协同工作，并提供实际工程参数与优化建议。

### [可扩展免费认证平台架构设计：从课程目录到区块链证书流水线](/posts/2025/12/20/scalable-free-certification-platform-architecture/)
- 日期: 2025-12-20T22:10:10+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 面向大规模免费认证课程平台，设计微服务架构方案，涵盖课程目录管理、用户进度跟踪与基于区块链的证书生成流水线。

### [Immersa WebGL 3D演示渲染架构：Babylon.js优化与ClojureScript状态管理](/posts/2025/12/20/immersa-webgl-3d-presentation-rendering-architecture/)
- 日期: 2025-12-20T22:05:23+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 深入分析Immersa开源Web 3D演示工具的渲染架构，涵盖Babylon.js性能优化策略、ClojureScript函数式状态管理、实时动画插值算法与IndexedDB本地存储方案。

### [DeepAudit多智能体漏洞挖掘系统：四角色协作与沙箱PoC验证的工程实现](/posts/2025/12/20/deepaudit-multi-agent-vulnerability-mining-engineering-implementation/)
- 日期: 2025-12-20T21:37:42+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 深入解析DeepAudit多智能体漏洞挖掘系统的工程架构，涵盖四角色智能体协作机制、沙箱PoC验证实现、任务调度策略与安全防护要点。

### [Codex Skills委托链验证机制：基于能力令牌的权限传递安全模型](/posts/2025/12/20/codex-skills-delegation-chain-verification/)
- 日期: 2025-12-20T21:21:38+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 针对Codex Skills系统，设计基于能力令牌的委托链验证机制，解决技能间权限传递的安全性与可审计性问题，防止权限提升攻击。

### [半稳定C++向量容器：迭代器稳定性与Epoch设计模式](/posts/2025/12/20/semistable-cpp-vector-container-iterator-stability-epoch-design/)
- 日期: 2025-12-20T21:06:31+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 深入分析semistable::vector的epoch描述符机制，探讨如何在保持连续内存布局的同时提供迭代器稳定性保证，以及性能与线程安全的工程权衡。

### [Awesome Copilot 提示工程工作流集成：MCP Server 配置与团队协作机制](/posts/2025/12/20/awesome-copilot-prompt-engineering-workflow-integration/)
- 日期: 2025-12-20T20:49:38+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 深入分析 Awesome Copilot 的提示工程工作流集成架构，涵盖 MCP Server 配置、多语言模板库、上下文感知提示链与团队协作共享机制。

### [NexaSDK异构硬件推理优化：内存分配、算子调度与跨硬件协调的工程实践](/posts/2025/12/20/nexa-sdk-multi-hardware-inference-optimization-strategies/)
- 日期: 2025-12-20T20:20:48+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 深入分析NexaSDK在GPU/NPU/CPU异构硬件上的推理优化策略，包括内核级统一架构设计、内存分配机制、算子调度算法与跨硬件计算协调的工程实现细节。

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