~hanwen >_

Hanwen Guo
currently a computer science graudate student
- at the University of Utah
- advised by Prof. Ben Greenman
- cv
- programming languages, gradual typing, type systems
- or: reducing the friction of adopting strong guarantees by, for example, gradualizing expressive type systems
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 简体中文

2026/01 @ Charleston, South Carolina