CS3110 only have 2 chapters unfinished are type inference and curry - howard correspondance.

Datan open source arch lecture (MIT 6.004 + MIT 6.175) is work in 6.004 (ch6) video and 6.175 (lab2).

In mathematic, I just start the real number theory in Tao’s real analysis and order theory in Li’s algebra.