# Hotdry Blog

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

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

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

## 本页文章
### [Leveraging-NVIDIA-Warp-for-Optimizing-Custom-GPU-Kernels-in-Newton-Physics-Simulations](/posts/2025/10/05/Leveraging-NVIDIA-Warp-for-Optimizing-Custom-GPU-Kernels-in-Newton-Physics-Simulations/)
- 日期: 2025-10-05T09:31:18+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 探讨在 Newton 物理引擎中使用 NVIDIA Warp 实现 warp-level 并行、内存访问优化和内核融合的技术要点，提升刚体和粒子动力学模拟的吞吐量。

### [Agent-S：基于VLM引导的代理式计算机模拟框架](/posts/2025/10/05/agent-s-vlm-guided-agentic-computer-simulation/)
- 日期: 2025-10-05T09:15:56+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: Agent-S 框架通过视觉语言模型引导 API 调用和屏幕解析，实现人类般的计算机交互，支持多步任务在模拟环境中的编排。提供安装配置、参数优化和安全监控要点。

### [Agent-S 中 VLM 驱动的 grounding 机制：从 LLM 计划到可执行 Python 代码](/posts/2025/10/05/vlm-grounding-mechanism-in-agent-s/)
- 日期: 2025-10-05T09:01:25+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 探讨 Agent-S 框架中 VLM 驱动的 grounding 机制，实现 LLM 计划到桌面交互的可执行代码转换，提供参数配置与优化策略。

### [将 Z3 集成到 LLM 推理循环中实现定理证明的动态错误检测与修正](/posts/2025/10/05/integrating-z3-into-llm-for-dynamic-error-correction-in-theorem-proving/)
- 日期: 2025-10-05T08:46:39+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 在多步定理证明任务中，引入 Z3 SMT 求解器到 LLM 推理流程，提供实时错误反馈、路径回溯机制及自动化修正策略，提升推理鲁棒性。

### [Motia 多语言后端统一：通过核心原语集成 API、后台任务、工作流与 AI 代理](/posts/2025/10/05/motia-multi-language-backend-unification/)
- 日期: 2025-10-05T08:31:05+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: Motia 框架通过 Step 原语统一多语言后端开发，集成 APIs、后台作业、工作流和 AI 代理，提供内置可观察性和状态管理，实现可扩展开发。

### [Meshery 中可扩展适配器的工程化：Istio、Linkerd 和 Consul 服务网格的统一生命周期管理](/posts/2025/10/05/engineering-extensible-adapters-meshery-istio-linkerd-consul/)
- 日期: 2025-10-05T08:16:14+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: Meshery 通过 gRPC 适配器实现对 Istio、Linkerd 和 Consul 的统一管理，包括基于 CRD 的配置、可观测性仪表板以及跨网格性能基准测试，提供 Kubernetes 环境下的工程化参数和最佳实践。

### [应用缩放定律进行 LLM 知识注入微调：合成数据比例与阈值优化](/posts/2025/10/05/applying-scaling-laws-knowledge-infusion-llm-fine-tuning-synthetic-data-ratios-and-threshold-optimization/)
- 日期: 2025-10-05T08:06:45+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 利用缩放定律指导 LLM 微调中的知识注入，优化合成数据比例与阈值，实现高效领域适应并最小化计算开销。

### [使用 Tunix 在 JAX 中向量化 DPO 和蒸馏：高效分布式 LLM 对齐与 TPU 量化](/posts/2025/10/05/vectorizing-dpo-distillation-jax-tunix-tpus/)
- 日期: 2025-10-05T08:01:13+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 探讨 Tunix 如何利用 JAX 的 vmap 和 pmap 实现 DPO 和知识蒸馏的向量化与分布式训练，提供 TPU 上 LLM 对齐和量化的工程参数与最佳实践。

### [香山 RISC-V 核心中的高吞吐量向量浮点单元设计：自定义流水线与异常处理](/posts/2025/10/05/xiangshan-vector-fpu-design/)
- 日期: 2025-10-05T07:46:24+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 探讨香山处理器中向量浮点单元的设计，聚焦自定义流水线支持 IEEE 754 操作、融合乘加及异常处理，提供工程化参数和监控要点。

### [ROCm 中 AMD GPU 矩阵核心编程：warp 调度与优化策略](/posts/2025/10/05/programming-amd-gpu-matrix-cores-in-rocm/)
- 日期: 2025-10-05T07:16:32+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 在 ROCm 平台上利用 AMD GPU 矩阵核心进行高性能张量运算，强调 warp 调度、寄存器平铺和共享内存优化，以加速 ML 推理。

