范畴论入门:一个友好的简介-Geek学院三期讲座
Geek学院三期讲座:通向Langlands纲领——代数数论简介
Geek学院三期讲座:Lean的初步介绍
Geek学院讨论班——李文威《代数学方法》——第一周
意识、知识、思维方式和通用人工智能——Geek学院三期沙龙
从微积分到上同调讨论班
Geek学院沙龙——紧黎曼曲面科普(上)(下半部分)
D.C.A.A, 集合论已死,类型论当立, ∞-type Café 暑期学校 2023
Geek学院沙龙——紧黎曼曲面科普(下)
Geek学院三期讲座:什么是几何(上)
Geek学院沙龙——同伦群和Hopf纤维
Geek学院沙龙--微分形式
Geek学院沙龙——系外行星探测与JWST在系外行星领域中的作用
子鱼, LLM自动定理证明的进展, ∞-type Café 暑期学校 2023
Trebor, 综合数学综述与数学基础多元主义, ∞-type Café 暑期学校 2023
千里冰封, 立方类型论(Cubical)入门 (第四节), ∞-type Café 暑期学校 2023
Geek学院沙龙——介绍一下GDC的"独立游戏节"
千里冰封, 立方类型论(Cubical)入门 (第五节), ∞-type Café 暑期学校 2023
oCaU, Agda综合哥德尔不完备, ∞-type Café 暑期学校 2023
从力学到几何