嗨！
我是Val，正在牛津大学修计算机和哲学硕士学位，现在是本硕连读的第二年
对epistemology, metaphysics, philosophy of mathematics以及logic相关感兴趣，目前都还在入门阶段
除此之外，对aesthetics也有一定兴趣，偶尔也会瞄一眼读物哲的朋友们的书单
是在豆瓣上闲逛，看到了网站后找过来的，转了一圈发现些很有意思的logic stuff和学习tips，开心
希望可以和大家多多交流 > <
p.s. 我计算机选课暂时集中在computability / λ - calculus / quantum computing周围，似乎也有些相关，于是写上