~hanwen >_

我
- 写公式、代码和诗
- CS 研究生在读
  - 研究类型系统
  - 就读于犹他大学
  - 师从 Prof. Ben Greenman
  - 简历（英文）
- 在这里找到我
  - [email protected]
  - GitHub
最近的文章
- 2025/01/13 使用 Typst 渲染博客中的数学公式
- 2023/09/22 哥德尔 β 函数
最近的诗
- 2025/01/14 草头
- 2024/11/15 平行世界
- 2024/05/16 绝句·贝斯
- 2024/01/05 面对
- 2023/10/15 春
- 以及更多
拾贝
这个网站
- 文章遵循 CC BY-NC-SA 4.0 协议
- 诗歌保留所有权利
- English