问题的初现 在本人使用 MkDocs 搭建技术文档网站时，遇到了一个关于 LaTeX 公式渲染的棘手问题。具体来说，\boldsymbol 命令无法被正确渲染为粗斜体向量。页面在开发服务器（mkdocs serve）下首次加载时一切正常，公式显示完美。但只要我对 Markdown 文件进行任何修改并
发布于 2025-07-09
近期，本人在使用 MkDocs 构建项目文档时，遇到了一个颇为棘手的路径问题。我的 Markdown 文件在本地编辑器 Typora 中显示完全正常，所有图片都能正确加载。然而，通过 mkdocs serve 启动本地服务后，网站页面上的一部分图片却无法显示。这个现象引发了我的深入排查。
发布于 2025-07-09
Conda 是一个开源的跨平台包管理与环境管理工具，广泛应用于数据科学、机器学习及 Python 开发领域。它不仅能帮助用户快速安装、更新和卸载第三方库，还能创建相互隔离的虚拟环境，解决不同项目之间的依赖冲突问题。例如，项目 A 依赖 Python 3.7 和 NumPy 1.0，而项目 B 需要
发布于 2025-05-14
Visual Studio Code（以下简称 VS Code）无疑是当下最常用的代码编辑器。尽管微软的 VS Code 源代码采用 MIT 协议开源（意味着核心代码是开放透明的），但用户实际下载使用的「Visual Studio Code」客户端，其最终用户许可协议（EULA）并非自由开源软件（N
发布于 2025-05-12
之前本人完成了 Ubuntu 24.04 与 Windows 11 双系统的安装。本指南将手把手教你完成新系统部署后的关键配置，涵盖：系统级优化、Linux 生态必备工具链配置、跨平台生产力工具选型，助你打造媲美 Windows 的高效工作环境。 针对国内网络环境特点，本指南特别设计渐进式配置方案，
发布于 2025-03-25
Linux 是开源操作系统内核，广泛用于服务器和开发环境。Ubuntu 是一个基于 Linux 的开源操作系统，以用户友好和稳定性著称。Ubuntu 以高安全性著称，漏洞少，权限管理严格。相较于 Windows 系统它的稳定性和性能优异，适合各种硬件。 对于开发者而言，Ubuntu 预装了众多开发工
发布于 2025-03-24
刚开始我在 Windows 使用 MSYS2 MinGW 编译 Webots，但 Win 下涉及依赖和环境变量太多，难以逐一排查；链接库也出现很多问题。遂放弃 MSYS2 编译，转而使用 WSL 编译，参考 仓库 Wiki 教程 通过 WSL GUI 运行 Webots。 仓库克隆和子仓库克隆
发布于 2025-02-26
安装前的准备工作 确认 BIOS 模式和磁盘分区表类型 Windows 在 UEFI 和 BIOS 上的限制 不同版本的 Windows 对固件启动模式和分区表有不同的需求，根
发布于 2024-06-06
如果你看到了这一篇文章，那么证明你已经安装成功了，感谢使用 Halo 进行创作，希望能够使用愉快。
发布于 2024-05-28
