操作系统
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践
类型系统的高级应用：Dependent Type 在形式化验证与正确性证明中的实践——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
CPU-GPU 异构统一虚拟内存系统：AI 大规模训练的核心基础设施
深入解析 CPU-GPU 统一虚拟内存系统（CUDA Unified Memory + Linux HMM）的工作原理与实战优化，涵盖 page fault 机制、CUDA VMM API、GPUDirect RDMA/Storage、分页模型参数存储、内存 Advice 与 TLB 优化等 AI 训练核心基础设施技术。
Agentic时代加速到来：从华为全联接2026看'意图即服务'的操作系统革命
2026年9月华为全联接大会，鸿蒙7以Agentic架构重塑操作系统交互逻辑，从'人找服务'跨入'意图即服务'时代；同期Anthropic发出AI武器化警告、谷歌Gemini 3.8 Flash在智能体赛道全面发力——三重信号交汇，Agentic AI正在重新定义人机关系。
Linux 脚本换行符错误修复：Windows \r\n 转 Unix \n
解决 Linux 执行 Shell 脚本时出现的 /bin/bash^M: bad interpreter 错误，介绍 dos2unix 安装使用和多种换行符转换方法
用 Rust 从零编写 x86_64 操作系统：引导、分页与中断的实战深度解析
从零开始用 Rust 编写 x86_64 操作系统内核的实战教程，涵盖引导流程、四级页表构建、中断处理、VGA 文本输出以及 QEMU GDB 调试全流程，含丰富代码示例与工程陷阱解析。
PHP获取服务器详细信息：操作系统、PHP版本、运行环境等
本文详细介绍PHP中获取服务器各种信息的方法，包括操作系统、PHP版本、运行环境、服务器配置、客户端浏览器和操作系统信息等，并提供了完整实用的代码示例
操作系统安全的形式化验证：从 seL4 到 Verus 的工程实践路径
从seL4微内核的里程碑式验证出发，深入解析现代形式化验证工具链（Kani/Prusti/Verus）在操作系统安全领域的工程实践，包含完整代码示例与实战案例。
从独立工具到操作系统级入口：2026年9月AI全面入驻办公与生产力工具的深层变革
分析2026年9月AI全面入驻办公与生产力工具的深层变革：ChatGPT免费接入Word、中国大模型低价高智全球化、OpenAI+Google下一轮军备竞赛
Linux 大页内存、透明大页与 KSM 内存去重：AI 推理引擎内存子系统深度优化实践
系统拆解Linux大页内存三件套——HugePages、THP与KSM，结合vLLM/SGLang生产部署实战，提供降低P99延迟14%、吞吐提升18%的配置方案与eBPF监控脚本。
从命令式到声明式：NixOS 如何用纯函数式思维重塑 Linux 系统管理的工程实践
NixOS 系统配置是一个纯函数，输入是声明式表达式，输出是确定性构建结果。本文深入剖析 NixOS 的核心机制——内容寻址存储、原子事务升级、系统世代回滚、模块系统、Flakes 可复现构建——并提供可立即投入生产的实战代码。
