烂裤子の小站

关于此博客

2022-07-02

视频服务器折腾历程

2022-09-13

生活 > 折腾

Idris2 Getting Started

2022-09-11

Coding > Idris2

《为了女儿，我说不定连魔王都能干掉。》观后感

2022-08-11

恋爱三两事

2022-07-04

毕业三两事

2022-07-02

2022-07-02

工具 > 排版 > LaTeX