# Hotdry Blog > 代码、系统与工程实践的长期写作记录，适合按文章、分类和归档路径持续检索。 ## 页面摘要 - 路径: /page/388/ - 当前页: 388 / 843 - 每页文章数: 20 - 文章总数: 16860 - 分类数: 267 - 归档年份数: 4 - 归档月份数: 17 ## 快速导航 - [分类索引](/categories/) - [归档索引](/archive/) - [关于](/about/) - [RSS](/rss.xml) ## 本页文章 ### [多AI编码代理协同监控：实时冲突检测与资源竞争解决](/posts/2025/12/17/multi-agent-coding-coordination-monitoring-conflict-detection/) - 日期: 2025-12-17T10:35:08+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 设计多AI编码代理协同工作时的实时监控与冲突检测系统，解决代理间资源竞争、任务重叠与状态同步问题，提供可落地的参数配置与监控指标清单。 ### [跨平台电池信息采集与电源管理接口：统一API抽象层与实时能效监控](/posts/2025/12/17/cross-platform-battery-information-collection-power-management-interface/) - 日期: 2025-12-17T10:27:36+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 针对BMS锁定修复需求，设计跨平台电池信息采集系统架构，实现统一API抽象层与实时能效监控的工程化方案。 ### [AI驱动的形式验证自动化架构：从规范到验证的端到端自动化](/posts/2025/12/17/ai-driven-formal-verification-automation-architecture/) - 日期: 2025-12-17T10:10:58+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 探讨如何构建AI驱动的形式验证自动化架构，集成定理证明、模型检查与反例生成，实现从规范到验证的端到端自动化，降低形式验证门槛，使形式验证技术主流化。 ### [AI编码代理的'飞行计算机'：实时监控与异常检测系统架构设计](/posts/2025/12/17/ai-coding-agents-flight-computer-real-time-monitoring-anomaly-detection-system-architecture/) - 日期: 2025-12-17T10:04:41+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入探讨TheAuditor v2.0作为AI编码代理的'飞行计算机'设计，涵盖SQLite索引架构、四向量收敛引擎、实时监控算法与异常检测机制，提供工程化部署参数与性能调优指南。 ### [Midjourney大规模图像生成服务的架构挑战：GPU调度与队列管理优化](/posts/2025/12/17/midjourney-scaling-architecture-gpu-scheduling-queue-management/) - 日期: 2025-12-17T09:50:42+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入分析Midjourney作为千万级用户图像生成服务的架构设计，聚焦请求队列管理、GPU资源调度、成本优化策略与高并发处理的具体工程实践。 ### [Codex CLI与GPT-5.2驱动的Python到JavaScript迁移：JustHTML案例的工程实践](/posts/2025/12/17/codex-cli-gpt5-justhtml-python-javascript-migration/) - 日期: 2025-12-17T09:34:54+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 基于Codex CLI与GPT-5.2的AI辅助跨语言代码迁移，以JustHTML项目为例，探讨Python到JavaScript移植的工程化工具链集成与测试验证策略。 ### [HTTPS RRs 解析器实现：TLS 证书链验证与 ALPN 协商的工程实践](/posts/2025/12/17/https-rrs-resolver-implementation-tls-alpn-service-discovery/) - 日期: 2025-12-17T09:22:09+08:00 - 分类: [web-architecture](/categories/web-architecture/) - 摘要: 深入探讨 HTTPS RRs 解析器的工程实现，涵盖 TLS 证书链验证、ALPN 协议协商、服务发现与负载均衡机制，提供可落地的参数配置与监控策略。 ### [形式验证反例生成与调试界面设计：从波形追踪到因果图可视化](/posts/2025/12/17/formal-verification-counterexample-debugging-ui-design/) - 日期: 2025-12-17T09:06:48+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 探讨形式验证失败后反例生成引擎的设计原则与调试界面工程化实现，结合因果图合成与LLM分析，将验证失败转化为可操作的工程反馈。 ### [SIM平台运行时沙箱隔离：基于E2B的AI agent安全执行架构](/posts/2025/12/17/sim-runtime-sandbox-isolation-with-e2b/) - 日期: 2025-12-17T08:51:26+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入解析SIM平台如何通过E2B沙箱为AI agent提供CPU/内存配额、文件系统隔离与网络策略，防止恶意代码执行与资源耗尽攻击。 ### [Codex终端集成架构：多语言实时补全与上下文感知优化](/posts/2025/12/17/codex-terminal-integration-multi-language-support/) - 日期: 2025-12-17T08:34:18+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入解析Codex CLI终端集成架构，探讨多语言实时补全机制、上下文感知优化策略，以及延迟与资源使用的工程化解决方案。 ### [Meta AI团队与基础设施工程团队的资源协调系统设计](/posts/2025/12/17/meta-ai-infrastructure-coordination-system-design/) - 日期: 2025-12-17T08:20:33+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 针对Meta AI超级明星团队与基础设施工程团队间的协作摩擦，提出跨团队资源协调系统与统一工具链接口的工程化解决方案。 ### [Dafny验证感知编程语言的编译器架构、规格集成与自动验证工具链设计](/posts/2025/12/17/dafny-verification-aware-language-design-compiler-architecture-vcg-toolchain/) - 日期: 2025-12-17T08:09:37+08:00 - 分类: [compiler-design](/categories/compiler-design/) - 摘要: 深入分析Dafny验证感知编程语言的编译器架构设计、规格集成机制与自动验证工具链实现，探讨如何将形式证明嵌入到现代软件开发工作流中。 ### [设计paru的AUR包构建环境隔离系统：基于bubblewrap的沙箱化构建方案](/posts/2025/12/17/paru-build-isolation-sandboxing-bubblewrap-namespaces/) - 日期: 2025-12-17T08:04:59+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 针对AUR包构建的安全风险，提出基于bubblewrap和Linux namespaces的paru沙箱化构建系统设计，包含文件系统隔离、网络限制和权限控制的具体实现参数。 ### [Waterfox对Mozilla AI战略的技术回应：隐私架构与开源商业化冲突](/posts/2025/12/17/waterfox-mozilla-ai-strategy-response-privacy-architecture/) - 日期: 2025-12-17T07:49:17+08:00 - 分类: [application-security](/categories/application-security/) - 摘要: 分析Waterfox作为Firefox分支对Mozilla AI战略的技术回应，探讨浏览器AI集成架构、隐私保护实现与开源项目商业化冲突的工程权衡。 ### [基于风滚草空气动力学的混合机器人运动控制与能量优化系统](/posts/2025/12/17/tumbleweed-aerodynamics-hybrid-robot-control-energy-optimization/) - 日期: 2025-12-17T07:34:04+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 借鉴风滚草孔隙度梯度原理，设计混合式崎岖地形机器人的四模式运动控制与能量优化算法，实现被动风驱动与主动干预的智能切换。 ### [逆向工程RK3588 NPU：突破32KB内存限制运行Vision Transformer](/posts/2025/12/17/rk3588-npu-vision-transformer-optimization/) - 日期: 2025-12-17T07:21:07+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 通过逆向工程发现RK3588 NPU的32KB L1 SRAM硬件限制，设计Nano-Tiling分块策略与Poison Pill编译器屏障，实现Vision Transformer在边缘设备上的15倍加速。 ### [fMRI信号质量评估框架：多模态分离与置信度量化](/posts/2025/12/17/fmri-signal-quality-assessment-framework/) - 日期: 2025-12-17T07:04:46+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 针对fMRI信号中高达40%的非脑活动成分，构建基于多模态信号源分离与统计验证的质量评估框架，提供置信度评分系统与实验协议优化建议。 ### [Letta Code实时代码补全：低延迟架构与增量推理优化](/posts/2025/12/17/letta-code-real-time-code-completion-latency-optimization/) - 日期: 2025-12-17T06:33:58+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 分析Letta Code实时代码补全架构的延迟优化策略，包括约束上下文窗口、增量推理、上下文缓存与sleep-time代理设计，实现<100ms的代码建议延迟。 ### [GPT Image 1.5多模态架构解析：注意力优化与推理加速的工程实践](/posts/2025/12/17/gpt-image-1-5-multimodal-architecture-optimization/) - 日期: 2025-12-17T06:18:11+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入分析OpenAI GPT Image 1.5的多模态架构设计，探讨其图像质量提升机制、注意力优化策略及4倍推理加速的工程实现。 ### [tY Python类型检查器架构：增量类型推断与LSP集成](/posts/2025/12/17/ty-python-type-checker-architecture-lsp-integration/) - 日期: 2025-12-17T06:09:05+08:00 - 分类: [compiler-design](/categories/compiler-design/) - 摘要: 深入解析Astral tY类型检查器的架构设计，涵盖增量类型推断、AST缓存优化与LSP协议集成，提供实时错误检测与代码补全的工程化实现方案。 ## 热门分类 - [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)