服务器使用教程(五) | DevOps
GitLab 开发流程
社区交流礼仪 | 提问的艺术
How To Ask Questions The Smart Way
Julia 学习笔记(番外) | 从 Python 到 Julia
LeetCode 刷题过程的学习收获
Ubuntu 教程(三) | shell 编程入门
B 站 shell 视频课的学习笔记
一行代码“玩转”魔方 | Python 实战
基于图像识别的魔方自动还原
Weyl 群扩张群的结构 | SageMath 实战
关于 Weyl 群的一个编程实战
Bloch 球与泡利矩阵 | 量子系列之二
Bloch 球的推导及性质
Git Submodule 命令使用教程
git submodule 的基本用法及其在项目中的实际应用场景。
Ubuntu 教程(一) | 必备软件的安装和配置
ubuntu 基础软件和进阶软件的汇总,方便重装系统时进行安装
交互式定理证明器 | Lean 简介
证明机器 Lean 的简单介绍及安装教程