人物. Kokic Liu [kokic][edit]
人物. Kokic Liu [kokic][edit]
Curriculum Vitae [cv][edit]
Curriculum Vitae [cv][edit]
Translation, en-GB to zh-CN. “Jon Sterling - 数学排版工具之要求”. In October 7, 2025. Also see Requirements for typesetting mathematics.
Open Source Project. Kodama, A Typst-friendly static Zettelkästen site generator. Inspired by Jon Sterling’s Forester. In January 19, 2025 - $\infty$.
Lecture Note. “A Correspondence between Stack Permutations and Binary Trees via Hille Encoding”. In December 10, 2024.
Lecture Note. “A Brief Survey of UMAP”. In November 9, 2024.
Competitive Programming. Codewars Rank 2 kyu. Top 1.659%. In October 2024.
Conference Participant. Workshop on Formal Proofs and Lean. In National University of Singapore, The Institute for Mathematical Sciences, Apr 15, 2024 - Apr 26, 2024.
Mini-Course Participant. Algebraic $K$-Theory and Prismatic Cohomology. Longke Tang. In Beijing International Center for Mathematical Research, December 12, 2023 - January 3, 2024.
Visiting Scholar. The integration of Lean4 theorem prover with large language models. Peking University. In Beijing International Center for Mathematical Research, November 2023 - September 2024. Related Projects & Papers: “Herald: A Natural Language Annotated Lean 4 Dataset”, Powered by jixia, A static analysis tool for Lean 4. “A Semantic Search Engine for Mathlib4”, Powered by LeanSearch, A semantic search engine for Lean 4 projects.
Acknowledged Contributor. “EgoLocate: Real-time Motion Capture, Localization, and Mapping with Sparse Body-mounted Sensors”. In ACM SIGGRAPH 2023.
链接 [links][edit]
链接 [links][edit]
| Ashitemaru | ashitemaru.github.io | |
| Colin’s Blog | blog.oyyko.com | |
| 洛衣博客 | www.lozumi.com | |
| 废紙时雨 | blog.shigure.fun | |
| Xinyu Yi | xinyu-yi.github.io | |
| dada 的研究站 | kono-dada.github.io | |
| 徐天乐 | blog.xtlsoft.top | |
| Lambdaiae | tonyxty.github.io | |
| Chang Wang | scholar.google.com/citations?… | |
| 迷亭的日记 | m1ting.github.io | |
| Spore | blog.spore.ink | |
| Studying Father’s blog | studyingfather.com |
| 卡布奇诺 | cybcatppuccino.github.io | |
| 王进一 | simplicialcat.github.io | |
| 辜开源 | sites.google.com/view/gubao | |
| 唐珑珂 | web.math.princeton.edu/~longket | |
| 张峻铭 | www.llddeddym.site | |
| 徐诩绫目 Xuxuayame | home.ustc.edu.cn/~xuxuayame | |
| Reinhardt 的魔法小屋 | reinhardthk.github.io |
| 肖梁 | faculty.bicmr.pku.edu.cn/~lxiao | |
| 陈华一 | chenhuayi.lab.westlake.edu.cn | |
| 李文威的数学主页 | www.wwli.asia | |
| 李超 | www.math.columbia.edu/~chaoli | |
| 望月新一＠数理研 | www.kurims.kyoto-u.ac.jp/~motizuki | |
| 斎藤 毅 | www.ms.u-tokyo.ac.jp/~t-saito | |
| James Milne | www.jmilne.org | |
| Dustin Clausen | www.ihes.fr/~dustin | |
| Jacob Lurie | www.math.ias.edu/~lurie | |
| Borcherds | math.berkeley.edu/people/faculty/richard-e-borcherds | |
| Joseph Silverman | www.math.brown.edu/johsilve | |
| Don Zagier | people.mpim-bonn.mpg.de/zagier |
| Oleg Kiselyov - Index | okmij.org/ftp | |
| 蒋炎岩 | jyywiki.cn |
| Paul Erdös | www.emis.de/classics/Erdos | |
| kerodon | kerodon.net | |
| Gaitsgory’s DAG | people.mpim-bonn.mpg.de/gaitsgde/Book | |
| The Rising Sea | math.stanford.edu/~vakil/216blog | |
| The Stacks project | stacks.math.columbia.edu | |
| 香蕉空间 | www.bananaspace.org | |
| $n$Lab | ncatlab.org | |
| 1Lab | 1lab.dev | |
| LMFDB | www.lmfdb.org | |
| $\beta$-LMFDB | beta.lmfdb.org | |
| Math Genealogy | www.genealogy.math.ndsu.nodak.edu |