# Hotdry Blog > 代码、系统与工程实践的长期写作记录，适合按文章、分类和归档路径持续检索。 ## 页面摘要 - 路径: /page/592/ - 当前页: 592 / 843 - 每页文章数: 20 - 文章总数: 16860 - 分类数: 267 - 归档年份数: 4 - 归档月份数: 17 ## 快速导航 - [分类索引](/categories/) - [归档索引](/archive/) - [关于](/about/) - [RSS](/rss.xml) ## 本页文章 ### [KaTeX数学类型库性能优化与工程实践指南](/posts/2025/11/03/katex-math-typesetting-performance-optimization/) - 日期: 2025-11-03T18:08:10+08:00 - 分类: [application-security](/categories/application-security/) - 摘要: 深入解析KaTeX渲染引擎的性能优化策略，涵盖同步渲染机制、大规模公式处理、服务端渲染等关键技术要点与监控实践。 ### [FreeBSD Jails/Bhyve虚拟化架构深度解析：内核级容器技术相比Linux的安全与性能优势](/posts/2025/11/03/freebsd-jails-bhyve-virtualization-architecture/) - 日期: 2025-11-03T18:03:15+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 基于FreeBSD jails/bhyve虚拟化栈，深度解析内核级容器技术相比Linux的优势，包括资源隔离、安全性和性能调优实践。 ### [早期电影技术在城市基础设施动态记录中的工程实现：1900年巴黎移动人行道与Edison电影机](/posts/2025/11/03/edison-film-1900-paris-moving-sidewalk-cinematography-engineering/) - 日期: 2025-11-03T17:48:27+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 分析1900年巴黎世博会期间，移动人行道作为动态城市基础设施给早期电影技术带来的拍摄挑战，以及卢米埃尔兄弟cinematograph和Edison投影系统的工程解决方案。 ### [ECL浏览器运行时环境编译技术：Maxima数学系统的Web化实践](/posts/2025/11/03/ecl-browser-maxima-runtime-compilation/) - 日期: 2025-11-03T17:03:21+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深度分析ECL通过WebAssembly实现浏览器内Common Lisp运行时环境的技术路径，探讨Maxima数学系统的Web化移植挑战与性能权衡，揭示现代Web环境中编译型语言运行时的发展趋势。 ### [太赫兹芯片无线互联：突破硅-空气界面的工程挑战](/posts/2025/11/03/terahertz-wireless-interconnect-chips/) - 日期: 2025-11-03T16:48:29+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深入分析MIT团队在太赫兹芯片技术上的重大突破，探讨如何通过介电匹配片解决硅-空气界面反射问题，实现芯片级无线通信，并展望其在6G和数据中心互联中的产业应用前景。 ### [微软Agent Lightning的分布式训练编排架构：零代码修改的智能体强化学习训练](/posts/2025/11/03/microsoft-agent-lightning-distributed-training-orchestration/) - 日期: 2025-11-03T16:33:45+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深度解析微软Agent Lightning的Training-Agent解耦架构与LightningRL算法，重点关注大规模AI模型的工程化训练调度策略与性能优化。 ### [当模型操作流形：Transformer计数任务的几何机制分析](/posts/2025/11/03/when-models-manipulate-manifolds-counting-geometry/) - 日期: 2025-11-03T16:18:20+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入探索Transformer模型如何通过几何流形空间执行计数任务，分析其与生物神经元相似的空间感知机制，并揭示背后的数学原理。 ### [DeepCode多智能体架构解析：从Agentic Coding范式到工程化实现](/posts/2025/11/03/deepcode-agentic-coding-paradigm/) - 日期: 2025-11-03T16:03:10+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入分析DeepCode的开源Agentic Coding架构设计，探讨多智能体协作如何重塑AI辅助编程的工程实践范式。 ### [1900年Edison拍摄巴黎移动人行道：早期电影技术的工程突破](/posts/2025/11/03/edison-1900-paris-documentary-film-technology/) - 日期: 2025-11-03T15:33:22+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深度解析Edison团队在1890年代发明的Kinetograph摄影机技术：从感光胶片材料突破到齿轮驱动的间歇运动系统，揭秘1900年巴黎世博会现场拍摄的核心工程实现。 ### [当模型操纵流形：Transformer如何用几何方法解决计数难题](/posts/2025/11/03/when-models-manipulate-manifolds-geometry-counting-task/) - 日期: 2025-11-03T14:49:35+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 从微分几何视角揭示Transformer在计数任务中的深层机制：字符计数如何在高维空间中形成特征流形，注意力头如何通过几何变换实现边界检测，以及这一发现对理解神经网络几何结构的重要意义。 ### [用模型检查器重现AWS竞态条件故障：分布式系统形式化验证的工程化实践](/posts/2025/11/03/aws-race-condition-model-checker-formal-verification/) - 日期: 2025-11-03T14:35:13+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 通过Spin、TLA+等模型检查器构建AWS DynamoDB DNS管理系统模型，实现竞态条件的自动检测与故障复现，展示形式化验证在分布式系统调试中的实际价值。 ### [从理论到实践的鸿沟：反向传播作为抽象漏洞的认知陷阱](/posts/2025/11/03/backpropagation-leaky-abstraction-gap/) - 日期: 2025-11-03T14:02:43+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深入分析反向传播从理论抽象层到工程实践之间的认知差异，探讨抽象泄露如何导致深度学习中的'理论-实践鸿沟'。 ### [依赖类型在软件工程实践中的采用障碍与解决方案](/posts/2025/11/03/dependent-types-software-engineering-adoption/) - 日期: 2025-11-03T13:32:37+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 深入分析依赖类型在软件工程实践中的采用障碍、解决方案与工程价值，为现代软件开发提供类型安全保证。 ### [将URL设计为应用状态容器的工程架构](/posts/2025/11/03/url-as-application-state-container/) - 日期: 2025-11-03T13:19:25+08:00 - 分类: [application-security](/categories/application-security/) - 摘要: 探讨如何将URL构建为第一级状态容器的工程实践，包括状态序列化策略、客户端路由同步机制、历史栈管理及深度链接状态恢复技术。 ### [蓝牙芯片电磁侧信道异常检测与机器学习识别：构建IoT设备物理层安全防护体系](/posts/2025/11/03/bluetooth-electromagnetic-anomaly-detection/) - 日期: 2025-11-03T13:03:40+08:00 - 分类: [ai-security](/categories/ai-security/) - 摘要: 基于电磁信号异常模式识别与机器学习技术，构建蓝牙芯片物理层安全实时监控框架，实现攻击行为早期预警与防护响应。 ### [依赖类型在现代软件工程中的形式化验证实践：从Coq到Lean的工程化落地路径](/posts/2025/11/03/dependent-types-software-engineering-formal-verification/) - 日期: 2025-11-03T12:17:26+08:00 - 分类: [compiler-design](/categories/compiler-design/) - 摘要: 探讨依赖类型理论如何在编译期提供数学级别的正确性保证，通过Coq和Lean构建验证工具链，在CI/CD中实现超越传统测试的形式化验证，并分析实际工程项目的ROI与实施策略。 ### [依赖类型在现代软件工程中的实践路径：从定理证明到编译期安全检查](/posts/2025/11/03/dependent-types-practical-software-engineering/) - 日期: 2025-11-03T12:09:15+08:00 - 分类: [compiler-design](/categories/compiler-design/) - 摘要: 深入分析依赖类型在现代软件工程中的实践路径：从定理证明到编译期安全检查，探讨 Idris、Agda、Coq 在生产环境中的实际应用与工程化挑战。 ### [从理论到落地:Hands-On Large Language Models工程实践手册深度解析](/posts/2025/11/03/hands-on-large-language-models-oreilly-review/) - 日期: 2025-11-03T11:47:01+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深度解析O'Reilly官方《Hands-On Large Language Models》实践手册，涵盖12章完整工程路径、300+定制图表和可运行代码示例的实战价值。 ### [Suite Numérique Docs 架构深度解析：Django+React协作文档平台的工程实践](/posts/2025/11/03/suite-numerique-collaborative-documentation-architecture/) - 日期: 2025-11-03T11:34:09+08:00 - 分类: [application-security](/categories/application-security/) - 摘要: 深入分析基于Django Rest Framework和React的协作文档平台，重点探讨实时协作同步、前后端解耦架构、离线支持和可扩展性设计等核心技术实现。 ### [FreeBSD在现代自托管中的架构优势：重新让自托管变得有趣](/posts/2025/11/03/freebsd-modern-self-hosting-architecture-advantages/) - 日期: 2025-11-03T11:18:06+08:00 - 分类: [systems-engineering](/categories/systems-engineering/) - 摘要: 基于Jana Steuernagel的实践深入分析FreeBSD在现代自托管环境中的核心优势：Jail容器化、Bhyve虚拟化、系统架构优化和工程实现方案。 ## 热门分类 - [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)