# Hotdry Blog

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

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

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

## 本页文章
### [用 Chrome Kiosk 模式和 Ozone/Wayland 后端替代窗口管理器](/posts/2025/12/01/chrome-as-window-manager-kiosk-ozone-wayland/)
- 日期: 2025-12-01T12:18:07+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 利用 Chrome kiosk 模式、Ozone/Wayland 后端及扩展，实现平铺布局、服务器端渲染和输入处理的 WM 替换，提供启动参数、扩展清单和监控要点。

### [M5 iPad Pro 神经引擎矩阵加速器剖析：低功耗设备端 LLM/视觉推理基准与统一内存优化](/posts/2025/12/01/profiling-m5-ipad-pro-neural-engine-matrix-accelerators-for-low-power-on-device-llm-vision-inference/)
- 日期: 2025-12-01T12:08:53+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 剖析 M5 Neural Engine 与 GPU 神经加速器架构，结合 153GB/s 统一内存，提供低功耗 LLM 首次 token 响应 3.6 倍加速及视觉任务实时基准参数。

### [复用4300+ n8n模板组装no-code Agentic AI工作流：SQLite搜索与Docker部署](/posts/2025/12/01/reusing-4300-n8n-templates-for-no-code-agentic-ai-workflows/)
- 日期: 2025-12-01T12:02:53+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 基于n8n-workflows项目，给出模板复用、agentic pipeline组装的工程参数、搜索优化与生产部署要点。

### [从 GitHub 迁移到 Codeberg：设置镜像、移植 Actions 到 Forgejo CI、基于 API 的 Issue/PR 转移](/posts/2025/12/01/github-to-codeberg-migration/)
- 日期: 2025-12-01T11:49:15+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 从 GitHub 迁移仓库到 Codeberg 的工程化指南：一键仓库迁移、双向镜像同步、Actions 移植到 Forgejo CI、Issue/PR API 转移及认证要点。

### [自杀无人机攻击下手机韧性工程：EMP屏蔽与冗余天线设计](/posts/2025/12/01/engineering-resilient-phones-against-suicide-drone-strikes-emp-shielding/)
- 日期: 2025-12-01T11:32:56+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 针对自杀无人机EMP打击，设计手机EMP屏蔽、冗余天线、备份电源及快速恢复机制，提供工程参数与落地清单。

### [AI 在 Lean4 中形式化 Erdős 问题 #124 证明：提示工程与验证管道实践](/posts/2025/12/01/ai-formalizes-erdos-124-proof-in-lean4/)
- 日期: 2025-12-01T11:18:46+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 详解 AI 系统利用提示工程在 Lean4 中生成并验证 Erdős #124 证明的关键参数、监控点与工程化实践。

### [LLVM-MOS：6502 Clang 后端的 IR 降低与内联展开优化](/posts/2025/12/01/llvm-mos-6502-clang-backend/)
- 日期: 2025-12-01T11:04:31+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 针对 MOS 6502 的 LLVM fork 后端，详解 IR 降低策略、内联/展开参数，以及复古嵌入式 C/Rust 编译清单。

### [内核音频驱动恶意软件逆向：无声麦克风录制与C2外传机制](/posts/2025/12/01/reverse-engineering-kernel-audio-driver-malware-silent-mic-recording/)
- 日期: 2025-12-01T10:50:01+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 剖析内核态音频驱动恶意软件如何hook麦克风API实现无声录制，并通过C2通道隐秘外传数据，提供逆向要点与防护参数。

### [LCF风格元语言驱动硬件验证：HOL与Viper微处理器形式证明](/posts/2025/12/01/lcf-style-metalanguage-for-hardware-verification-hol-viper/)
- 日期: 2025-12-01T10:32:45+08:00
- 分类: [general](/categories/general/)
- 摘要: 基于Mike Gordon的LCF到HOL演进，介绍元语言tactics实现交互式硬件形式验证，详解Viper微处理器分层证明工程参数与监控要点。

### [LLVM-MOS：为6502八位系统带来现代C/C++工具链](/posts/2025/12/01/llvm-mos-for-6502-systems/)
- 日期: 2025-12-01T10:20:54+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: llvm-mos 是 LLVM/Clang 分支，针对 MOS 6502 优化，支持 C99/C++11 在 Commodore 64、NES 等复古平台上的开发，提供安装指南、优化参数和多平台清单。

