~hanwen >_
me
write poems, formulae and codes
currently a computer science Ph.D. student
studying type systems
at the University of Utah
advised by Prof. Ben Greenman
cv
find me at
guo@hanwen.io
GitHub
posts
2023-09-22
Gödel's β Function
this site
rss
theme
Posts are licensed under CC BY 4.0
All rights reserved for poems
简体中文