Hux Blog

我干了什么 究竟拿了时间换了什么
FEATURED TAGS
软件基础 SF 笔记 Coq
ABOUT ME

For the next quantum leap
离开世界之前，一切都是过程

FRIENDS