# Hotdry Blog

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

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

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

## 本页文章
### [ESP32 888KB AI 助手：极端内存约束下的本地模型推理工程实践](/posts/2026/02/22/esp32-ultra-compact-ai-assistant/)
- 日期: 2026-02-22T04:16:58+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 以 zclaw 项目为例，探讨在 ESP32 平台上将固件压缩至 888KB 以内并实现本地 AI 助手功能的关键工程技术与内存管理策略。

### [单头文件 2D 光栅化器 Canvas_ity 的架构设计与实现取舍](/posts/2026/02/22/canvas_ity-header-only-2d-rasterizer/)
- 日期: 2026-02-22T04:07:10+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 解析 Canvas_ity 如何在单头文件中实现完整 W3C Canvas 兼容的 2D 渲染能力，探讨轻量级渲染中间件在质量、便携性与性能之间的工程决策。

### [推理完整性证明：如何用加密验证阻止供应商隐瞒模型量化状态](/posts/2026/02/22/inference-model-integrity-attestation/)
- 日期: 2026-02-22T04:02:07+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 通过 Tinfoil 的三层验证架构，从硬件可信执行环境到模型权重只读存储，构建可证明的推理完整性链路。

### [Invisible Types, Safe Ownership, and Algebraic Effects in Loon Language](/posts/2026/02/22/invisible-types-safe-ownership-algebraic-effects-loon/)
- 日期: 2026-02-22T03:47:38+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析 Loon 函数式语言的 invisible types、safe ownership 与 algebraic effects 三大特性，探讨运行时安全与表达力的平衡设计。

### [Cloudflare 2026年2月20日 outage 技术根因与 CDN 容错设计分析](/posts/2026/02/22/cloudflare-feb-2026-outage-analysis/)
- 日期: 2026-02-22T03:31:12+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 深入分析 Cloudflare BYOIP 服务的 BGP 前缀撤回事件，探讨大规模 CDN 基础设施的配置变更管控与故障恢复策略。

### [从数据到体验：Meta 平台内容质量崩塌的工程根因分析](/posts/2026/02/22/facebook-platform-decline-analysis/)
- 日期: 2026-02-22T03:17:56+08:00
- 分类: [web](/categories/web/)
- 摘要: 通过一个真实用户时隔八年回归 Facebook 的体验切片，剖析推荐算法优化目标偏移如何导致社交网络内容生态的系统性退化。

### [90年代拨号上网的工程体验：从调制解调器音频到现代网络差异](/posts/2026/02/22/dialup-modem-engineering-experience/)
- 日期: 2026-02-22T03:03:49+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 深入解析56k调制解调器的工作原理、连接协议与怀旧技术体验，对比现代网络的关键差异。

### [全自动渗透测试智能体系统 PentAGI 的多智能体协调架构解析](/posts/2026/02/22/pentagi-autonomous-penetration-testing-architecture/)
- 日期: 2026-02-22T02:46:18+08:00
- 分类: [security](/categories/security/)
- 摘要: 深入解析 PentAGI 如何通过多智能体协调、知识图谱集成与智能上下文管理实现全自动渗透测试的工程实践。

### [低功耗嵌入式系统的 Permacomputing 实践：能量采集与可持续设计路径](/posts/2026/02/22/permacomputing-low-power-embedded-systems/)
- 日期: 2026-02-22T02:32:37+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 探索 Permacomputing 范式在低功耗嵌入式硬件上的工程实现，从能量采集架构到间歇计算固件模式的具体技术路径。

### [工程人员安全审查表格填写指南：应避免的表述与常见错误](/posts/2026/02/22/security-clearance-form-tips-engineers/)
- 日期: 2026-02-22T02:16:45+08:00
- 分类: [security](/categories/security/)
- 摘要: 针对政府合同安全审查表格（SF-86/eQIP）的填写技巧，解析常见表述陷阱与审查延误风险，帮助工程人员一次性通过安全审查。

