（本帖子长期有效） lz少院20级，现GAP。平时比较无聊，想认识一些有趣的人，可以碰撞出火花那种。 感觉写小作文容易浪费感情，故丢个个人网站在这里了： https://poet77.github.io 也没啥太多的期望，一些weak connection足矣。人活着总要有点社交，我也得有，但可以不多。
(声明：lz是non-binary，喜欢女，不希望被称呼kenan）
我也在用 neuro-symbolic 方法做定理证明，有兴趣可以交流
wyt2000 好啊，加我wx私聊吧（Poet_77_406）；什么时间都可以的
楼主有没有看过一本叫 Logic in Games 的书, 讲从逻辑学角度介绍的游戏理论
Eastwind 没呢，不过可以加到我的to do上hhh（日常画饼）
