# Hotdry Blog

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

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

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

## 本页文章
### [FlashAttention的Triton性能考古学：从v1到v2的GPU内核演进分析](/posts/2025/12/24/flash-attention-triton-performance-archaeology/)
- 日期: 2025-12-24T18:34:01+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 通过Triton重写FlashAttention，深入分析其性能演进历史与架构优化策略，实现GPU内核性能考古学。

### [设计CycloneDX与SPDX格式间的双向映射算法](/posts/2025/12/24/cyclone-dx-spdx-bidirectional-mapping-algorithm/)
- 日期: 2025-12-24T18:19:51+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 深入探讨CycloneDX与SPDX格式间的双向映射算法设计，解决语义差异、字段丢失与依赖关系图重建的工程挑战。

### [自动化割草机的计算机视觉路径规划：从传感器融合到安全避障](/posts/2025/12/24/computer-vision-path-planning-for-automated-lawn-mowers/)
- 日期: 2025-12-24T18:09:15+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 深入分析自动化割草机的计算机视觉系统架构、多传感器融合定位、路径规划算法选择，以及障碍物检测与避让的工程化实现方案。

### [不要成为机器：从哲学到可操作的工程原则与工具实现](/posts/2025/12/24/dont-become-machine-engineering-principles/)
- 日期: 2025-12-24T18:05:26+08:00
- 分类: [ai-engineering](/categories/ai-engineering/)
- 摘要: 将'不要成为机器'的哲学转化为具体的工程原则、基于人类决策模式的代码审查检查表，以及解放工程师创造力的自动化工具实现。

### [构建可量化的技术决策框架：评估高级工程师的技术领导力](/posts/2025/12/24/senior-engineer-technical-decision-framework-quantifiable-metrics/)
- 日期: 2025-12-24T17:51:34+08:00
- 分类: [ai-engineering](/categories/ai-engineering/)
- 摘要: 通过代码审查贡献、架构影响力和故障预防指标构建量化框架，系统评估高级工程师的技术领导力与职业成长路径。

### [基于Nix的RISC-V嵌入式交叉编译工具链与内存布局优化](/posts/2025/12/24/nix-riscv-embedded-cross-compiler-memory-layout-linker-script/)
- 日期: 2025-12-24T17:34:24+08:00
- 分类: [embedded-systems](/categories/embedded-systems/)
- 摘要: 针对RISC-V嵌入式系统，构建基于Nix的可重复交叉编译工具链，结合链接器脚本优化内存布局，实现特定硬件目标的二进制生成与验证。

### [Tonbo嵌入式数据库存储引擎设计：Serverless与边缘计算的内存约束优化](/posts/2025/12/24/tonbo-embedded-database-storage-engine-serverless-edge/)
- 日期: 2025-12-24T17:18:33+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 针对serverless冷启动延迟与边缘设备内存约束，分析Tonbo嵌入式数据库的存储引擎架构、合并树设计与查询优化策略。

### [Knuth与van Emde Boas关于优先双端队列的通信分析：数据结构设计思想与历史脉络](/posts/2025/12/24/knuth-van-emde-boas-priority-deque-correspondence-analysis/)
- 日期: 2025-12-24T17:07:09+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 深入分析1977年Knuth与van Emde Boas关于优先双端队列的通信，探讨数据结构设计思想、工程实现启示与优先队列演化的历史脉络。

### [使用Nix构建自定义交叉编译器工具链：从三平台模型到可重现构建](/posts/2025/12/24/custom-cross-compiler-nix-toolchain/)
- 日期: 2025-12-24T16:53:15+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 深入解析Nix交叉编译的三平台模型，提供构建自定义交叉编译器工具链的完整参数配置与监控要点，实现多架构目标编译环境的一致性与可重现性。

### [OCR模式匹配算法优化：从Epstein文件涂黑失败看文本恢复技术](/posts/2025/12/24/ocr-pattern-matching-redaction-recovery-epstein-files/)
- 日期: 2025-12-24T16:36:55+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 基于Epstein文件涂黑失败案例，深入分析OCR模式匹配算法优化策略，结合字符概率模型与上下文推断实现高精度文本重建。

