# Hotdry Blog

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

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

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

## 本页文章
### [2比特单元优化：布隆过滤器准确率提升50%的工程实践](/posts/2026/02/22/two-bit-cell-bloom-filter-optimization/)
- 日期: 2026-02-22T00:00:00+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 通过将布隆过滤器的单比特单元替换为2比特结构，在相同内存占用下实现假阳性率减半的工程实现方案。

### [Lean 4 内核解析：依赖类型论与证明检查器工作机制](/posts/2026/02/21/lean-4-kernel-dependent-type-theory/)
- 日期: 2026-02-21T23:32:51+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 Lean 4 定理证明器的核心架构：依赖类型论形式化基础、内核证明检查器的判定过程、tactics 自动化引擎的元编程设计，以及函数式编程范式在其中的系统性应用。

### [生产环境 LLM 工程实践：提示词优化、微调与部署模式](/posts/2026/02/21/production-llm-engineering-patterns/)
- 日期: 2026-02-21T23:21:15+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 深入 O'Reilly 畅销书工程实践，解析生产环境提示词优化、微调策略与部署模式，提供可落地的参数配置与监控要点。

### [用 uBlock Origin 屏蔽 AI 内容农场：识别模式与实操参数](/posts/2026/02/21/ai-ublock-blacklist-content-farms/)
- 日期: 2026-02-21T23:04:24+08:00
- 分类: [security](/categories/security/)
- 摘要: 详解 AI 内容农场的识别特征、uBlock Origin 过滤规则参数及多层级屏蔽方案。

### [macOS Seatbelt 命令行沙箱工具使用指南与工程权衡](/posts/2026/02/21/macos-seatbelt-command-line-sandboxing/)
- 日期: 2026-02-21T22:47:03+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 深入解析 sandbox-exec 的配置文件语法、两种沙箱策略及与 Firecracker、gVisor 等现代隔离方案的工程权衡。

### [Sing-box 配置解析引擎：JSON Schema 验证与流量分拣规则引擎设计](/posts/2026/02/21/sing-box-configuration-parser-rules-engine/)
- 日期: 2026-02-21T22:36:24+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 深入解析 Sing-box 配置解析引擎的工程实现，涵盖 JSON Schema 验证、声明式多协议配置与流量分拣规则引擎的设计要点与落地参数。

### [大语言模型推理失败模式Catalog：系统性分类与生产环境根因分析](/posts/2026/02/21/llm-reasoning-failures-catalog/)
- 日期: 2026-02-21T22:17:40+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 从工程视角系统性梳理大语言模型推理失败的两维分类体系，剖析各类失败模式的触发条件与生产环境根因，提供可落地的调试参数与监控清单。

### [OAuth 2.0 四种授权模式技术对比与安全选型指南](/posts/2026/02/21/oauth-2-grant-types-comparison/)
- 日期: 2026-02-21T22:02:57+08:00
- 分类: [security](/categories/security/)
- 摘要: 深入对比 Authorization Code、Implicit、Client Credentials 与 Resource Owner Password Credentials 四种授权模式的技术差异，为工程实现中的选型提供可落地参数与安全建议。

### [最小化 Git 仓库同步：Bare Repository 原子操作实践](/posts/2026/02/21/minimal-git-bare-repo-sync/)
- 日期: 2026-02-21T21:46:14+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 剖析 git 仓库同步的最小必要条件，聚焦轻量级复制协议与原子性问题，给出 bare repository 的工程化参数与监控要点。

### [PowerShell 跨平台架构演进：从 Windows专有到 PSCore 的工程实践](/posts/2026/02/21/powershell-cross-platform-architecture-evolution/)
- 日期: 2026-02-21T21:36:26+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 解析 PowerShell 从 Windows专有到跨平台 PSCore 的架构演进，涵盖 .NET Core 移植、平台抽象层与模块兼容性设计，为开发者提供可落地的迁移参数与监控要点。

