# Hotdry Blog

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

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

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

## 本页文章
### [构建透明密钥服务器：可审计公钥基础设施的工程实现](/posts/2025/12/19/transparent-keyserver-tlog-implementation/)
- 日期: 2025-12-19T23:35:00+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 通过透明日志技术实现可审计的密钥服务器，结合VRF隐私保护、防污染哈希与见证网络，在500行代码内构建可信的公钥分发系统。

### [Lean 4交互式证明环境的工程实现：LSP架构、增量类型检查与内存管理](/posts/2025/12/19/lean4-interactive-proof-environment-lsp-architecture/)
- 日期: 2025-12-19T23:19:31+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 深入分析Lean 4交互式证明环境的工程实现，包括LSP服务器架构、增量类型检查、内存管理与响应式UI的优化策略。

### [Hatchet持久化执行的编程模型设计：从普通函数到可恢复任务](/posts/2025/12/19/hatchet-durable-execution-programming-model-api-design/)
- 日期: 2025-12-19T23:04:30+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 深入分析Hatchet如何通过API设计将普通函数转换为可恢复的持久化函数，探讨状态序列化、确定性要求与开发者体验的最佳实践。

### [构建自动化机器学习Cheatsheets生成与验证系统](/posts/2025/12/19/automated-ml-cheatsheet-generation-validation-system/)
- 日期: 2025-12-19T22:49:02+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 针对Stanford CS 229等机器学习课程，设计自动化cheatsheets生成系统，实现内容同步、公式验证与交互式示例生成。

### [Stepped Actions：Rails应用的分布式工作流编排引擎设计与实现](/posts/2025/12/19/stepped-actions-distributed-workflow-orchestration-rails/)
- 日期: 2025-12-19T22:34:42+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 深入分析Stepped Actions作为Rails专用分布式工作流编排引擎的架构设计，涵盖状态持久化、故障恢复与水平扩展的工程实现细节。

### [Metabase嵌入式分析组件的权限隔离、数据沙箱与多租户查询优化架构](/posts/2025/12/19/metabase-embedded-analytics-security-multi-tenant-optimization/)
- 日期: 2025-12-19T22:21:46+08:00
- 分类: [embedded-systems](/categories/embedded-systems/)
- 摘要: 深入解析Metabase嵌入式分析在第三方集成中的安全架构设计，涵盖数据沙箱权限隔离、多租户查询优化与JWT/SAML安全集成实践。

### [构建自动化payload分类与验证系统：智能检索、上下文感知匹配与实时有效性验证](/posts/2025/12/19/automated-payload-classification-validation-system/)
- 日期: 2025-12-19T22:13:04+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 针对PayloadsAllTheThings等安全payload库，设计自动化分类体系与验证系统，实现智能检索、上下文感知匹配和实时有效性验证，提升安全测试效率。

### [历史文本字符编码归一化流水线：Unicode规范化与时间上下文嵌入](/posts/2025/12/19/historical-text-character-encoding-normalization-temporal-context/)
- 日期: 2025-12-19T22:04:39+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 针对历史文本LLM训练，设计字符编码归一化流水线，处理多语言古文字符集，通过Unicode规范化与时间上下文嵌入保持语义连贯性，优化模型对历史文献的理解能力。

### [Hatchet持久化执行引擎：事件溯源与检查点机制的设计实践](/posts/2025/12/19/hatchet-durable-execution-engine-event-sourcing-checkpoint-design/)
- 日期: 2025-12-19T21:49:25+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 深入探讨基于事件溯源与检查点机制的持久化执行引擎设计，分析Hatchet在长时间运行任务状态持久化与故障恢复方面的工程实现。

### [基于Embedding的语义相似性检测与模糊匹配：提升Prompt缓存命中率的关键机制](/posts/2025/12/19/semantic-similarity-fuzzy-matching-prompt-caching/)
- 日期: 2025-12-19T21:35:36+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 深入解析如何通过embedding向量化与余弦相似度计算，设计智能的模糊匹配机制来识别语义相似的prompt，将AI成本降低80%并显著提升缓存命中率。

