# Hotdry Blog > 代码、系统与工程实践的长期写作记录，适合按文章、分类和归档路径持续检索。 ## 页面摘要 - 路径: /page/564/ - 当前页: 564 / 843 - 每页文章数: 20 - 文章总数: 16860 - 分类数: 267 - 归档年份数: 4 - 归档月份数: 17 ## 快速导航 - [分类索引](/categories/) - [归档索引](/archive/) - [关于](/about/) - [RSS](/rss.xml) ## 本页文章 ### [点击诱饵编程语言的抽象层设计：从Tabloid语言探索语言设计的工程化实践](/posts/2025/11/09/tabloid-programming-language-abstraction-layer-design/) - 日期: 2025-11-09T14:17:09+08:00 - 分类: [compiler-design](/categories/compiler-design/) - 摘要: 深入解析Tabloid点击诱饵编程语言的设计哲学，探讨现代编译器中多层次抽象策略与工程化实现原理。 ### [轻量级模型推理优化：边缘计算场景下的量化与压缩技术实践](/posts/2025/11/09/edge-ai-inference-optimization/) - 日期: 2025-11-09T14:08:48+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 通过模型量化、动态批处理和智能缓存，构建资源高效的AI推理服务架构，提供从FP32到INT4的完整压缩路径和Qwen1.5-4B实战部署方案。 ### [OpenCloud:基于Go语言重构Nextcloud的工程架构深度解析](/posts/2025/11/09/go-nextcloud-alternative-engineering-analysis/) - 日期: 2025-11-09T14:03:19+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深入分析OpenCloud如何通过Go语言实现云存储、文件同步和用户管理的工程架构设计，探讨替代传统PHP方案的技术优势。 ### [通过逆向工程解析Codex CLI架构，掌握GPT-5-Codex-Mini推理优化实战](/posts/2025/11/09/reverse-engineering-codex-cli-gpt5-codex-mini-inference-optimization/) - 日期: 2025-11-09T13:47:17+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深度分析Codex CLI的技术架构与GPT-5-Codex-Mini轻量级推理优化策略，提供工程部署与参数调优的实战指南。 ### [Hephaestus：基于发现驱动的半结构化多智能体编排系统](/posts/2025/11/09/hephaestus-semi-structured-multi-agent-orchestration/) - 日期: 2025-11-09T13:33:10+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入解析Hephaestus框架如何通过三阶段工作流、智能体自主任务发现与动态资源分配，实现从静态编排到自适应系统的跃迁，并探讨其工程化实践路径与性能考量。 ### [构建Hephaestus多智能体协调引擎的架构设计：从零实现自主任务分配和冲突解决机制](/posts/2025/11/09/hephaestus-autonomous-multi-agent-orchestration/) - 日期: 2025-11-09T13:17:36+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入探讨Hephaestus半结构化智能体框架的架构设计，重点分析其自主任务分配和冲突解决机制的实现原理与工程实践。 ### [Avería字体：统计平均法在字体设计中的算法实现与工程价值](/posts/2025/11/09/average-font-statistical-design/) - 日期: 2025-11-09T13:05:38+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 分析Avería字体设计中的统计平均法实现，探讨如何通过数学算法生成平衡字符集，解决传统字体设计中的主观性与一致性挑战。 ### [Ironclad形式化验证实时内核：SPARK/Ada驱动的数学证明级系统可靠性](/posts/2025/11/09/ironclad-formal-verification-realtime-kernel/) - 日期: 2025-11-09T12:47:48+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深度解析Ironclad如何通过形式化验证技术构建实时Unix-like内核，实现数学证明级别的系统可靠性保障，探索形式化方法在OS内核设计中的工程实践。 ### [构建可维护的API目录系统：如何设计自动化分类、验证和更新机制](/posts/2025/11/09/maintainable-api-catalog-systems/) - 日期: 2025-11-09T12:34:19+08:00 - 分类: [application-security](/categories/application-security/) - 摘要: 基于public-apis项目实践经验，深入分析API目录维护的核心挑战，提供自动化分类、验证和更新机制的工程化解决方案。 ### [Snapchat Valdi零桥接架构：突破跨平台UI框架原生性能瓶颈](/posts/2025/11/09/snapchat-valdi-zero-bridge-native-performance-architecture/) - 日期: 2025-11-09T12:16:56+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入解析Snapchat Valdi跨平台UI框架的零桥接架构设计，探讨如何通过直接编译实现各平台原生性能，突破传统跨平台框架性能瓶颈的工程实践。 ### [BettaFish多Agent舆情分析从0实现：不依赖框架的工程实践与零依赖架构设计](/posts/2025/11/09/multi-agent-sentiment-analysis-from-scratch/) - 日期: 2025-11-09T12:07:27+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深度解析BettaFish从零构建的多Agent舆情分析系统，聚焦不依赖任何框架的工程决策、ForumEngine协作机制，以及舆情分析的垂直技术实现细节。 ### [Tinker后训练工程实践：微调、量化与部署的工程化路径及AI评估方法论优化](/posts/2025/11/09/tinker-post-training-engineering-practices/) - 日期: 2025-11-09T12:04:22+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深度解析Tinker的后训练工程实践，从模型微调、量化到部署的全流程工程化实现，探讨在当前AI评估方法论存在根本缺陷的背景下，如何构建科学的后训练优化方案。 ### [BeagleBoard USB引导调试：通过USB嗅探器解决omap_loader在现代PC上的兼容性问题](/posts/2025/11/09/beagleboard-usb-boot-debugging-sniffer/) - 日期: 2025-11-09T11:47:36+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深度解析BeagleBoard基于OMAP3的USB启动机制，探讨现代PC环境下的兼容性问题，并提供USB协议分析解决方案 ### [Tabloid:用Clickbait语法为信息噪声建模的编程语言设计](/posts/2025/11/09/tabloid-clickbait-language-abstraction/) - 日期: 2025-11-09T11:32:30+08:00 - 分类: [compiler-design](/categories/compiler-design/) - 摘要: 分析Tabloid编程语言如何将clickbait新闻标题的语法抽象为编程范式，探讨这种设计如何形式化信息噪声并实现内容价值评估的语法化表达。 ### [基于Go语言的云存储平台：零拷贝I/O与类型安全构建Nextcloud高性能替代方案](/posts/2025/11/09/go-cloud-native-storage-zero-copy/) - 日期: 2025-11-09T11:17:58+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 探讨用Go语言重写云存储平台的技术实践，重点分析类型安全和零拷贝I/O在构建高性能Nextcloud替代方案中的关键作用，以及与主流Python/Node.js方案的技术差异。 ### [SPARK/Ada 形式化验证在 Ironclad 内核中的工程实践](/posts/2025/11/09/ironclad-formal-verification-os-kernel/) - 日期: 2025-11-09T11:03:43+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 从系统调用到中断处理，解析基于 SPARK/Ada 的 Ironclad 操作系统如何将数学证明融入工程实践，为安全关键系统提供形式化保障。 ### [通过USB嗅探器调试BeagleBoard引导问题:在现代PC上修复omap_loader的硬件接口与驱动开发](/posts/2025/11/09/beagleboard-usb-boot-debugging-omap-loader/) - 日期: 2025-11-09T10:49:06+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: BeagleBoard作为开源硬件的重要代表，其OMAP3530处理器支持USB启动功能。本文深入探讨在现代PC环境下如何通过USB嗅探技术调试BeagleBoard的引导问题，并提供修复omap_loader兼容性问题的实用方案。 ### [AI驱动的微内核插件架构：NocoBase的零耦合扩展性设计](/posts/2025/11/09/nocobase-ai-microkernel-architecture/) - 日期: 2025-11-09T10:33:30+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深度解析NocoBase如何通过AI集成的微内核架构实现零耦合业务模块解耦与运行时动态装配，为企业级应用提供可扩展的解决方案。 ### [基于1958年代数语言构建现代编译器架构：符号表达式处理、模式匹配优化与中间表示生成系统](/posts/2025/11/09/symbolic-expressions-compiler-optimization-architecture/) - 日期: 2025-11-09T10:17:33+08:00 - 分类: [compiler-design](/categories/compiler-design/) - 摘要: 探讨1958年Lisp语言的设计思想如何影响现代编译器架构，重点分析符号表达式的同象性、模式匹配优化技术以及中间表示生成系统的设计原理。 ### [Tinker后训练流水线优化：工程化实现与实战策略](/posts/2025/11/09/tinker-post-training-pipeline-optimization/) - 日期: 2025-11-09T10:10:23+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入解析Tinker后训练流水线的工程化优化方法，涵盖数据处理、模型调优和性能调参的实战策略与最佳实践。 ## 热门分类 - [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)