# Hotdry Blog

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

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

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

## 本页文章
### [在 TypeScript 微服务中集成 Cap'n Web 实现安全的对象能力 RPC](/posts/2025/09/26/integrate-capn-web-secure-rpc-typescript-microservices/)
- 日期: 2025-09-26T12:06:01+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 面向 TypeScript 微服务，介绍 Cap'n Web 的集成方法，支持细粒度访问控制和低 boilerplate 的分布式 RPC，无需中央认证。

### [RedoxFS 中 ZFS 启发的校验和验证管道工程化：确保 COW 快照与微内核错误检测的数据完整性](/posts/2025/09/26/engineering-zfs-inspired-checksum-verification-pipelines-in-redoxfs/)
- 日期: 2025-09-26T12:01:52+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 探讨 RedoxFS 如何借鉴 ZFS 的校验和机制，在写时复制快照和微内核环境中实现数据完整性验证，包括工程参数和监控要点。

### [Gin 中基于 Radix Tree 的路由工程：实现高性能 HTTP 处理](/posts/2025/09/26/engineering-radix-tree-routing-in-gin-for-high-performance-http-handling/)
- 日期: 2025-09-26T11:49:09+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 面向 Go web 应用，剖析 Gin radix tree 路由的架构与优化，给出路径匹配参数、中间件链和性能监控清单。

### [二进制量化后规范化层实现：稳定1位神经网络训练与边缘部署](/posts/2025/09/26/implementing-normalization-layers-post-binary-quantization-for-1-bit-neural-networks/)
- 日期: 2025-09-26T11:31:33+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 在二进制量化后引入规范化层，稳定1位神经网络训练，实现边缘硬件低精度损失部署，提供参数与监控要点。

### [Bluesky 图像替代文本实时生成与流式传输](/posts/2025/09/26/bluesky-alt-text-streaming/)
- 日期: 2025-09-26T11:18:47+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 基于 Bluesky 的联邦协议与设备端 AI 推理，实现图像 alt text 的实时生成与流式传输，提升无障碍访问体验。

### [Unitree 机器人固件中实现安全的 WiFi 隔离和命令验证以阻挡舰队远程接管漏洞](/posts/2025/09/26/secure-wifi-isolation-and-command-validation-in-unitree-robot-firmware-to-block-fleet-takeover-exploits/)
- 日期: 2025-09-26T11:01:44+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 针对 Unitree 机器人舰队同步协议的远程接管漏洞，本文探讨固件级 WiFi 隔离与命令验证的安全实施，包括配置参数、验证流程及监控要点，帮助开发者构建更安全的多机器人系统。

### [GraalVM Truffle框架中实现内存安全的JIT编译器](/posts/2025/09/26/implementing-memory-safe-jit-compilers-in-graalvm-truffle/)
- 日期: 2025-09-26T10:46:49+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 在GraalVM Truffle框架中构建内存安全的JIT编译器，支持动态语言的安全执行并降低垃圾回收开销，提供关键参数与实现清单。

### [Nest 第二代恒温器 LCD 接口反向工程：信号捕获与软件仿真](/posts/2025/09/26/reverse-engineering-nest-2nd-gen-thermostat-lcd-interface/)
- 日期: 2025-09-26T10:32:02+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 使用示波器捕获 Nest 恒温器专有 LCD 信号，并软件仿真驱动，实现硬件接口扩展的工程实践要点。

### [浏览器端参数化字形编辑器实现：基于 Opentype.js 的可变字体实时预览](/posts/2025/09/26/implementing-browser-based-parametric-glyph-editor-with-opentype-js-for-variable-fonts/)
- 日期: 2025-09-26T10:16:56+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 面向浏览器端字体设计，给出参数化字形编辑与 Opentype.js 实时预览的工程化参数与实现要点。

### [yt-dlp 可扩展提取器架构工程实践：支持千站动态格式与字幕集成](/posts/2025/09/26/engineering-modular-extractors-in-yt-dlp-dynamic-formats-and-subtitle-integration/)
- 日期: 2025-09-26T10:06:47+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 探讨 yt-dlp 的模块化提取器设计，支持 1000+ 站点，通过动态格式协商和字幕集成实现 robust 媒体下载，提供参数配置与监控要点。