### [Rust 重写 Wolfenstein 3D：内存安全改造与性能优化实践](/posts/2026/02/22/rust-rewrites-wolfenstein-3d-memory-safety-optimization/)
- 日期: 2026-02-22T02:02:37+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 基于 iron-wolf 项目探讨 Rust 源码级移植经典游戏引擎的内存安全管理策略与性能调优方法。

### [安全研究员收到律师函后的应对策略与法律边界](/posts/2026/02/22/security-researcher-legal-threat-response/)
- 日期: 2026-02-22T01:47:44+08:00
- 分类: [security](/categories/security/)
- 摘要: 通过德国安全研究员Yannick Dixken的真实案例，分析漏洞披露过程中法律风险的识别、应对与防御要点。

### [CIA 泄露文档中的 Git 分支清理命令：设计意图与工程实践](/posts/2026/02/22/cia-leaked-git-one-liner-branch-cleanup/)
- 日期: 2026-02-22T01:32:35+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 分析 CIA 内部开发者文档中泄露的 Git 单行命令，解析其设计思想与规模化项目中的工程化实践参数。

### [macOS Seatbelt沙箱在AI Agent执行隔离中的工程实践](/posts/2026/02/22/macos-seatbelt-sandbox-ai-agent-execution-isolation/)
- 日期: 2026-02-22T01:20:20+08:00
- 分类: [security](/categories/security/)
- 摘要: 解析Seatbelt沙箱约束在AI Agent多轮对话隔离中的工程实践，聚焦进程级安全边界与LLM工具调用风险控制的关键参数。

### [CXMT DRAM定价策略分析：以低于市场价50%抢占市场的深层逻辑与供应链影响](/posts/2026/02/22/cxmt-dram-pricing-strategy-50-percent-market-price/)
- 日期: 2026-02-22T00:48:45+08:00
- 分类: [systems](/categories/systems/)
- 摘要: 分析中国CXMT如何以约50%市场价销售DDR4，探讨其定价策略背后的国家支持、产能扩张逻辑，及对全球存储器供应链的深远影响。

### [GitNexus：纯浏览器端代码知识图谱与 Graph RAG 的实现架构](/posts/2026/02/22/gitnexus-client-side-knowledge-graph/)
- 日期: 2026-02-22T00:31:06+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 解析 GitNexus 如何在浏览器中实现零服务端的代码知识图谱构建与 Graph RAG 代理，涵盖 WebAssembly 图数据库、混合检索与隐私优先架构。

### [深入 Lean 4 定理证明器内核架构：依赖类型理论与战术引擎详解](/posts/2026/02/22/lean-4-theorem-prover-kernel-architecture/)
- 日期: 2026-02-22T00:17:59+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 剖析 Lean 4 定理证明器的三层架构设计，详解核心依赖类型理论实现、战术引擎的元编程框架与 AI 验证系统的工程实践。

### [本地 AI 推理的平台化赌注：GGML 加入 Hugging Face 的工程动因与长期可持续性分析](/posts/2026/02/22/local-ai-inference-platformization-ggml-huggingface/)
- 日期: 2026-02-22T00:01:35+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 从工程视角剖析 GGML 团队加入 Hugging Face 的核心动机，探讨本地 AI 推理生态如何通过平台化实现资源可持续与技术长期演进。

### [Loon 隐形类型系统、安全所有权与代数效应的设计解析](/posts/2026/02/22/loon-invisible-types-safe-ownership-algebraic-effects/)
- 日期: 2026-02-22T00:00:00+08:00
- 分类: [compilers](/categories/compilers/)
- 摘要: 深入解析新型函数式语言 Loon 如何通过 Hindley-Milner 推断实现隐形类型、编译器驱动的安全所有权以及代数效应统一 IO、错误与状态。

### [1988年安全审查表格填写禁忌与历史演变工程伦理启示](/posts/2026/02/22/security-clearance-form-1988-historical-analysis/)
- 日期: 2026-02-22T00:00:00+08:00
- 分类: [security](/categories/security/)
- 摘要: 通过考古1988年前后的安全审查表格填写禁忌，对比现代安全审查制度的演变，提炼工程伦理实践的核心原则与可操作参数。

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