I'm a postgraduate student at USTC since 2024/09, interested in PL, systems, and security.
- 🐶 Homepage: https://liuly.moe/.
- 🕊️ Blog: https://blog.liuly.moe/.
📝 Recent (zh-CN, Subscribe)
- 03-06: 形式语言与计算复杂性笔记
- 02-24: 非典型北京游记
- 01-24: 正则表达式求导
- 10-20: GeekGame 2024 Writeup
- 05-31: Monad 101