~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
  - guo AT hanwen DOT io
  - hanwen DOT guo AT utah DOT edu
  - GitHub
recent posts
- 11/27/2025 Finding Room for Keybindings in Emacs
- 11/11/2025 Magit in Terminal
- 04/19/2025 How to Find a Color Scheme Quickly
- 02/27/2025 Use Typst for More Than Math in Blog
- 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 简体中文

2025/08 @ Washington, D.C.