### [将点阵打印机改造成线性图像扫描仪：Thunderscan 的硬件模组与同步控制](/posts/2025/10/05/repurposing-dot-matrix-printer-for-linear-image-scanning-thunderscan-hardware-mod-and-motor-sync/)
- 日期: 2025-10-05T06:46:15+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 基于 Thunderscan 的打印机改装方案，给出同步电机控制、信号捕获和 ADC 集成的工程参数与监控要点。

### [使用 ProofOfThought 从 LLM 解析代码规范生成 SMT 约束：安全关键软件不变量的自动化验证](/posts/2025/10/05/using-proofofthought-to-generate-smt-constraints-from-llm-parsed-code-specs-for-automated-verification-of-safety-critical-software-invariants/)
- 日期: 2025-10-05T06:31:11+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 探讨 ProofOfThought 如何利用 LLM 解析代码规范生成 SMT 约束，实现安全关键软件不变量的自动化验证，提供工程参数和最佳实践。

### [利用 NVIDIA Warp 加速 Newton 物理引擎的刚体动力学、碰撞解析与约束求解](/posts/2025/10/05/leveraging-nvidia-warp-for-gpu-accelerated-rigid-body-dynamics-in-newton-physics/)
- 日期: 2025-10-05T06:16:13+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 基于 NVIDIA Warp 的 Newton 引擎，提供 GPU 加速实时物理模拟的工程参数与实现要点，适用于机器人原型开发。

### [利用 Tunix 的 JAX 原语实现矢量化 RLHF 对齐：DPO 在后训练中的高效偏好优化](/posts/2025/10/05/jax-post-training-alignment-tunix-dpo/)
- 日期: 2025-10-05T06:06:02+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 面向 LLM 后训练，给出 Tunix 中 JAX 矢量化 DPO 的工程参数与偏好优化要点。

### [利用AI图神经网络预测IBD炎症路径中抗生素结合位点](/posts/2025/10/05/ai-antibiotic-ibd-mechanism-prediction/)
- 日期: 2025-10-05T06:01:06+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 通过图神经网络结合分子动力学模拟，预测抗生素在IBD炎症路径中的结合机制，并给出in silico验证的工程化参数与再利用策略。

### [ProofOfThought 的 Z3 混合推理：神经符号程序合成实现鲁棒可解释推理](/posts/2025/10/05/proof-of-thought-z3-hybrid-reasoning/)
- 日期: 2025-10-05T05:46:06+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: 基于 NeurIPS 2024 论文，介绍 ProofOfThought 的神经符号方法，提升 LLM 推理的可靠性和可解释性。

### [Proof-of-Thought：链式 LLM 提示生成逻辑定理并用 Z3 验证](/posts/2025/10/05/proof-of-thought-chaining-llm-prompts-for-theorem-generation-with-z3-validation/)
- 日期: 2025-10-05T05:31:06+08:00
- 分类: [ai-systems](/categories/ai-systems/)
- 摘要: Proof-of-Thought 框架通过链式 LLM 提示生成逻辑定理，利用 Z3 SMT 求解器逐步验证，支持一般推理任务的可靠证明构建。提供高层 API 简化集成，并给出工程参数如迭代阈值和监控策略。

### [利用 Grokking 相变工程化训练课程：诱导过参数化模型涌现特征学习](/posts/2025/10/05/grokking-feature-emergence-scaling/)
- 日期: 2025-10-05T05:16:06+08:00
- 分类: [ai-engineering](/categories/ai-engineering/)
- 摘要: 探讨利用 Grokking 现象设计训练策略，在过参数化模型中控制过拟合后实现快速泛化，优化计算资源促进涌现特征学习，提供工程参数与监控要点。

### [在 iOS 中工程化 E2EE 弹性客户端侧扫描 API 以满足英国法规](/posts/2025/10/05/engineering-e2ee-resilient-client-side-scanning-apis-in-ios-for-uk-mandates/)
- 日期: 2025-10-05T04:46:22+08:00
- 分类: [ai-security](/categories/ai-security/)
- 摘要: 面向 UK 在线安全法案，给出 iOS 客户端侧扫描 API 的设计要点与隐私保护参数。

### [FPGA 键盘 USB 设计：按键去抖、HID 模拟与 UART 动态端点重配置](/posts/2025/10/05/fpga-keyboard-usb-design-key-debouncing-hid-emulation-and-uart-dynamic-endpoint-reconfiguration/)
- 日期: 2025-10-05T04:31:09+08:00
- 分类: [systems-engineering](/categories/systems-engineering/)
- 摘要: 基于 FPGA 的机械键盘设计，聚焦按键矩阵去抖逻辑、HID USB 复合接口模拟，以及 UART 串行通信的动态端点重配置，提供工程参数与实现要点。

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