~hanwen >_
我
写公式、代码和诗
CS Ph.D. 在读
关注类型系统
于犹他大学
导师为 Prof. Ben Greenman
简历（英文）
联系我
guo@hanwen.io
GitHub
最近的文章
2023-09-22
哥德尔 β 函数
诗
2023-09-04
目中无人
2023-03-19
青梅竹马
2023-03-19
春，又一则
2023-01-02
二重奏，爱情何许人也与符号恋爱
2022-11-26
雪
2022-10-24
便利店之王
2022-03-08
菜市场之梦三首
2022-03-03
果汁记
2021-12-12
有思分裂
2021-08-19
青铜太阳
……以及更多
这个网站
rss
主题
文章均以 CC BY 4.0 协议开放
对诗歌保留所有权利
English