# Hotdry Blog > 代码、系统与工程实践的长期写作记录，适合按文章、分类和归档路径持续检索。 ## 页面摘要 - 路径: /page/565/ - 当前页: 565 / 843 - 每页文章数: 20 - 文章总数: 16860 - 分类数: 267 - 归档年份数: 4 - 归档月份数: 17 ## 快速导航 - [分类索引](/categories/) - [归档索引](/archive/) - [关于](/about/) - [RSS](/rss.xml) ## 本页文章 ### [OpenAI GPT-5-Codex-Mini：经济高效推理优化架构与生产环境部署策略](/posts/2025/11/09/gpt-5-codex-mini-inference-optimization/) - 日期: 2025-11-09T10:02:20+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入分析OpenAI最新发布的GPT-5-Codex-Mini模型的成本效率优化架构，探讨小型化模型在生产环境的部署策略与性能调优方案。 ### [Tinker后训练管道工程实战：从监督学习到RLHF的完整优化流程](/posts/2025/11/09/tinker-post-training-pipeline-engineering/) - 日期: 2025-11-09T09:48:41+08:00 - 分类: [ai-engineering](/categories/ai-engineering/) - 摘要: 深入分析Tinker框架在post-training阶段的技术架构，涵盖LoRA微调、监督学习、强化学习等关键流程，提供工程部署最佳实践和性能优化策略。 ### [小型化模型推理优化：成本效率与性能平衡的工程实践](/posts/2025/11/09/lightweight-model-inference-optimization/) - 日期: 2025-11-09T09:32:24+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 聚焦轻量级模型的推理效率优化，涵盖成本控制与实时性工程考量，介绍量化、剪枝、知识蒸馏等核心技术的实战应用。 ### [州警车辆GPS抑制系统的零信任架构设计：隐私安全与应急响应的工程平衡](/posts/2025/11/09/state-police-gps-kill-switch-zero-trust-architecture/) - 日期: 2025-11-09T09:20:05+08:00 - 分类: [ai-security](/categories/ai-security/) - 摘要: 深度解析州警车辆GPS抑制系统的隐私安全架构设计，聚焦实时追踪与应急响应的工程平衡机制，为敏感系统的零信任架构提供可操作的设计框架。 ### [FFmpeg现代CPU汇编优化：SIMD向量指令与零拷贝内存访问的工程实现](/posts/2025/11/09/ffmpeg-simd-assembly-optimization-guide/) - 日期: 2025-11-09T09:03:35+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深入解析FFmpeg汇编语言课程中的现代CPU优化技术，从SSE2到AVX512的指令集演进，以及指针反向寻址、内存对齐等核心优化策略的实现细节。 ### [从GOTO到代数效应：控制结构的演进](/posts/2025/11/09/from-goto-to-algebraic-effects-control-structures-evolution/) - 日期: 2025-11-09T08:47:43+08:00 - 分类: [compiler-design](/categories/compiler-design/) - 摘要: 深入解析现代编程语言中algebraic effects的工程实现，从goto语句到structured programming再到algebraic effects的控制流演进。 ### [通过FFmpeg官方汇编课程深入理解现代CPU优化技术](/posts/2025/11/09/ffmpeg-assembly-lessons-modern-cpu-optimization/) - 日期: 2025-11-09T08:33:01+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 通过FFmpeg官方汇编语言教学体系，分析从底层汇编到视频编解码性能优化的完整学习路径 ### [Myna编程字体Unicode优化与渲染性能工程实践](/posts/2025/11/09/myna-unicode-optimization-engineering/) - 日期: 2025-11-09T08:17:48+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深入分析Myna字体在Unicode字符渲染、符号密集语言支持方面的技术架构，以及字体渲染性能优化的工程实现策略。 ### [ironclad-realtime-kernel-formal-verification](/posts/2025/11/09/ironclad-realtime-kernel-formal-verification/) - 日期: 2025-11-09T08:07:13+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深入解析 Ironclad 实时内核的形式化验证工程实践，探讨如何通过 SPARK/Ada 技术栈和数学证明确保硬实时系统的可靠性与安全性，为构建 mission-critical 嵌入式系统提供可操作的技术路径。 ### [Umami从SQLite到ClickHouse的可扩展数据存储架构解析](/posts/2025/11/09/umami-scalable-data-storage-architecture/) - 日期: 2025-11-09T08:02:06+08:00 - 分类: [application-security](/categories/application-security/) - 摘要: 深入剖析Umami如何通过Prisma ORM实现多数据库适配，提供从轻量级SQLite到企业级ClickHouse的渐进式扩展方案，并给出具体的部署和性能优化实践。 ### [valdi cross platform native performance](/posts/2025/11/09/valdi-cross-platform-native-performance/) - 日期: 2025-11-09 - 分类: [general](/categories/general/) - 摘要: 暂无摘要 ### [AI评估方法论的核心缺陷:基于牛津大学最新研究的深度分析](/posts/2025/11/09/ai-evaluation-methodology-weaknesses-oxford-study/) - 日期: 2025-11-09T07:48:25+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入分析牛津大学最新研究中揭示的AI系统评估方法论缺陷，探讨当前基准测试体系的问题，并为构建更robust的AI评估框架提供实用建议。 ### [从goto到现代代数效应：编程语言控制结构的演进与编译器工程视角](/posts/2025/11/09/control-structures-evolution-algebraic-effects/) - 日期: 2025-11-09T07:33:10+08:00 - 分类: [compiler-design](/categories/compiler-design/) - 摘要: 深入分析编程语言控制流抽象的历史演进，从早期goto语句到现代代数效应，探讨函数式编程中的异常处理、状态管理和并发控制，揭示编译器工程中的控制抽象层优化和类型安全保障机制。 ### [Valdi跨平台UI框架：零桥接架构如何实现真正的原生性能](/posts/2025/11/09/valdi-cross-platform-ui-zero-bridge-architecture/) - 日期: 2025-11-09T07:17:15+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深度解析Snapchat Valdi如何通过声明式编译和零桥接架构，实现单一代码库在多平台的高效原生渲染，与React Native/Flutter等框架的核心技术差异。 ### [从1958年代数语言到现代符号处理系统：Lisp奠基思想对编译器前端的工程价值](/posts/2025/11/09/symbolic-expression-processing-systems/) - 日期: 2025-11-09T07:02:45+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 从1958年Lisp的符号处理设计到现代编译器前端的架构演进，解析同像性、宏系统等核心技术对现代符号计算和解析器设计的工程启发。 ### [DBeaver 通用数据库工具的跨平台 Java 架构与企业级安全实践](/posts/2025/11/09/dbeaver-universal-database-tool-architecture/) - 日期: 2025-11-09T06:49:03+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深度解析 DBeaver 如何基于 OSGi/Eclipse RCP 构建可扩展的跨平台架构，及其企业级插件系统与安全实现，探讨其成为开发者最信赖数据库平台的工程化路径。 ### [Snapchat Valdi原生性能跨平台UI架构深度解析：零拷贝渲染管线与多平台一致性渲染策略](/posts/2025/11/09/snapchat-valdi-native-performance-cross-platform/) - 日期: 2025-11-09T06:17:47+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深入分析Snapchat Valdi的原生性能跨平台UI架构设计，聚焦零拷贝渲染管线与多平台一致性渲染策略的工程实现，探讨声明式TypeScript直接编译为原生视图的技术突破。 ### [Marko - HTML声明式语言的工程架构与性能优化实践](/posts/2025/11/09/marko-declarative-html-web-architecture/) - 日期: 2025-11-09T06:08:06+08:00 - 分类: [application-security](/categories/application-security/) - 摘要: 深入分析Marko如何通过Targeted Compilation和HTML流式渲染，重新定义声明式Web开发的技术架构和性能优化策略。 ### [从goto到代数效应:编程语言控制结构的演进与工程实践](/posts/2025/11/09/control-flow-evolution-from-goto-to-algebraic-effects/) - 日期: 2025-11-09T06:02:41+08:00 - 分类: [compiler-design](/categories/compiler-design/) - 摘要: 深入分析编程语言控制结构的历史演进，从早期的goto语句到现代的代数效应系统，探讨其在编译器设计和软件工程中的实际应用价值。 ### [Lima VM的零拷贝网络优化与容器虚拟化实现](/posts/2025/11/09/lima-vm-zero-copy-networking-container-virtualization/) - 日期: 2025-11-09T05:47:43+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深入分析 Lima VM 如何通过 virtio-net 和 vhost-net 实现零拷贝网络优化，以及其容器虚拟化架构的技术实现细节。 ## 热门分类 - [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)