Home

梦幻课表 上的基本上全是logic/algebra 不过按照上个学期的效率肯定活不下来

这个学期很累但是有很多正反馈（总比上个学期好🚬） 感觉上的几门课都很适合我扒人体质 现在先把页面创建了然后慢慢放扒到的各种东西，， 这个学期总感觉啥都没干时间就没了 最大的后悔是没去上Loring Tu最后一次开在tufts开manifolds（希望有朝一日可以抱着他的UTX好好读完吧）

今天最后一天在REUSE了 想囤点东西 这样就可以忘记他们啦！（按照jay的建议）

如题

2023 Spring的学习生活 大学一半居然要过去了

2022 Fall的学习生活

Peter Fritz intro to propositional quantifiers里提到的 有点想去WG上讲 (Update (Jun 18 2023): 最后在DRP讲了！）

NASSLLI 22 的一些东西 还有HOM workshop(Call for paper一栏列了很多intro articles)