# Hotdry Blog > 代码、系统与工程实践的长期写作记录，适合按文章、分类和归档路径持续检索。 ## 页面摘要 - 路径: /page/217/ - 当前页: 217 / 843 - 每页文章数: 20 - 文章总数: 16860 - 分类数: 267 - 归档年份数: 4 - 归档月份数: 17 ## 快速导航 - [分类索引](/categories/) - [归档索引](/archive/) - [关于](/about/) - [RSS](/rss.xml) ## 本页文章 ### [Codex CLI Agent Loop 与 Prompt Caching 策略解构](/posts/2026/01/24/codex-agent-loop-prompt-caching-strategies/) - 日期: 2026-01-24T22:31:55+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入剖析 OpenAI Codex CLI 的 agent loop 控制流、上下文累积机制与 prompt caching 工程权衡，附带可落地的上下文压缩阈值与缓存保护策略。 ### [Remotion 浏览器端视频渲染管线解析：React 组件到 WebM/MP4 的转化机制](/posts/2026/01/24/remotion-browser-video-rendering-pipeline/) - 日期: 2026-01-24T22:19:12+08:00 - 分类: [web](/categories/web/) - 摘要: 剖析 Remotion 的浏览器端程序化视频渲染架构，涵盖 React 组件到 Canvas 帧合成、WebCodecs 编码与容器封装的完整工程链路。 ### [千兆以太网复归铜缆：G.fast 与 G.vector 技术解析与家庭复用地实践](/posts/2026/01/24/gigabit-ethernet-over-phone-wires-gfast-gvector/) - 日期: 2026-01-24T22:02:39+08:00 - 分类: [systems](/categories/systems/) - 摘要: 深入剖析 G.fast 与 G.vector 技术原理，解释如何通过电话线实现千兆以太网，并探讨串扰消除与频谱规划的关键工程参数。 ### [SQLite 小查询场景的工程优势：为什么 N+1 模式在此不成问题](/posts/2026/01/24/sqlite-small-query-efficiency/) - 日期: 2026-01-24T21:47:41+08:00 - 分类: [database](/categories/database/) - 摘要: 解析 SQLite 无服务器架构如何消除网络往返开销，展示 Fossil 版本控制系统单页面 200+ SQL 查询仍保持 25ms 响应的工程原理。 ### [80386 整数除法的微架构实现与迭代算法](/posts/2026/01/24/80386-division-microarchitecture-iterative-algorithm/) - 日期: 2026-01-24T21:32:07+08:00 - 分类: [systems](/categories/systems/) - 摘要: 深入解析 80386 整数除法单元的微架构设计，聚焦非恢复除法迭代算法的硬件实现与控制信号时序。 ### [SQLite 小查询高效执行策略：覆盖索引与查询重写指南](/posts/2026/01/24/sqlite-small-query-optimization/) - 日期: 2026-01-24T21:17:37+08:00 - 分类: [systems](/categories/systems/) - 摘要: 解析 SQLite 中小查询的高效执行机制，涵盖覆盖索引消除回表、Bloom 过滤器近似过滤、复合索引设计原则与参数化查询实践。 ### [WebCC 二进制命令缓冲区：WASM-JS 边界的批量优化策略](/posts/2026/01/24/webcc-binary-command-buffer-wasm-js/) - 日期: 2026-01-24T21:03:01+08:00 - 分类: [compilers](/categories/compilers/) - 摘要: 解析 WebCC 如何通过二进制命令缓冲区批量处理 API 调用，将 WASM 与 JavaScript 之间的通信开销从函数级别降为批量级别。 ### [Coi 语言：面向 WebAssembly 的类型安全组件式编程](/posts/2026/01/24/coi-language-type-safe-wasm-compilation/) - 日期: 2026-01-24T20:47:11+08:00 - 分类: [compilers](/categories/compilers/) - 摘要: 深入解析 Coi 语言的编译器设计、细粒度响应式机制与性能优化策略，探讨其如何通过共享内存架构实现比 React/Vue 更优的渲染性能。 ### [Firestore Pipeline 聚合操作引擎深度解析](/posts/2026/01/24/firestore-pipeline-operations-deep-dive/) - 日期: 2026-01-24T20:32:45+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入解析 Firestore 2026 年新增的 Pipeline 操作引擎，涵盖多阶段链式查询、可选索引机制、聚合函数与工程实践中的性能调优策略。 ### [Coi 语言：面向 WebAssembly 的 O(1) 响应式前端语言设计](/posts/2026/01/24/coi-language-webassembly-frontend/) - 日期: 2026-01-24T20:23:20+08:00 - 分类: [compilers](/categories/compilers/) - 摘要: 剖析 Coi 语言如何通过共享内存架构与编译时静态分析实现无虚拟 DOM 的 O(1) 响应式渲染，对比其与传统前端框架在 JS/WASM 交互上的架构差异及性能基准。 ### [MLX-Audio 在 Apple Silicon 上的推理优化实践](/posts/2026/01/24/mlx-audio-apple-silicon-inference/) - 日期: 2026-01-24T20:07:31+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入解析 mlx-audio 如何利用 Apple 统一内存架构与 MLX 框架优化 TTS/STT/STS 推理，涵盖 Metal 着色器调度与量化策略。 ### [从 Rocq 定理证明器提取经过数学证明的 C++ 代码](/posts/2026/01/24/extracting-verified-cpp-from-rocq/) - 日期: 2026-01-24T20:02:40+08:00 - 分类: [compilers](/categories/compilers/) - 摘要: 解析 Bloomberg 的 Crane 提取系统如何将经过形式化验证的 Rocq 程序转换为符合生产标准的 C++ 代码，涉及类型映射、函数式惯用法转换与软件事务内存等核心技术。 ### [G.fast 千兆 DSL：矢量串扰抵消与频谱工程的实现细节](/posts/2026/01/24/gfast-gigabit-dsl-vectoring-engineering/) - 日期: 2026-01-24T19:46:47+08:00 - 分类: [systems](/categories/systems/) - 摘要: 深入解析 G.fast 标准如何利用 106 MHz 频段与矢量技术在现有电话线上实现千兆传输，聚焦串扰抵消算法、线对绑定策略与功率谱密度控制的工程权衡。 ### [Modetc 项目解析：内核空间 dotfiles 配置注入与 syscall 劫持技术演进](/posts/2026/01/24/modetc-kernel-space-dotfiles-injection/) - 日期: 2026-01-24T19:33:38+08:00 - 分类: [systems](/categories/systems/) - 摘要: 从 Modetc 内核级 dotfiles 管理提案出发，系统梳理 Linux 系统调用劫持技术的演进路径，重点分析 kernel 6.9 对传统 hooking 机制的颠覆及 FlipSwitch 等新型技术的应对策略。 ### [PostgreSQL 优化器对 Merge Join 的成本模型偏差分析](/posts/2026/01/24/postgresql-merge-join-cost-bias/) - 日期: 2026-01-24T19:17:51+08:00 - 分类: [systems](/categories/systems/) - 摘要: 深入剖析 PostgreSQL 优化器在首次执行查询时对 Merge Join 节点的低估现象，揭示因索引死元组导致的直方图探测失效与成本计算偏差。 ### [PageIndex：无向量推理型 RAG 的文档索引架构解析](/posts/2026/01/24/pageindex-vectorless-rag-reasoning/) - 日期: 2026-01-24T19:04:05+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 剖析 PageIndex 的文档索引架构：如何通过无向量推理 RAG 实现文档结构感知与逻辑链检索，替代传统向量相似度匹配。 ### [NVIDIA Dynamo KV 感知请求路由的动态调度机制](/posts/2026/01/24/dynamo-kv-aware-request-routing-dynamic-scheduling/) - 日期: 2026-01-24T18:34:47+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 解析 Dynamo 调度器如何通过 Radix Tree 全局注册表与 KvIndexer 实现 KV cache 感知的请求路由，带来 3 倍 TTFT 提升。 ### [PostgreSQL Merge Join 基数估计偏差：相关性假设失效与统计采样边界](/posts/2026/01/24/postgresql-merge-join-cardinality-bias/) - 日期: 2026-01-24T18:17:22+08:00 - 分类: [database](/categories/database/) - 摘要: 剖析 PostgreSQL 在相关列场景下 Merge Join 基数估计的失效机制，展示统计采样不足如何导致计划选择劣化。 ### [云端开发环境的预测式冷启动优化：从被动等待到主动预热](/posts/2026/01/24/predictive-cold-start-optimization/) - 日期: 2026-01-24T18:02:00+08:00 - 分类: [systems](/categories/systems/) - 摘要: 剖析云端开发环境的冷启动瓶颈与预测式预热策略：通过历史使用模式预测资源需求、预加载依赖与维护暖池，实现亚秒级环境就绪。 ### [Kotlin Rich Errors：类型化错误处理的工程实践](/posts/2026/01/24/kotlin-rich-errors-typed-results/) - 日期: 2026-01-24T17:47:50+08:00 - 分类: [systems](/categories/systems/) - 摘要: 解析 Kotlin 2.4 的 Rich Errors 特性如何通过联合类型实现显式错误建模，对比传统异常机制的性能与类型安全优势。 ## 热门分类 - [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)