曾经在画的大饼叫 Counting and Sampling in Logic，现在闲时也会想一想：
- Weighted First-Order / Monadic Second-Order Model Counting / Sampling，通过 approximation、break symmetry 等方式泛化它，使它真的能用
一些许久没碰的题：
- Graphlet Sampling / Graphlet Distribution,
- Fine-Grained Complexity + Zero-Knowledge Proof,
- Cooperative Game Theory,
- Hypergraph Independent Set Sampling
- (Approximated) Counting and Sampling，主要是 spin system 相关
PhD 因为兴趣选择了 Theoretical Computer Science (TCS) 方向。但是做着做着时代变了，遂上班。
退役竞赛选手，AF OIer+ACMer，中山大学_无人之境 (SYSU_Unhindered) 45th World Final (Dhaka) 进了但是去不成，46th World Final (Luxor) 并列 26 名。出过些许题，为 OI 和 XCPC 贡献过一点锅绵薄之力。
LoveLiver，2016 年暑假入坑，恰逢缪退役水兴起之时，大约是个水水人+前四代 dd。二次元三次元手游谷子全方位厨，会看 live，现地过星 3rd、星 4th、AZUNA 1st 、小组甲子园、2024 亚巡广州上海场、水 FL。LL Days 封面好看的就会买。
动画喜欢看废萌、日常、轻百合、偶像，热番和猎奇番偶尔看，高质量老番慢慢补。逛漫展会去偶像舞台应援。
不宅的时候也很阳光的，hiking 和暴走爱好者，喜欢游历山水，走街串巷，骑行或步行遍历城市，偶尔随机游走，会跑步。
有一位美丽的姑娘一起前进。
正在做的事
- 上班
- 下班想题
- 看东方幻想万华镜、小南极、Clannad 第1季、摇曳露营第1季、邪神与厨二病第1季
- 争取有时间读 LL Days、美学哲学理论、文学理论