~hanwen >_

郭瀚文
CS 研究生在读
- 就读于犹他大学
- 师从 Prof. Ben Greenman
- 简历（英文）
- 编程语言、渐进类型（gradual typing）、类型系统
- 或：通过渐进化富有表达力的类型系统等方式，降低采用强静态保证的门槛
在这里找到我
- guo AT hanwen DOT io
- hanwen DOT guo AT utah DOT edu
- GitHub
最近的文章
- 2025/11/28 在 Emacs 中腾出更多快捷键空间
- 2025/11/12 从终端启动 Magit
- 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 January 2026 in Charleston, South Carolina.

2026/01 @ Charleston, South Carolina