# Hotdry Blog > 代码、系统与工程实践的长期写作记录，适合按文章、分类和归档路径持续检索。 ## 页面摘要 - 路径: /page/400/ - 当前页: 400 / 843 - 每页文章数: 20 - 文章总数: 16860 - 分类数: 267 - 归档年份数: 4 - 归档月份数: 17 ## 快速导航 - [分类索引](/categories/) - [归档索引](/archive/) - [关于](/about/) - [RSS](/rss.xml) ## 本页文章 ### [构建安全弹性的AI代码执行基础设施：Daytona沙箱隔离与资源管理工程实践](/posts/2025/12/14/secure-elastic-ai-code-execution-infrastructure-with-daytona/) - 日期: 2025-12-14T19:04:27+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入探讨如何利用Daytona构建安全弹性的AI生成代码执行基础设施，涵盖沙箱隔离技术、资源配额管理、自动扩缩容策略及可落地的工程参数配置。 ### [基于GPIO中断与内核模块的零依赖硬件通知系统设计](/posts/2025/12/14/gpio-interrupt-kernel-module-hardware-notification-system/) - 日期: 2025-12-14T18:35:08+08:00 - 分类: [embedded-systems](/categories/embedded-systems/) - 摘要: 深入探讨如何设计基于GPIO中断和Linux内核模块的硬件通知系统，涵盖边缘触发机制、防抖处理策略以及内核到用户空间的信号传递实现。 ### [Go Secret Mode硬件加密指令集成与内存安全擦除的微架构实现](/posts/2025/12/14/go-secret-mode-hardware-encryption-memory-erasure-microarchitecture/) - 日期: 2025-12-14T18:19:20+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深入分析Go Secret Mode提案中硬件加密指令（AES-NI、Intel SGX/TME-MK）的集成策略与内存安全擦除的微架构实现细节，提供工程化参数与监控要点。 ### [WeKnora文档分块策略：语义边界检测与上下文连贯性保持](/posts/2025/12/14/weknora-document-chunking-semantic-boundary-detection/) - 日期: 2025-12-14T18:10:19+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入分析WeKnora框架中的智能文档分块策略，探讨语义边界检测算法实现与上下文连贯性保持机制，优化RAG系统检索精度。 ### [Lean Mathlib并行证明检查与分布式缓存架构设计](/posts/2025/12/14/lean-mathlib-parallel-proof-checking-distributed-caching-architecture/) - 日期: 2025-12-14T17:49:54+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 针对Lean Mathlib大规模定理库，设计基于任务依赖图的并行证明检查算法与分布式缓存架构，提供可落地的工程参数与监控指标。 ### [No-tifier：零依赖硬件通知系统的极简主义设计](/posts/2025/12/14/no-tifier-zero-dependency-hardware-notification-system/) - 日期: 2025-12-14T17:45:39+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 分析No-tifier的零依赖、跨平台桌面通知系统架构，探讨硬件通知的极简主义设计与可落地实现方案。 ### [Sanity经验谈：何时应避免自建CMS架构的工程决策](/posts/2025/12/14/sanity-cms-architecture-avoidance-analysis/) - 日期: 2025-12-14T17:19:16+08:00 - 分类: [application-security](/categories/application-security/) - 摘要: 基于Sanity平台经验，深入分析自建CMS的隐藏复杂性、安全风险与长期维护成本，提供何时应避免自建内容管理系统的量化决策框架。 ### [Claude-Mem上下文窗口管理：基于LRU的优先级淘汰与语义压缩策略](/posts/2025/12/14/claude-mem-context-window-management-lru-compression/) - 日期: 2025-12-14T17:08:24+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入分析claude-mem插件的上下文窗口管理机制，包括基于LRU的优先级淘汰、语义相似度压缩和增量更新策略，提供可落地的参数配置与监控要点。 ### [数据分支三路合并算法：模式演化与冲突解决的工程实现](/posts/2025/12/14/three-way-merge-data-branch-conflict-resolution/) - 日期: 2025-12-14T16:53:00+08:00 - 分类: [ai-engineering](/categories/ai-engineering/) - 摘要: 深入探讨数据工作流中的Git-like三路合并算法，从模式演化到数据冲突的自动解决策略，提供可落地的工程实现方案与参数配置。 ### [Turso查询优化器与SQLite执行计划差异深度分析](/posts/2025/12/14/turso-query-optimizer-execution-plan-analysis/) - 日期: 2025-12-14T16:39:24+08:00 - 分类: [database-systems](/categories/database-systems/) - 摘要: 深入分析Turso查询优化器与SQLite执行计划的核心差异，包括N3算法实现、成本模型计算、索引选择策略与统计信息收集机制的工程实现细节。 ### [E-Ink作为Linux外接屏的电源管理与动态刷新率优化](/posts/2025/12/14/e-ink-linux-power-management-refresh-optimization/) - 日期: 2025-12-14T16:24:07+08:00 - 分类: [embedded-systems](/categories/embedded-systems/) - 摘要: 针对E-Ink显示器作为Linux外接屏的工程实现，深入探讨电源管理策略与动态刷新率优化技术，提供可落地的参数配置与监控方案。 ### [基于BGP ASN路径分析的VPN出口位置验证系统](/posts/2025/12/14/vpn-exit-verification-bgp-asn-path-analysis/) - 日期: 2025-12-14T16:09:56+08:00 - 分类: [infrastructure-security](/categories/infrastructure-security/) - 摘要: 针对VPN提供商常使用虚拟位置的问题，提出基于BGP路由表和ASN路径分析的网络层验证方案，补充TLS指纹和RTT测量之外的检测维度。 ### [零拷贝克隆与元数据版本控制：实现高效数据分支的工程实践](/posts/2025/12/14/zero-copy-cloning-metadata-versioning-data-branching/) - 日期: 2025-12-14T16:05:27+08:00 - 分类: [ai-engineering](/categories/ai-engineering/) - 摘要: 深入探讨零拷贝克隆技术如何通过元数据指针实现秒级数据分支创建，为数据工程提供Git-like工作流支持，包含实际部署参数与监控指标。 ### [DHTML Lemmings游戏架构分析：2004年DOM操作性能优化与跨浏览器挑战](/posts/2025/12/14/dhtml-lemmings-game-architecture-dom-performance-2004/) - 日期: 2025-12-14T15:33:42+08:00 - 分类: [web-architecture](/categories/web-architecture/) - 摘要: 深入分析2004年DHTML版Lemmings游戏架构，探讨在Canvas API尚未出现时代，如何通过DOM操作、CSS定位和动画GIF实现复杂游戏逻辑，以及面临的性能优化与跨浏览器兼容性挑战。 ### [Python脚本化自动化：跨平台兼容性与工程化实践](/posts/2025/12/14/python-scripting-automation-best-practices/) - 日期: 2025-12-14T15:03:49+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深入分析Python作为脚本语言的独特优势，提供跨平台兼容性保障、标准库应用模式与可落地的工程化实践方案。 ### [nanoGPT注意力层KV缓存优化：内存布局与预分配策略](/posts/2025/12/14/nanoGPT-attention-kv-cache-optimization-memory-layout-and-preallocation-strategies/) - 日期: 2025-12-14T14:50:01+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入分析nanoGPT中注意力层的KV缓存管理，探讨内存布局优化、预分配策略与张量形状优化，提供可落地的参数配置与监控要点，实现推理时重复计算减少与内存碎片最小化。 ### [Meta AI脑信号实时解码的延迟优化工程策略](/posts/2025/12/14/real-time-brain-signal-decoding-latency-optimization/) - 日期: 2025-12-14T14:33:52+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入分析Meta AI Brain2Qwerty系统的实时脑信号解码延迟优化，涵盖信号预处理流水线、模型推理加速与硬件协同设计的工程化参数与监控要点。 ### [Fil-C 沙箱中 seccomp-bpf 系统调用过滤器的设计与优化策略](/posts/2025/12/14/fil-c-seccomp-bpf-filter-optimization/) - 日期: 2025-12-14T14:09:04+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深入分析 Fil-C 内存安全运行时与 Linux seccomp-bpf 沙箱的集成机制，提供过滤器设计、线程安全与性能优化的工程化参数。 ### [Meta AI脑信号解码工程架构：MEG实时流水线与神经科学伦理边界](/posts/2025/12/14/meta-ai-brain-signal-decoding-meg-architecture-ethics/) - 日期: 2025-12-14T13:52:19+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入解析Meta AI基于MEG的脑信号解码三模块架构，对比fMRI技术权衡，探讨非侵入式脑机接口的实时处理流水线与认知隐私保护框架。 ### [Lean Mathlib AI 证明自动化：Copilot 参数调优与工程落地](/posts/2025/12/14/lean-mathlib-ai-proof-automation-copilot-parameters/) - 日期: 2025-12-14T13:34:46+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入分析 Lean Copilot 框架的 AI 证明自动化参数配置，包括策略建议的温度控制、证明搜索的束搜索参数、前提选择的向量检索，提供可落地的工程指南。 ## 热门分类 - [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)