### [MicroQuickJS JIT编译性能优化：嵌入式JavaScript引擎的分层编译策略](/posts/2025/12/24/microquickjs-jit-compilation-performance-optimization-embedded-javascript/)
- 日期: 2025-12-24T16:20:08+08:00
- 分类: [embedded-systems](/categories/embedded-systems/)
- 摘要: 针对Fabrice Bellard发布的MicroQuickJS嵌入式JavaScript引擎，分析其编译架构特点，探讨在内存受限环境下实现JIT分层编译的策略，包括热点代码检测、自适应编译阈值与实时性能优化方案。

### [vLLM-Omni跨模态注意力内存共享优化：动态内存池与权重复用](/posts/2025/12/24/vllm-omni-cross-modal-memory-sharing-optimization/)
- 日期: 2025-12-24T16:04:02+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 针对全模态模型推理的内存瓶颈，深入分析vLLM-Omni的跨模态注意力内存共享机制，提供动态内存池配置与注意力权重复用的工程化参数。

### [iA Presenter图表功能：实时数据绑定与响应式渲染的工程实践](/posts/2025/12/24/ia-presenter-charts-data-binding-rendering/)
- 日期: 2025-12-24T15:19:16+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 深入分析iA Presenter新图表功能的实时数据绑定机制、响应式渲染策略，以及如何在限制中实现最佳用户体验的Web组件化架构。

### [BLOOM动态场景生成算法实现：基于LLM提示工程与行为特征提取](/posts/2025/12/24/bloom-dynamic-scenario-generation-algorithm-implementation/)
- 日期: 2025-12-24T15:05:41+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 深入解析BLOOM框架中的动态评估场景生成算法，从LLM提示工程到行为特征提取，构建可配置的实时行为量化系统。

### [Epstein文件Redaction Bypass技术实现分析：从Photoshop技巧到PDF安全工程](/posts/2025/12/24/epstein-files-redaction-bypass-technical-implementation-analysis/)
- 日期: 2025-12-24T14:48:54+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 深入分析Epstein文件中redaction bypass的具体技术实现，包括Photoshop技巧、文本高亮提取、PDF文件格式漏洞，并提供工程化的检测与防护方案。

### [构建实时流体排版引擎：CSS变量与视口单位的工程化实践](/posts/2025/12/24/interactive-fluid-typography-engine-css-variables-viewport-optimization/)
- 日期: 2025-12-24T14:35:19+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 深入探讨基于CSS自定义属性与视口单位的实时流体排版引擎实现，涵盖动态断点检测、平滑过渡算法与性能优化策略，提供可落地的工程化参数配置方案。

### [单用户软件中的增量学习与行为预测：处理数据稀疏性与实时个性化配置](/posts/2025/12/24/incremental-learning-behavior-prediction-single-user-software/)
- 日期: 2025-12-24T14:25:59+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 探讨单用户软件中实现增量学习与行为预测模型的技术方案，重点分析数据稀疏性处理、实时个性化配置调整，以及双重层次漂移适应框架的应用。

### [单用户软件的实时个性化配置引擎与自适应UI渲染架构](/posts/2025/12/24/single-user-real-time-personalization-engine-adaptive-ui/)
- 日期: 2025-12-24T14:09:32+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 面向单用户软件场景，设计实现实时个性化配置引擎与自适应UI渲染架构，支持用户行为模式学习与动态界面调整，构建完全个性化的软件体验。

### [在Lean4中形式化验证随机化MaxCut近似算法的性能边界](/posts/2025/12/24/lean4-formal-verification-randomized-maxcut-approximation-proof/)
- 日期: 2025-12-24T13:50:28+08:00
- 分类: [general](/categories/general/)
- 摘要: 深入探讨如何在Lean4证明助手环境中形式化验证随机化MaxCut近似算法的0.5近似比保证，实现从算法描述到机器可验证证明的完整工程化流程。

### [Waymo自动驾驶系统在PG&E停电期间的容错设计与实时决策优化](/posts/2025/12/24/waymo-autonomous-navigation-outage-lessons-pge/)
- 日期: 2025-12-24T13:34:44+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 分析Waymo自动驾驶系统在PG&E大规模停电期间的容错机制、确认请求瓶颈，以及针对基础设施故障场景的工程化解决方案与参数调优。

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