英字【程序员的范畴论入门】MIT: Programming with Categories
【数理逻辑导论】滑铁卢大学 Logic and Computation (CS 245, Prof. Shai Ben-David)
【俄勒冈编程语言暑校：编程及安全性的根基】OPLSS 2021: Foundations of Programming and Security
【微分几何】斯坦福大学 CS 468: Differential Geometry for Computer Science (Solomon)
英字【度量与希尔伯特空间】墨尔本大学 Metric and Hilbert spaces (Daniel Murfet)
【抽象代数2】Abstract Algebra II (James Cook, 2018 & 2019)
【计算理论】加州戴维斯 Theory of Computation (Phillip Rogaway)
英字【计算机网络导论】斯坦福大学 Introduction to Computer Networking (CS 144)
英字【集合论】加州伯克利大学 Set Theory | MATH-135 (Antonio Montalban)
英字【分析2: 傅里叶变换与函数空间】Analysis 2: Fourier Transform and Function Spaces (Tim Hsu)
英字【集合论】METU: Set Theory (MATH-320, Burak Kaya)
【抽象代数】Abstract Algebra (James Cook, 17 Fall)
【平面图算法】MIT 6.889: Algorithms for Planar Graphs and Beyond
【操作系统导论】威斯康星大学 CS-537: Introduction to Operating Systems
英字【编译原理】Compiler Construction, Sacramento State CSC 151 (Shobaki)
英字【数理逻辑导论】加州伯克利 Mathematical Logic | MATH-125A (Antonio Montalban)
英字补全中【高阶几何：双曲几何】UNAM Hyperbolic Geometry (Daniel Labardini)
【拓扑斯与范畴逻辑】墨尔本大学 Topos Theory and Categorical Logic (Daniel Murfet)
英字【经济数学基础】毕尔肯大学 Mathematics for Economists I (ECON 515, Prof. Semih Koray)
英字【点集拓扑】爱丁堡大学 General Topology (Clark Barwick)
