Ubuntu 教程(一) | 必备软件的安装和配置
ubuntu 基础软件和进阶软件的汇总,方便重装系统时进行安装
交互式定理证明器 | Lean 简介
证明机器 Lean 的简单介绍及安装教程
docsify 文档编写及部署
docsify 文档编写及部署
内网穿透 | FRP 使用教程
常见穿透工具包括:Ngrok, FRP, ZeroTier 等,本文仅介绍 FRP 的使用。
Oh-My-Zsh 配置教程
非 sudo 用户安装 zsh 和配置 oh-my-zsh 的方法。
API 代理转发 | ChatGPT 应用实战
ChatGPT 应用篇,服务器作为代理,将请求转发到 OpenAI,再将返回结果转发给客户端
十分钟部署 ChatGPT
通过 API 部署聊天工具,Railway 网站托管 or Azure 服务器托管
QR Code Learning Notes (8) | Project Summary
A summary of QR code -- QR code composition, error correction principle, usage introduction and future plan.
二维码学习笔记(八) | 项目总结
二维码总体的介绍:二维码构成,纠错原理,使用介绍和未来计划。
Julia 学习笔记(七) | 模块开发 - 远程开发
Julia 模块远程开发教程,包括 GitHub 部署,测试文档覆盖率和包的注册等。