~hanwen >_

我
- 写公式、代码和诗
- CS 研究生在读
  - 研究类型系统
  - 就读于犹他大学
  - 师从 Prof. Ben Greenman
  - 简历（英文）
- 在这里找到我
  - guo@hanwen.io
  - GitHub
最近的文章
- 2025/04/20 如何快速找到一个配色方案
- 2025/02/28 使用 Typst 渲染博客，不止数学公式
- 2025/01/13 使用 Typst 渲染博客中的数学公式
- 2023/09/22 哥德尔 β 函数
最近的诗
- 2025/03/25 甜蜜
- 2025/01/14 草头
- 2024/11/15 平行世界
- 2024/05/16 绝句·贝斯
- 2024/01/05 面对
- 以及更多
拾贝
这个网站
- 文章遵循 CC BY-NC-SA 4.0 协议
- 诗歌保留所有权利
- English

A photo of me taken in April 2025 in Blacksburg, Virginia

2025/04 @ Blacksburg, VA