Git Submodule 命令使用教程
git submodule 的基本用法及其在项目中的实际应用场景。
Ubuntu 教程(一) | 必备软件的安装和配置
ubuntu 基础软件和进阶软件的汇总，方便重装系统时进行安装
交互式定理证明器 | Lean 简介
证明机器 Lean 的简单介绍及安装教程
服务器升级手记：从 Ubuntu 18.04 LTS 至最新 LTS 版本
从 Ubuntu 18.04 LTS 升级到最新 LTS 版本的全过程记录，避免踩坑。
docsify 文档编写及部署
docsify 文档编写及部署
Oh-My-Zsh 配置教程
非 sudo 用户安装 zsh 和配置 oh-my-zsh 的方法。
API 代理转发 | ChatGPT 应用实战
ChatGPT 应用篇，服务器作为代理，将请求转发到 OpenAI，再将返回结果转发给客户端
OpenAI API 调用 | Python 实战
OpenAI API 的简单封装，用于发送 prompt message 并返回 response。
十分钟部署 ChatGPT
通过 API 部署聊天工具，Railway 网站托管 or Azure 服务器托管