# Hotdry Blog

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

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

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

## 本页文章
### [构建带有确定性因子的前向链规则引擎：模仿 Mycin 系统诊断细菌感染](/posts/2025/10/06/build-forward-chaining-rule-engine-mycin-certainty-factors/)
- 日期: 2025-10-06T14:46:27+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 基于经典 Mycin 系统，探讨前向链规则引擎结合确定性因子在细菌感染诊断中的工程化实现参数与监控要点。

### [基于LSH的万亿网页去重：分布式爬取与分片PB级存储工程实践](/posts/2025/10/06/lsh-based-deduplication-for-trillion-web-pages-distributed-crawling-and-sharded-storage/)
- 日期: 2025-10-06T14:31:35+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 探讨Internet Archive在存档1万亿独特网页时的工程方案，包括LSH去重算法、分布式爬取系统和分片PB级存储策略，提供可落地参数与监控要点。

### [在 CHERI 硬件上以纯能力模式引导 Linux 内核：编译挑战与模式切换](/posts/2025/10/06/bootstrapping-linux-kernel-in-purecap-mode-on-cheri-hardware/)
- 日期: 2025-10-06T14:16:59+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 探讨 CHERI 纯能力模式下 Linux 内核引导过程，分析编译难点、模式切换机制及工程化参数，实现无混合妥协的硬件内存隔离。

### [Infisical 中自动化 PKI 证书轮换与 SSH 访问审计](/posts/2025/10/06/automate-pki-rotation-and-ssh-auditing-in-infisical/)
- 日期: 2025-10-06T14:06:18+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 利用 Infisical 的 policy-driven workflows 自动化 PKI 证书轮换和 SSH 访问审计，实现安全合规的基础设施秘密管理。涵盖证书模板配置、续期策略、SSH 证书发行及审计日志监控要点。

### [CHERI 能力架构在 Linux 内核中的集成：细粒度内存隔离实践](/posts/2025/10/06/integrating-cheri-capability-architecture-into-linux-kernel/)
- 日期: 2025-10-06T14:01:14+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 探讨 CHERI 如何通过能力指针增强 Linux 的内存安全，提供隔离参数和工程实践要点。

### [BitNet 的 TVM 优化移动部署：位串行操作与低延迟内核融合](/posts/2025/10/06/tvm-optimized-bitnet-mobile-deployment/)
- 日期: 2025-10-06T13:46:15+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 整合 TVM 编译器传递以支持 BitNet 中的位串行操作，实现移动端低延迟的 1 位 LLM 推理，包括内核融合和运行时调度。

### [通过GPT-OSS反刍模式推断OpenAI训练数据组成与比例](/posts/2025/10/06/infer-openai-training-data-composition-via-gpt-oss-regurgitation/)
- 日期: 2025-10-06T13:32:06+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 分析开源GPT模型输出中的反刍模式，以逆向工程推断OpenAI训练数据的具体来源和比例，提供高效自定义LLM数据集 curation 的指导参数和清单。

### [Magic Wormhole 中使用 PAKE 实现带外代码验证与 TCP 打洞的加密 P2P 文件传输](/posts/2025/10/06/implement-pake-for-out-of-band-code-verification-and-tcp-hole-punching-in-magic-wormhole-secure-p2p-transfer/)
- 日期: 2025-10-06T13:16:20+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 探讨 Magic Wormhole 如何利用 SPAKE2 PAKE 协议通过虫洞代码安全建立密钥，并结合 TCP 打洞实现无中介的加密文件传输，提供工程参数与最佳实践。

### [工程化众包 ALPR 摄像头位置映射工具：集成开放数据 API 实现隐私导航与警报](/posts/2025/10/06/engineering-crowdsourced-alpr-camera-location-mapping-tool/)
- 日期: 2025-10-06T13:02:16+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 探讨 Deflock 项目如何通过众包和开放 API 工程化 ALPR 摄像头映射，支持隐私保护的导航和实时警报，提供工程参数与最佳实践。

### [工程化 LLM 分词器处理变体选择符与规范化管道：对抗性海马表情序列缓解](/posts/2025/10/06/engineering-llm-tokenizers-variant-selector-handling-normalization-adversarial-emoji/)
- 日期: 2025-10-06T12:46:19+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 针对对抗性 Unicode 变体选择符序列，如海马表情变体，探讨 LLM 分词器的处理机制、规范化管道设计，以及工程参数与监控要点，以提升鲁棒性。

