Overview
Research
面向对象五十弦
程序语言语义学：数数手指一二三
如何阅读类型系统符号
一个依值类型 λ 演算的教学实现
Explain IO Monad in 2025
理解 W 算法
程序设计语言检查单 2024 版
十分钟计算机图形学
异步与协程 - 第二部分
异步与协程 - 第一部分
十分钟编译原理
TypeScript 历险记
FFmpeg 遇坑记
Five Minutes Rule
Literature
3201 的时光机
伊比的火车
妖精的怀表
塾师老汪
Wouldn't it be loverly?
山上的树
赤壁赋
岳阳楼记
滕王阁序
庄子·外篇·秋水（节选）
庄子·内篇·逍遥游（节选）
Resume
Friends
About