### [PDF伪造检测：提取嵌入签名与元数据时间戳交叉验证的取证实践](/posts/2025/09/26/pdf-forgery-detection-extracting-embedded-signatures-and-cross-verifying-metadata-timestamps-in-forensics/)
- 日期: 2025-09-26T10:01:55+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 在数字取证调查中，提取PDF嵌入式数字签名并交叉验证元数据时间戳是检测文档篡改的关键方法。本文提供工程化参数、工具清单和监控要点，帮助识别伪造迹象。

### [Gemini 2.5 Flash 模型蒸馏技术：资源受限边缘设备上的高效低延迟多模态推理](/posts/2025/09/26/gemini-2-5-flash-distillation-efficient-edge-inference/)
- 日期: 2025-09-26T09:47:21+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 面向资源受限边缘设备，给出 Gemini 2.5 Flash 模型蒸馏的工程参数与多模态推理优化要点。

### [Postgres 嵌入式缓存实现：自定义函数、哈希索引与咨询锁](/posts/2025/09/26/postgres-embedded-caching/)
- 日期: 2025-09-26T09:31:56+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 通过 Postgres 的自定义函数、哈希索引和 advisory locks 构建事务安全的嵌入式缓存机制，适用于读密集型应用，作为 Redis 的无依赖替代方案，提供可落地参数和监控要点。

### [笔记本GPU上的N体宇宙模拟：OpenCL内核与自适应网格细化优化](/posts/2025/09/26/porting-n-body-cosmic-simulations-to-laptop-gpus-opencl-amr-simd/)
- 日期: 2025-09-26T09:16:21+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 面向实时天体物理建模，给出N体代码移植到笔记本GPU的OpenCL实现、自适应网格细化参数与SIMD向量化监控要点。

### [OpenZeppelin 可升级代理与基于角色的访问控制在 Solidity 中的工程实践](/posts/2025/09/26/engineering-upgradeable-proxies-with-rbac-in-openzeppelin-for-secure-defi/)
- 日期: 2025-09-26T09:01:58+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 面向 DeFi 合约，给出 OpenZeppelin 可升级代理结合 RBAC 的安全实现参数与升级清单。

### [HumanLayer 多代理编排工程：复杂代码库任务的推理链分解与工具调用](/posts/2025/09/26/engineering-multi-agent-orchestration-in-humanlayer-for-complex-codebase-tasks/)
- 日期: 2025-09-26T08:31:41+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 探讨 HumanLayer 如何通过多代理编排分解复杂代码库任务，实现动态工具调用和迭代精炼，提供工程参数与最佳实践。

### [树莓派 500：嵌入式项目的紧凑硬件集成](/posts/2025/09/26/raspberry-pi-500-compact-hardware-integration/)
- 日期: 2025-09-26T08:16:31+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 树莓派 500 将 Pi 5 SoC 与暴露 GPIO、触摸屏支持集成到信用卡大小的一体机中，售价 90 美元，适用于教育嵌入式项目和快速原型，提供工程参数和开发清单。

### [Ladybird libweb 中的 ACID 兼容渲染管道工程化：解析-布局-绘制优化](/posts/2025/09/26/engineering-acid-compliant-rendering-pipeline-in-ladybird-libweb/)
- 日期: 2025-09-26T08:06:09+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 探讨 Ladybird 浏览器 libweb 引擎中基于 Acid3 测试的渲染管道工程实践，优化解析器、布局与绘制集成，实现无外部依赖的标准 Web 渲染参数与监控要点。

### [将 Gemini 2.5 Flash 的 1M 令牌上下文与多模态能力集成到 RAG 管道中](/posts/2025/09/26/integrate-gemini-25-flash-1m-token-context-multimodal-rag-pipelines/)
- 日期: 2025-09-26T08:01:44+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 探讨如何利用 Gemini 2.5 Flash 的超长上下文和多模态处理能力，提升 RAG 管道在企业长文档分析和零-shot 查询的效率，提供工程化参数和监控要点。

### [Implementing Path Induction for Identity Types in Dependent Systems](/posts/2025/09/26/implementing-path-induction-for-identity-types-in-dependent-systems/)
- 日期: 2025-09-26T07:32:14+08:00
- 分类: [compiler-design](/categories/compiler-design/)
- 摘要: 在依赖类型系统中，通过J消除器实现路径归纳，用于处理身份类型的等式证明，提供不依赖单值公理的工程化参数和证明模式。

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