学习空间

ubuntu 基础软件和进阶软件的汇总，方便重装系统时进行安装

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

docsify 文档编写及部署

常见穿透工具包括：Ngrok, FRP, ZeroTier 等，本文仅介绍 FRP 的使用。

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

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

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

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

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

Julia 模块远程开发教程，包括 GitHub 部署，测试文档覆盖率和包的注册等。