### [文本到3D代理的混合VLM-扩散架构：模块化检索与生成优化](/posts/2025/10/06/hybrid-vlm-diffusion-text-to-3d-agents/)
- 日期: 2025-10-06T12:31:21+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 探讨文本到3D代理中混合视觉语言模型与扩散架构的集成，通过模块化检索和生成实现高效管道优化与可扩展3D资产生成。

### [调优 UTF-8 规范化阈值以提升分词器对海马表情符号的鲁棒性](/posts/2025/10/06/tuning-utf8-normalization-seahorse-emoji-robustness-tokenizers/)
- 日期: 2025-10-06T12:16:17+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 针对海马表情符号引发的 OOV 峰值和不稳定输出，讨论在 LLM 分词器中添加多字节解码回退和规范化阈值调优的工程实践。

### [Engineering 25-Year DOOM Engine Evolution in SRB2 Fangame](/posts/2025/10/06/engineering-25-year-doom-engine-evolution-in-srb2-fangame/)
- 日期: 2025-10-06T12:06:13+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 分析SRB2中DOOM引擎的兼容、渲染与资产模块化，聚焦工程实践与性能优化。

### [LLM 分词器中实现多字节 UTF-8 解码回退与规范化：处理对抗性海马表情序列](/posts/2025/10/06/implementing-fallback-multi-byte-utf8-decoding-and-normalization-in-llm-tokenizers-for-adversarial-seahorse-emoji-sequences/)
- 日期: 2025-10-06T12:01:24+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 面向对抗性海马表情序列，给出 LLM 分词器中多字节 UTF-8 解码回退与 Unicode 规范化的工程化实现与参数配置。

### [工程化 LLM 分词器对抗海马等表情符号的对抗输入](/posts/2025/10/06/engineering-llm-tokenizers-against-adversarial-emoji-inputs-like-seahorse/)
- 日期: 2025-10-06T11:46:06+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 探讨 LLM 分词器如何处理对抗性表情符号输入，如海马 emoji 引发的异常输出和安全绕过，提供工程化缓解参数和监控要点。

### [Custom ASIC Design for BitNet Ternary Logic Accelerators](/posts/2025/10/06/custom-asic-design-for-bitnet-ternary-logic-accelerators/)
- 日期: 2025-10-06T11:31:07+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 针对 BitNet 的三进制逻辑单元和位串行乘法器，设计自定义 ASIC 以实现边缘 IoT 设备上超低功耗 1-bit LLM 推理，提供工程参数和优化策略。

### [在安全关键软件中实现 SPARK 形式验证：使用 GNATprove 的合同开发流程](/posts/2025/10/06/implementing-spark-formal-verification-with-gnatprove-for-safety-critical-software/)
- 日期: 2025-10-06T11:16:38+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 探讨在安全关键 C/C++ 替换中使用 SPARK 形式验证流程，集成 GNATprove 证明无运行时错误。提供工程参数、监控要点和实施清单，帮助开发者从传统测试转向可证明安全。

### [FPGA上BitNet 1-bit LLM推理的位串行乘法器实现：超低功耗边缘部署与HLS流水线](/posts/2025/10/06/implementing-bit-serial-multipliers-on-fpga-for-bitnet-1-bit-llm-inference/)
- 日期: 2025-10-06T11:01:24+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 本文探讨在FPGA上使用位串行乘法器加速BitNet 1-bit LLM推理，通过自定义HLS流水线实现边缘设备的超低功耗部署。提供设计参数、优化策略和落地清单，帮助工程师快速构建高效推理系统。

### [工程化可扩展 Web 浏览器核心：键盘驱动导航与自定义键图插件](/posts/2025/10/06/engineering-extensible-web-browser-core-with-keyboard-driven-navigation/)
- 日期: 2025-10-06T10:46:14+08:00
- 分类: [application-security](/categories/application-security/)
- 摘要: 基于 Glide 浏览器的键盘导航工程实践，包括 hint 模式、keymap 配置和扩展集成要点。

### [使用Go实现的基于太阳能剩余的EV充电动态调度](/posts/2025/10/06/go-based-dynamic-scheduling-for-ev-charging-with-solar-surplus/)
- 日期: 2025-10-06T10:16:07+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 基于evcc框架，利用Modbus/HTTP API实现太阳能剩余检测的EV充电调度，包含负载均衡与预测预报的参数配置。

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