为什么中 nips 都没什么欲望写博客发个动态,倒是 lovelive 很想写 qaq   或许还是想把学术的兴奋阈值提高一点,娱乐的兴奋阈值降低一点吧,前者是 symbol 的教诲。   许久没有亚巡了吧。19 年的水亚巡,那时还不懂
一曲新词酒一杯,去年天气旧亭台。夕阳西下几时回?无可奈何花落去,似曾相识燕归来。小园香径独徘徊。   2018,symbol:“去实现你未完成的梦想。”   2019,左左:“把 final 进了再说。”   大概是有了这两句话,才真正意识
  2023 下半年几乎接连地宣布了异次元歌合战和 LoveLive 小组甲子园。后者虽规模不如前者(前者 108 人东蛋两天唱了 100 首),但作为 LL 自己的拼盘,更适合 LL 单推(对外单推,对内 dd),并且最重要的是,水雪虹星日莲,消失三年的雪雪、消失两年的 sun
  在 Weighted First-Order Model Counting (WFOMC) 的题目中经常用到图论多项式,所以学了一些东西,整理一下。 色多项式(Chromatic Polynomial)  这应该算是最简单的一种图论多项式了。  
  记录自己每年的变化挺好玩的。。。因为自己现在确实属于转型升级的时期。想起中山市曾经的标语:“加快转型升级,建设幸福和美家园。”   也不是很多时间,也就随便写一点了。   9 月 10 号发生了三件事。Liella 4th 宣布了举办
HKU CS PhD year 2,目前在搞的东西是 Weighted First-Order Logic Model Counting / Sampling,及其 parameterized complexity, Uniform Graphlet Sampling (streaming ver.