2022学习计划
春节过完了，要好好整理下今年的计划了
(有时间会更新进度)
PLT方面： 三本Type theory书 Types and Programming Languages (10%) Proofs and Types Advanced Topics in Types and Programming Languages，如果有时间看看Programming Language方面的书籍(待定哪本书) 操作系统方面： 汇编部分 CSAPP 第二部分 (1%) https://asmtutor.com/， 学堂在线的操作系统课程 有余力在读读linux programming方面的书籍 算法 Algorithms.in.C.Part.5.3rd.Edition.2001.8 在学习完操作系统之后需要读的书 数据库方面，以前也是只会用，今年会系统学习一下，毕竟自学的我是从顶向下学习的散修麻 postgresql入门 https://www.postgresqltutorial.com/ (10%) https://www.icourse163.org/course/XDU-1002199005#/info 西电的基础数据库课程 https://www.youtube.com/playlist?list=PLSE8ODhjZXjZaHA6QcxDfJ0SIWBzQFKEG CMU的数据库课程，初步的代码 编程语言 C++ Bjarne Stroustrup大佬的 The C++ Programming Language Fourth Edition (10%) 设计模式 https://refactoringguru.
Read more...