### [生产级LLM推理失败检测系统：基于分类学的运行时模式识别与降级策略](/posts/2026/02/21/production-llm-reasoning-failure-detection/)
- 日期: 2026-02-21T21:21:20+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 面向生产环境，构建基于论文《Large Language Model Reasoning Failures》分类法的LLM推理失败实时检测与自动降级系统，提供可落地的工程参数与监控阈值。

### [Hugging Face Skills：AI 智能体能力描述的标准化格式与工程实践](/posts/2026/02/21/hugging-face-skills-agent-capability-standardization/)
- 日期: 2026-02-21T20:47:49+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 深入解析 Hugging Face Skills 格式，探讨如何通过标准化描述层实现 AI 智能体的工具能力封装与跨平台工作流集成。

### [Stremio Web 客户端流媒体架构：去中心化 addon 系统与渲染管线](/posts/2026/02/21/stremio-web-streaming-architecture/)
- 日期: 2026-02-21T20:32:11+08:00
- 分类: [web](/categories/web/)
- 摘要: 深入解析 Stremio Web 的前端架构设计，涵盖去中心化 addon 协议、BitTorrent 流媒体渲染管线与缓存策略等核心技术点。

### [Coccinelle 语义补丁与 Linux 内核源码级自动化重构指南](/posts/2026/02/21/coccinelle-semantic-patch-linux-kernel/)
- 日期: 2026-02-21T20:22:04+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 Coccinelle 语义补丁语言 SmPL 与 SPatch 工具，揭示 Linux 内核跨文件自动化重构的工程实践与关键参数。

### [GGML零拷贝内存模型与静态计算图架构设计解析](/posts/2026/02/21/ggml-zero-copy-memory-model/)
- 日期: 2026-02-21T20:06:35+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 深入解析GGML C++张量计算库的底层架构设计：arena内存池、零运行时分配策略、静态DAG计算图调度机制。

### [Meta推荐系统架构挑战：规模困境与技术权衡深度剖析](/posts/2026/02/21/meta-recommendation-system-architecture-challenges/)
- 日期: 2026-02-21T19:48:49+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 从Meta大规模社交平台工程视角，深入剖析推荐系统、社交图谱基础设施在容量、延迟、实验规模和硬件利用方面的技术决策局限与架构挑战。

### [浏览器端零服务器代码知识图谱：GitNexus 技术架构与工程实践](/posts/2026/02/21/browser-based-zero-server-code-knowledge-graph-gitnexus/)
- 日期: 2026-02-21T19:32:26+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 深入解析 GitNexus 如何在浏览器中利用 Tree-sitter WASM 与 KuzuDB WASM 构建零服务器代码知识图谱引擎，实现交互式代码关系图与 Graph RAG 智能问答。

### [Lean 4定理证明器架构解析：面向AI代码验证的工程优势与实践](/posts/2026/02/21/lean-4-theorem-prover-architecture-ai-verification/)
- 日期: 2026-02-21T19:17:55+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析Lean 4的核心理架构——从依赖类型理论内核到元编程层——探讨其在AI代码验证与形式化方法中的工程优势与实践路径。

### [Trunk Based Development 分支策略：短生命周期分支、特性开关与持续集成的技术权衡](/posts/2026/02/21/trunk-based-development-branch-strategy-feature-flags-ci-cd/)
- 日期: 2026-02-21T19:05:41+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 分析工程团队采用基于主干的开发模式时的分支策略决策，涵盖短生命周期分支的管理规范、特性开关的工程化实践以及持续集成的技术保障要点。

### [C++17 std::shared_mutex 读者-写者锁解析与性能权衡](/posts/2026/02/21/cpp17-shared-mutex-readers-writer-lock/)
- 日期: 2026-02-21T18:47:18+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 深入解析 C++17 标准库中的 std::shared_mutex，阐述读者-写者锁模式的设计原理、API 用法及工程实践中的性能权衡要点。

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