~hanwen >_

me
- write code, formulas, and poems
- currently a computer science graudate student
  - studying type systems
  - at the University of Utah
  - advised by Prof. Ben Greenman
  - cv
- find me at
  - [email protected]
  - GitHub
recent posts
- 01/12/2025 Use Typst for Math in Blog
- 09/22/2023 Gödel's β Function
interesting links
this site
- Posts are licenced under CC BY-NC-SA 4.0
- All right reserved for poems
- Also available in 简体中文