### [EXO：构建基于日常设备的家庭AI集群，实现VRAM池化与分布式推理](/posts/2025/12/19/home-ai-cluster-device-pooling-exo/)
- 日期: 2025-12-19T21:22:45+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 深入解析EXO项目如何将手机、电脑、手表等日常设备构建为分布式AI集群，实现设备间VRAM/算力池化、任务调度与容错恢复机制。

### [Go+Next.js B2B SaaS启动器的多云部署架构与成本优化策略](/posts/2025/12/19/go-nextjs-saas-multi-cloud-deployment-architecture/)
- 日期: 2025-12-19T21:07:11+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 深入分析基于Go+Next.js的B2B SaaS启动器如何实现AWS/GCP/Azure/本地部署的无缝切换，提供多云架构设计、成本优化与工程化落地方案。

### [Mullvad GotaTun：Rust重写WireGuard的内存安全与性能工程权衡](/posts/2025/12/19/gotatun-wireguard-rust-implementation-memory-safety-performance/)
- 日期: 2025-12-19T20:48:48+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 深入分析Mullvad VPN从wireguard-go迁移到Rust实现GotaTun的技术决策，对比C、Go、Rust在VPN内核模块开发中的内存安全、并发模型与性能权衡。

### [Axe语言泛型实现：类型擦除与单态化编译策略的工程权衡](/posts/2025/12/19/axe-generics-type-erasure-monomorphization-comparison/)
- 日期: 2025-12-19T20:33:49+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 深入分析Axe编程语言的泛型实现机制，对比类型擦除与单态化两种编译策略的性能影响、内存开销及工程选型指南。

### [CommerceTXT：AI购物上下文标准的架构设计与工程实现](/posts/2025/12/19/commercetxt-ai-shopping-context-standard-architecture/)
- 日期: 2025-12-19T20:25:04+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 深入解析CommerceTXT开放标准的架构规范，包括分形结构设计、核心指令定义、与现有电商平台和AI代理的集成接口实现方案。

### [Google ADK-JS TypeScript AI代理工具包的代码优先架构解析](/posts/2025/12/19/google-adk-js-typescript-ai-agents-code-first-architecture/)
- 日期: 2025-12-19T20:09:43+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 深入分析Google ADK-JS TypeScript AI代理工具包的代码优先架构设计，重点解析其评估框架、部署控制机制与TypeScript类型安全工程实践。

### [PentestGPT：构建基于GPT的AI辅助渗透测试工具链架构](/posts/2025/12/19/pentestgpt-ai-assisted-penetration-testing-toolchain-architecture/)
- 日期: 2025-12-19T19:50:15+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 深入解析PentestGPT的Docker-first架构、多模型支持与基准测试框架，探讨AI辅助渗透测试的工程化实践与风险考量。

### [Amazon KDP DRM-free电子书格式转换与批量分发系统架构](/posts/2025/12/19/amazon-kdp-drm-free-ebook-format-conversion-distribution-system/)
- 日期: 2025-12-19T19:35:13+08:00
- 分类: [web-architecture](/categories/web-architecture/)
- 摘要: 面向2026年Amazon KDP DRM-free政策变化，构建支持ePub/PDF自动转换、版权验证与全球CDN分发的完整技术架构。

### [Mini-SGLang的KV缓存复用与重叠调度：轻量级推理引擎的优化架构](/posts/2025/12/19/mini-sglang-kv-cache-reuse-overlap-scheduling-optimization/)
- 日期: 2025-12-19T19:18:59+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 深入分析Mini-SGLang的Radix Cache KV缓存复用机制与Overlap Scheduling重叠调度策略，探讨轻量级LLM推理引擎的核心优化架构设计。

### [被动激光雷达检测器硬件架构与安全分析](/posts/2025/12/19/passive-lidar-detector-hardware-security-analysis/)
- 日期: 2025-12-19T18:49:36+08:00
- 分类: [hardware-design](/categories/hardware-design/)
- 摘要: 针对iPhone TrueDepth系统的被动激光雷达检测器硬件设计，分析940nm红外信号检测、多传感器阵列架构与反检测规避技术，构建可落地的安全监控原型。

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