### [SQLite FTS5 + Docker API 实现 n8n 工作流模板的毫秒级全文搜索](/posts/2025/12/01/sqlite-fts5-docker-api-for-n8n-workflows-search/)
- 日期: 2025-12-01T10:09:05+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 基于 Zie619/n8n-workflows，利用 SQLite FTS5 构建高效搜索索引，通过 Docker FastAPI 暴露 REST 接口，实现 4300+ n8n JSON 模板的动态查询与导出，支持 agentic AI/ETL 管道复用，延迟 <100ms。

### [LightRAG 双图查询融合：学习权重蒸馏与低资源RAG工程](/posts/2025/12/01/lightrag-dual-graph-query-fusion/)
- 日期: 2025-12-01T10:04:25+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: LightRAG双图索引与查询融合工程参数，含低资源蒸馏部署要点，实现低资源快速RAG pipeline。

### [Docker Compose 可重现系统管理员挑战环境：故障注入与调试工作流](/posts/2025/12/01/docker-compose-for-reproducible-sysadmin-challenges/)
- 日期: 2025-12-01T09:48:07+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 借鉴 SadServers 项目，用 Docker Compose 构建注入故障的 sysadmin 训练环境，支持 Prometheus 指标收集和自动化调试脚本，实现高效故障排除练习。

### [Tracy 多线程性能剖析器：基于 MPSC 队列的吞吐量优化](/posts/2025/12/01/tracy-multi-thread-profiler-mpsc-throughput-optimization/)
- 日期: 2025-12-01T09:32:37+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 利用无锁 MPSC 队列结合批量刷新与零拷贝序列化，构建高吞吐多线程帧剖析器，减少竞争并提供工程化参数。

### [Yandori 实时新闻流压缩与多尺度扩散预测：工程参数与部署清单](/posts/2025/12/01/yandori-real-time-news-diffusion-graph/)
- 日期: 2025-12-01T09:17:15+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 解析 Yandori 系统实时爬取 RSS 源构建世界状态嵌入，支持低延迟传播追踪的分层内存与预测机制，给出可落地爬虫限速、缓冲配置与监控阈值。

### [Tracy帧分析器多线程架构：无锁MPSC队列与零拷贝序列化](/posts/2025/12/01/frame-profiler-multi-thread-architecture/)
- 日期: 2025-12-01T08:48:46+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 剖析Tracy实时帧分析器的多线程捕获管道，使用lock-free MPSC队列和零拷贝序列化实现游戏性能瓶颈定位的工程参数与集成清单。

### [在ML训练中使用BFGS和L-BFGS准牛顿法结合Wolfe线搜索实现可扩展非凸优化](/posts/2025/12/01/bfgs-and-l-bfgs-quasi-newton-with-wolfe-line-search-for-scalable-non-convex-ml-optimization/)
- 日期: 2025-12-01T07:48:18+08:00
- 分类: [ai-engineering](/categories/ai-engineering/)
- 摘要: 针对ML训练循环中的非凸优化，详解BFGS/L-BFGS准牛顿方法与Wolfe线搜索的工程实现，提供可落地参数、监控清单与风险规避策略。

### [Langjam 自举最小解释器：玩具语言到游戏逻辑](/posts/2025/12/01/bootstrap-minimal-interpreter-langjam-game/)
- 日期: 2025-12-01T07:32:53+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: Langjam 7 天游戏 Jam 下，自举最小树遍历解释器实现玩具语言解析与游戏逻辑求值，聚焦词法语法评估器工程参数、GameJam 时间约束优化与简单 Roguelike 示例。

### [Sentinel-1D SAR高分辨率信号处理链：双极化5m校准、波束apodization与星座干涉基线](/posts/2025/12/01/sentinel-1d-sar-high-resolution-processing-dual-pol-calibration-apodization-interferometry/)
- 日期: 2025-12-01T07:18:15+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 针对Sentinel-1D高分辨率SAR图像处理，详述双极化5m分辨率校准流程、波束apodization参数优化及星座干涉基线配置，实现精密地表监测。

### [FreeBSD ports/pkg、jails与ZFS工程实践：无Docker开销的安全部署](/posts/2025/12/01/freebsd-ports-jails-zfs-engineering/)
- 日期: 2025-12-01T07:03:05+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 利用FreeBSD ports/pkg构建系统、jails轻量虚拟化及ZFS弹性存储，实现高效、安全的系统部署，避免Docker额外开销。

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