# Hotdry Blog > 代码、系统与工程实践的长期写作记录，适合按文章、分类和归档路径持续检索。 ## 页面摘要 - 路径: /page/561/ - 当前页: 561 / 843 - 每页文章数: 20 - 文章总数: 16860 - 分类数: 267 - 归档年份数: 4 - 归档月份数: 17 ## 快速导航 - [分类索引](/categories/) - [归档索引](/archive/) - [关于](/about/) - [RSS](/rss.xml) ## 本页文章 ### [Bumble Berry Pi手持式网络甲板系统工程化设计](/posts/2025/11/10/bumble-berry-pi-handheld-cyberdeck-engineering/) - 日期: 2025-11-10T04:49:39+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深入探讨如何将Raspberry Pi系统工程化为手持式网络甲板，涵盖电源管理、热设计、I/O接口集成与便携性优化等核心工程挑战。 ### [开源月球反射通讯工程实现深度解析：轨道力学与射频信号处理的协同设计](/posts/2025/11/10/open-source-lunar-communication-engineering/) - 日期: 2025-11-10T04:36:20+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深入解析月球反射通讯的工程实现：从轨道力学计算到射频信号处理，再到开源硬件系统的协同设计，展现这一挑战性技术领域的完整工程解决方案。 ### [NetBSD中bubblewrap沙箱技术实现的系统级安全机制深度分析](/posts/2025/11/10/netbsd-bubblewrap-sandboxing-analysis/) - 日期: 2025-11-10T04:19:00+08:00 - 分类: [ai-security](/categories/ai-security/) - 摘要: 深入分析bubblewrap在NetBSD操作系统中的实现挑战与替代技术路径，探讨BSD安全机制在沙箱技术中的应用与优化策略。 ### [niri 滚动平铺 Wayland 合成器的窗口管理算法与渲染管线工程解析](/posts/2025/11/10/scrollable-tiling-wayland-compositor/) - 日期: 2025-11-10T04:11:06+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深入分析 niri 合成器在滚动平铺窗口管理、布局优化和 Wayland 渲染管线方面的核心技术实现与架构创新。 ### [基于Rust的Spotify客户端库架构分析：协议逆向、音频流解码与零拷贝优化实践](/posts/2025/11/10/librespot-rust-audio-streaming-architecture-analysis/) - 日期: 2025-11-10T04:10:23+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深入分析librespot作为开源Spotify客户端库的技术架构，探讨其协议逆向工程、音频流处理机制和Rust语言在零拷贝优化方面的实践，为构建高性能流媒体应用提供技术参考。 ### [WICG邮件验证协议的工程实现挑战：标准化身份验证流程、协议安全性设计、与现有Web栈集成的技术难点](/posts/2025/11/10/wicg-email-verification-protocol/) - 日期: 2025-11-10T03:34:28+08:00 - 分类: [application-security](/categories/application-security/) - 摘要: 深度分析WICG邮件验证协议在现代Web环境下的技术实现挑战，探讨标准化身份验证流程的工程化设计原则、协议安全性考量，以及与现有Web技术栈的集成难点与解决方案。 ### [Lima VM容器虚拟化架构深度解析：从QEMU到containerd的轻量化实现](/posts/2025/11/10/lima-vm-container-virtualization-architecture-deep-dive/) - 日期: 2025-11-10T03:18:58+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深度剖析Lima VM如何通过轻量化虚拟化技术实现容器无缝运行，从QEMU虚拟化引擎到containerd运行时的完整技术架构与工程化实践。 ### [Z3自动化安全扫描：基于定理证明的漏洞检测新范式](/posts/2025/11/10/z3-automated-security-scanning/) - 日期: 2025-11-10T03:02:40+08:00 - 分类: [ai-security](/categories/ai-security/) - 摘要: 探讨Z3 SMT求解器在自动化安全扫描中的应用，从符号执行到约束求解，构建形式化验证驱动的安全漏洞检测系统 ### [Bumble Berry Pi：60美元打造你的专属树莓派赛博甲板](/posts/2025/11/10/bumble-berry-pi-raspberry-cyberdeck/) - 日期: 2025-11-10T02:47:40+08:00 - 分类: [hardware-design](/categories/hardware-design/) - 摘要: 深入解析低成本DIY树莓派手持网络渗透测试设备的硬件选型、组装工艺与便携式安全测试平台工程实践，提供完整的成本控制和技术实现方案。 ### [Material-UI TypeScript类型系统与主题工程实践指南](/posts/2025/11/10/material-ui-typescript-engineering-best-practices/) - 日期: 2025-11-10T02:33:34+08:00 - 分类: [application-security](/categories/application-security/) - 摘要: 深入解析Material-UI的TypeScript类型系统架构、主题系统设计原理，以及前端组件库工程化最佳实践，助力构建类型安全的React应用。 ### [深入Google ADK-go的code-first智能体开发范式](/posts/2025/11/10/google-adk-go-architecture-analysis/) - 日期: 2025-11-10T02:05:33+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 分析Google ADK-go基于Go语言的架构设计、多智能体协作机制与生产级部署实践，探讨其code-first开发范式的技术优势。 ### [深入Ruby哈希表的百万级内存泄漏调试：FFI写屏障缺失导致的Hash对象字符串化](/posts/2025/11/10/ruby-ffi-memory-debugging/) - 日期: 2025-11-10T01:50:14+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 基于FFI写屏障缺失导致Hash对象被GC释放并替换为String的案例，提供完整的调试方法论、复现策略和工程级修复方案。 ### [Ruby内存泄漏调试案例验证文档](/posts/2025/11/10/verify-ruby-debugging-article/) - 日期: 2025-11-10T01:49:46+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 验证成功创建Ruby内存泄漏调试文章 ### [Ruby Memory Leak Debugging Analysis: Hash-to-String Transformation in FFI](/posts/2025/11/10/ruby-memory-leak-debugging-analysis/) - 日期: 2025-11-10T01:33:41+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深度分析 Ruby Hash 百万比一内存泄漏调试技术，探讨 String 转换为 Symbol 后的内存增长问题，Valgrind、heap dump 和内存分析工具链的实战应用。 ### [Google ADK Go 工具包工程架构与最佳实践深度解析](/posts/2025/11/10/google-adk-go-architecture-best-practices/) - 日期: 2025-11-10T01:18:16+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入分析 Google Agent Development Kit Go 版本的工程架构设计理念、核心模块组织以及生产级部署的最佳实践，为 Go 语言开发 AI 智能体系统提供技术指南。 ### [基于Z3定理证明器的自动化安全扫描：形式化验证实现零误报检测](/posts/2025/11/10/z3-automated-security-scanning-formal-verification/) - 日期: 2025-11-10T01:03:55+08:00 - 分类: [ai-security](/categories/ai-security/) - 摘要: 探讨Z3 SMT求解器在安全扫描框架中的工程应用，通过形式化验证技术实现零误报的自动化安全漏洞检测，为DevSecOps实践提供可落地参数与最佳实践。 ### [WICG邮件验证协议：现代Web身份验证的工程化实践](/posts/2025/11/10/wicg-email-verification-protocol-web-identity-engineering/) - 日期: 2025-11-10T00:35:12+08:00 - 分类: [application-security](/categories/application-security/) - 摘要: 深入分析WICG提出的Email Verification Protocol设计，探讨基于SD-JWT+KB的现代化邮件验证机制、标准化实现挑战与安全架构权衡。 ### [Google ADK-go:代码优先的AI智能体开发工具包架构与部署优化实践](/posts/2025/11/10/google-adk-agent-toolkit/) - 日期: 2025-11-10T00:17:39+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入分析Google Agent Development Kit作为code-first AI智能体开发框架的架构设计、多智能体协作机制及从开发到生产的完整部署链路。 ### [Tinker Cookbook:后训练范式重塑AI模型微调的技术突破与工程化实践](/posts/2025/11/10/tinker-cookbook-post-training-optimization/) - 日期: 2025-11-10T00:10:13+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深度解析Tinker如何通过底层原语API和LoRA技术实现AI模型的细粒度参数微调，从基础设施抽象到策略优化，展示后训练技术的前沿进展与实际应用案例。 ### [Ironclad:形式化验证内核如何实现实时性能保证](/posts/2025/11/10/formal-verification-realtime-kernel/) - 日期: 2025-11-10T00:03:25+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 通过SPARK/Ada形式化验证的类Unix内核Ironclad，展示了在数学证明确保正确性的同时实现硬实时约束的工程路径。 ## 热门分类 - [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)