关于

专栏图像
千里冰封被吊打的日常
千里冰封的个人专栏,平时发杂文用~

专栏话题

专栏介绍

千里冰封的个人专栏,一般来说只会发技术内容。主要话题有 IntelliJ IDEA,CLion,Java/Kotlin,JVM,Dependent Type,类型系统,PLT,Arend,Agda 等

编辑

00 后大二本科生,github: ice1000
非技术回答不定时清理
凡人,Fate/GO題目邀請拉黑
开心喵喵喵 ~
退乎一阵。
爱拓扑,爱几何,这里是可爱的数学女孩Sayako喵~