Tufts 23 Fall

 

这个学期很累但是有很多正反馈(总比上个学期好🚬) 感觉上的几门课都很适合我扒人体质

现在先把页面创建了然后慢慢放扒到的各种东西,,

这个学期总感觉啥都没干时间就没了 最大的后悔是没去上Loring Tu最后一次开在tufts开manifolds(希望有朝一日可以抱着他的UTX好好读完吧)

CS 150 Quantum Information Science

一开始被李老师仗着工作量不大骗进来的 9月硬学了点quantum Pre过了一下Robert Rand的工作 还有ZX-Calculus

MATH 190 Projective Geometry

Montsy🥰 这个课真的让我扒到了好多东西。。。 比如找出出了各种nepo babies 还有Larson’s一家

课程本身试图用几何方法来解决很多Projective Geometry的问题,先从Cross Ratio,Desargues Theorem,Pascals Theorem来带入传统的Projective Geometry 中间画了大量时间讲Quadrics(感觉这部分最好的exercise就是 the lines across three non-intersecting lines in $\mathbb{P}^3$ is a quadric (HW6.2))。最后一部分讲了更AG的东西(Cubics,Rational Normal Curves。。。)不过因为要腾时间给大家准备Pre没什么作业练习。

我的Pre做了Segre Embedding 因此读到了Miles Reid这个搞人 他的undergraduate algebraic geometry是我见过最抽象的教材 index里面标记了他开的所有玩笑 书的最后一部分甚至对category theorist和一群法国数学家直接开炮

CS 193 Program Synthesis

其实是跑去上Nada的课去了。终于上了个只用读paper跑artifact的PL Seminar。Pre讲了Nadia组的Leveraging Rust Types for Program Synthesis。

课上有个究极二次元搞子哥 有朝一日回去秋叶原的九州じゃんがら拉面朝圣的

MATH 293 Commutative Algebra

Dylan来找我们开的Reading Course 读的是的Atiyah Macdonald(DS瑞萍 it’s super boring but you really need to finish ALL the exercises if you want to do AG seriously) 草草地过了各种定义和构造 最大的用处是为下个学期Carl的课开路(Carl觉得学commutative algebra without knowing why you need the tool is miserable, and you should read Vakil’s FOAG and learn schemes first)

George大部分时间都在旁听 很多motivation和一些难的题都是他讲的 最抽象的是代数语境下的trace和norm(就是多项式中次数最低的两项的系数)

CS 107 Compilers

跟106老课友写了个支持laziness的小functional language(我跪谢三位队友)