47 posts au total

---

2021

11-07

重新开坑coq兼复盘之前的三个未解之谜

08-23

用无限序列来生成Fibonacci（的实现）

08-02

用Kotlin实现一个超简陋的BitTorrent客户端（二）

07-29

用Kotlin实现一个超简陋的BitTorrent客户端（一）

07-25

重新部署Hexo的踩坑记

07-25

于是又开了个blog

1970

01-01

(Archived) About me