# Hotdry Blog > 代码、系统与工程实践的长期写作记录，适合按文章、分类和归档路径持续检索。 ## 页面摘要 - 路径: /page/116/ - 当前页: 116 / 843 - 每页文章数: 20 - 文章总数: 16860 - 分类数: 267 - 归档年份数: 4 - 归档月份数: 17 ## 快速导航 - [分类索引](/categories/) - [归档索引](/archive/) - [关于](/about/) - [RSS](/rss.xml) ## 本页文章 ### [从零入门 Lean 交互式定理证明器：工程化学习路径](/posts/2026/02/19/getting-started-with-lean-interactive-theorem-prover/) - 日期: 2026-02-19T00:00:00+08:00 - 分类: [compilers](/categories/compilers/) - 摘要: 从函数式编程基础到形式化验证实践，提供面向工程师的 Lean 入门路径与关键里程碑。 ### [隐式提示注入：文本隐写术与 LLM 攻击向量的深度解析](/posts/2026/02/19/hidden-instruction-embedding-llm-attack-defense/) - 日期: 2026-02-19T00:00:00+08:00 - 分类: [security](/categories/security/) - 摘要: 深入解析通过隐写术在普通文本中隐藏仅机器可读指令的技术实现，探讨隐式提示注入的攻击向量与多层防御策略。 ### [从雄心勃勃到悄然退场：Ladybird 浏览器 Swift 适配的技术决策剖析](/posts/2026/02/19/ladybird-swift-adoption-abandonment/) - 日期: 2026-02-19T00:00:00+08:00 - 分类: [systems](/categories/systems/) - 摘要: 深入解析 Ladybird 浏览器放弃 Swift 适配的背后原因，探讨垃圾回收机制不匹配、C++ 互操作瓶颈与项目优先级权衡对跨平台语言策略的影响。 ### [Lean 交互式定理证明工程化入门：环境搭建与证明工作流实践](/posts/2026/02/19/lean-interactive-proof-engineering-getting-started/) - 日期: 2026-02-19T00:00:00+08:00 - 分类: [compilers](/categories/compilers/) - 摘要: 聚焦 Lean 4 与 VS Code 环境配置、InfoView 交互式证明调试工具的使用，以及两周入门路径的工程化实践参数。 ### [美国断供全球互联网自由工具的技术冲击：审查规避基础设施的断链风险与监控参数](/posts/2026/02/19/us-defunding-global-internet-freedom-tools-technical-impact/) - 日期: 2026-02-19T00:00:00+08:00 - 分类: [security](/categories/security/) - 摘要: 聚焦美国政策变动对开源审查规避工具链的技术影响，给出桥接中继容量、流量成本、监控阈值等可落地参数与工程化建议。 ### [通用文件转换器的流式架构设计：WASM沙箱与零拷贝工程实现](/posts/2026/02/18/streaming-architecture-universal-file-converter/) - 日期: 2026-02-18T23:49:11+08:00 - 分类: [systems](/categories/systems/) - 摘要: 解析 p2r3/convert 如何通过 WASM 沙箱执行、管道式内存管理与 Streams API 实现大文件零拷贝转换。 ### [CEL策略表达式语言实战手册：从示例到生产环境配置校验](/posts/2026/02/18/cel-policy-expression-language/) - 日期: 2026-02-18T23:18:24+08:00 - 分类: [web](/categories/web/) - 摘要: 通过CELbyExample示例系统学习Common Expression Language，掌握Kubernetes admission策略配置与生产环境错误处理最佳实践。 ### [从模型参数到基础设施：哈佛ML系统工程的桥接之道](/posts/2026/02/18/harvard-ml-systems-bridge-model-to-infrastructure/) - 日期: 2026-02-18T23:03:49+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 解析哈佛CS249R课程如何构建机器学习概念与系统基础设施之间的桥梁，涵盖模型参数、推理延迟、训练效率等核心权衡。 ### [Python 链式赋值的字节码实现原理：STORE_NAME 指令序列与 AST 转换差异](/posts/2026/02/18/chained-assignment-python-bytecode/) - 日期: 2026-02-18T22:46:34+08:00 - 分类: [compilers](/categories/compilers/) - 摘要: 深入解析 Python 字节码层面的链式赋值操作，揭示 DUP_TOP 指令如何实现「求值一次、赋值多次」的语义，以及 AST 与字节码表示的本质差异。 ### [为什么在Windows ARM模拟环境下AVX2性能反而不如SSE2](/posts/2026/02/18/why-avx2-slower-than-sse2-windows-arm-emulation/) - 日期: 2026-02-18T22:32:32+08:00 - 分类: [systems](/categories/systems/) - 摘要: 深入分析Windows on ARM模拟层中AVX2指令集性能劣于SSE2的微架构级根因，揭示256位向量到128位NEON翻译的工程挑战。 ### [Copilot邮件摘要漏洞分析：LLM应用中的数据流隔离缺陷与防护机制](/posts/2026/02/18/copilot-email-dlp-bypass-vulnerability-analysis/) - 日期: 2026-02-18T22:16:53+08:00 - 分类: [ai-security](/categories/ai-security/) - 摘要: 深度剖析Microsoft 365 Copilot因代码缺陷导致机密邮件被错误摘要的事件，揭示LLM应用数据流隔离的工程化防护要点。 ### [N64 游戏引擎 pyrite64 的渲染管线与内存优化工程实践](/posts/2026/02/18/pyrite64-n64-libdragon-engine/) - 日期: 2026-02-18T22:02:32+08:00 - 分类: [systems](/categories/systems/) - 摘要: 深入解析基于 libdragon 与 tiny3d 的 N64 游戏引擎 pyrite64，探讨 4MB 统一内存约束下的渲染管线设计与资源管理策略。 ### [Composio函数调用集成层：AI Agent的800+工具执行架构与多租户认证设计](/posts/2026/02/18/composio-function-calling-architecture/) - 日期: 2026-02-18T21:48:05+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深度解析Composio作为AI Agent工具执行层的架构设计，涵盖四层执行模型、函数调用协议、代理框架集成与多租户OAuth认证的工程实践。 ### [AI代理Function Calling接入100+外部工具的架构设计与集成模式](/posts/2026/02/18/ai-agent-function-calling-architecture/) - 日期: 2026-02-18T21:33:48+08:00 - 分类: [ai-systems](/categories/ai-systems/) - 摘要: 深度解析Composio如何通过标准化工具描述schema、认证流程与执行引擎，实现AI代理与100+外部服务的无缝集成。 ### [BarraCUDA开源编译器架构解析：CUDA到AMD GFX11的跨平台编译实战](/posts/2026/02/18/barracuda-cuda-amd-gfx11-compiler-backend/) - 日期: 2026-02-18T21:17:55+08:00 - 分类: [compilers](/categories/compilers/) - 摘要: 深入分析BarraCUDA的CUDA编译器后端架构，探讨从CUDA源码到AMD GFX11架构的跨平台编译管道、寄存器分配策略与指令映射技术细节。 ### [FreeBSD 15 + FreeIPA 原生 Kerberos/LDAP 统一身份认证实战](/posts/2026/02/18/freebsd-15-freeipa-native-kerberos-ldap-auth/) - 日期: 2026-02-18T21:03:12+08:00 - 分类: [systems](/categories/systems/) - 摘要: 基于 FreeIPA 构建 Native FreeBSD Kerberos/LDAP 统一身份认证体系，解析 KDC 部署、LDAP 后端配置与跨平台票据互信工程实践。 ### [FreeBSD 15 + FreeIPA 原生 Kerberos/LDAP 统一身份认证实战](/posts/2026/02/18/freebsd-15-freeipa-native-kerberos-ldap-integration/) - 日期: 2026-02-18T21:03:12+08:00 - 分类: [systems](/categories/systems/) - 摘要: 基于 FreeIPA 构建 Native FreeBSD Kerberos/LDAP 统一身份认证体系，解析 KDC 部署、LDAP 后端配置与跨平台票据互信工程实践。 ### [Intel 8087 FPU Microarchitecture Instruction Decoding Implementation Analysis](/posts/2026/02/18/intel-8087-fpu-microarchitecture-instruction-decoding/) - 日期: 2026-02-18T20:46:04+08:00 - 分类: [systems](/categories/systems/) - 摘要: 深入分析Intel 8087浮点协处理器的指令解码微架构，揭示PLA、微代码与硬连线电路的协同设计机制。 ### [GPU计算与传输流水线重叠：双缓冲设计与stall规避的工程实践](/posts/2026/02/18/gpu-compute-transfer-overlap-optimization-double-buffering-stall-avoidance/) - 日期: 2026-02-18T20:32:45+08:00 - 分类: [systems](/categories/systems/) - 摘要: 深入解析GPU计算与数据传输流水线重叠的调度策略，提供双缓冲实现参数与流水线stall规避的完整工程指南。 ### [为流式归档格式6cy实现块级动态编解码器选择算法](/posts/2026/02/18/implementing-dynamic-codec-selection-algorithm-for-streaming-archive-6cy/) - 日期: 2026-02-18T20:26:50+08:00 - 分类: [systems](/categories/systems/) - 摘要: 深入剖析6cy流式归档格式中，基于熵、重复模式和数据类型特征的块级动态编解码器选择算法的工程实现细节，包括特征提取、决策规则、实时监控与自适应调整。 ## 热门分类 - [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)