学习空间

证明机器 Lean 的简单介绍及安装教程

从 Ubuntu 18.04 LTS 升级到最新 LTS 版本的全过程记录，避免踩坑。

大模型系列

docsify 文档编写及部署

非 sudo 用户安装 zsh 和配置 oh-my-zsh 的方法。

ChatGPT 应用篇，服务器作为代理，将请求转发到 OpenAI，再将返回结果转发给客户端

OpenAI API 的简单封装，用于发送 prompt message 并返回 response。

通过 API 部署聊天工具，Railway 网站托管 or Azure 服务器托管

A summary of QR code -- QR code composition, error correction principle, usage introduction and future plan.

二维码总体的介绍：二维码构成，纠错原理，使用介绍和未来计划。