Merge branch 'PKUFlyingPig:master' into master

docs/CS学习规划.md

@@ -10,7 +10,7 @@
 
 学会提问：也许你会惊讶，提问也算计算机必备技能吗，还放在第一条？我觉得在开源社区中，学会提问是一项非常重要的能力，它包含两方面的事情。其一是会变相地培养你自主解决问题的能力，因为从形成问题、描述问题并发布、他人回答、最后再到理解回答这个周期是非常长的，如果遇到什么鸡毛蒜皮的事情都希望别人最好远程桌面手把手帮你完成，那计算机的世界基本与你无缘了。其二，如果真的经过尝试还无法解决，可以借助开源社区的帮助，但这时候如何通过简洁的文字让别人瞬间理解你的处境以及目的，就显得尤为重要。推荐阅读[提问的智慧](https://github.com/ryanhanwu/How-To-Ask-Questions-The-Smart-Way/blob/main/README-zh_CN.md)这篇文章，这不仅能提高你解决问题的概率和效率，也能让开源社区里无偿提供解答的人们拥有一个好心情。
 
-[MIT-Missing-Semester](编程入门/MIT-Missing-Semester.md) 这门课覆盖了这些工具中绝大部分，而且有相当详细的使用指导，强烈建议小白学习。
+[MIT-Missing-Semester](编程入门/MIT-Missing-Semester.md) 这门课覆盖了这些工具中绝大部分，而且有相当详细的使用指导，强烈建议小白学习。不过需要注意的一点是，在课程中会不时提到一些与开发流程相关的术语。因此推荐至少在学完计算机导论级别的课程之后进行学习。
 
 [翻墙](必学工具/翻墙.md)：由于一些众所周知的原因，谷歌、GitHub 等网站在大陆无法访问。然而很多时候，谷歌和 StackOverflow 可以解决你在开发过程中遇到的 99% 的问题。因此，学会翻墙几乎是一个内地 CSer 的必备技能。（考虑到法律问题，这个文档提供的翻墙方式仅对拥有北大邮箱的用户适用）。
 
@@ -58,7 +58,9 @@ IDE (Integrated Development Environment)：集成开发环境，说白了就是
 
 ### 服务器端环境配置
 
-推荐一个非常不错的 GitHub 项目 [DevOps-Guide](https://github.com/Tikam02/DevOps-Guide)，其中涵盖了非常多的运维方面的基础知识和教程，例如 Docker, Kubernetes, Linux, CI-CD, GitHub Actions 等等。
+服务器端的运维需要掌握 Linux（或者其他类 Unix 系统）的基本使用以及进程、设备、网络等系统相关的基本概念，小白可以参考中国科学技术大学 Linux 用户协会编写的[《Linux 101》在线讲义](https://101.lug.ustc.edu.cn/)。如果想深入学习系统运维相关的知识，可以参考 [Aspects of System Administration](https://stevens.netmeister.org/615/) 这门课程。
+
+另外，如果需要学习某个具体的概念或工具，推荐一个非常不错的 GitHub 项目 [DevOps-Guide](https://github.com/Tikam02/DevOps-Guide)，其中涵盖了非常多的运维方面的基础知识和教程，例如 Docker, Kubernetes, Linux, CI-CD, GitHub Actions 等等。
 
 ## 课程地图
 
@@ -143,6 +145,7 @@ IDE (Integrated Development Environment)：集成开发环境，说白了就是
 
 #### Python
 
+- [CS50P: CS50's Introduction to Programming with Python](编程入门/CS50P.md)
 - [Harvard CS50: This is CS50x](编程入门/CS50.md)
 - [UCB CS61A: Structure and Interpretation of Computer Programs](编程入门/CS61A.md)
 
@@ -177,7 +180,11 @@ IDE (Integrated Development Environment)：集成开发环境，说白了就是
 
 ### 数据结构与算法
 
-算法是计算机科学的核心，也是几乎一切专业课程的基础。如何将实际问题通过数学抽象转化为算法问题，并选用合适的数据结构在时间和内存大小的限制下将其解决是算法课的永恒主题。如果你受够了老师的照本宣科，那么我强烈推荐伯克利的 [UCB CS61B: Data Structures and Algorithms](数据结构与算法/CS61B.md) 和普林斯顿的 [Coursera: Algorithms I & II](数据结构与算法/Algo.md)，这两门课的都讲得深入浅出并且会有丰富且有趣的编程实验将理论与知识结合起来。此外，对一些更高级的算法以及 NP 问题感兴趣的同学可以学习伯克利的算法设计与分析课程 [UCB CS170: Efficient Algorithms and Intractable Problems](数据结构与算法/CS170.md)。
+算法是计算机科学的核心，也是几乎一切专业课程的基础。如何将实际问题通过数学抽象转化为算法问题，并选用合适的数据结构在时间和内存大小的限制下将其解决是算法课的永恒主题。如果你受够了老师的照本宣科，那么我强烈推荐伯克利的 [UCB CS61B: Data Structures and Algorithms](数据结构与算法/CS61B.md) 和普林斯顿的 [Coursera: Algorithms I & II](数据结构与算法/Algo.md)，这两门课的都讲得深入浅出并且会有丰富且有趣的编程实验将理论与知识结合起来。
+
+以上两门课程都是基于 Java 语言，如果你想学习 C/C++ 描述的版本，可以参考斯坦福的数据结构与基础算法课程 [Stanford CS106B/X: Programming Abstractions](编程入门/CS106B_CS106X.md)。偏好 Python 的同学可以学习 MIT 的算法入门课 [MIT 6.006: Introduction to Algorithms](数据结构与算法/6.006.md)
+
+对一些更高级的算法以及 NP 问题感兴趣的同学可以学习伯克利的算法设计与分析课程 [UCB CS170: Efficient Algorithms and Intractable Problems](数据结构与算法/CS170.md) 或者 MIT 的高阶算法 [MIT 6.046: Design and Analysis of Algorithms](数据结构与算法/6.046.md)。
 
 ### 软件工程
 

docs/Web开发/mitweb.en.md

@@ -15,5 +15,5 @@ Within a month, you will master the core content of designing, building, beautif
 ## Resources
 
 - Course Website: <https://weblab.mit.edu/schedule/>
-- Recordings: refer to the course website
+- Recordings: refer to the course website.
-- Assignments: refer to the course website
+- Assignments: refer to the course website.

docs/index.md

@@ -4,9 +4,7 @@
 
 # 前言
 
-**最近更新：英文版正在[建设中](https://github.com/PKUFlyingPig/cs-self-learning/issues/222)，增加陈天奇[机器学习编译](机器学习系统/MLC.md)，增加 CMU [机器学习系统](机器学习系统/CMU10-414.md), 增加 [学习工作流](必学工具/workflow.md)**
+**最近更新：[Release v1.0.1](https://github.com/PKUFlyingPig/cs-self-learning/releases/tag/v1.0.1) 已发布 🎉**
-<!-- **最近更新：增加[Caltech CS 122: Database System Implementation](./数据库系统/CS122.md) ，重新整理[好书推荐](./%E5%A5%BD%E4%B9%A6%E6%8E%A8%E8%8D%90.md)模块 ~** -->
-<!-- **最近更新：增加南京大学[操作系统课程](操作系统/NJUOS.md)，增加毕业论文[写作教程](必学工具/thesis.md) ～** -->
 
 这是一本计算机的自学指南，也是对自己大学三年自学生涯的一个纪念。
 

docs/体系结构/CS61C.en.md

@@ -19,8 +19,8 @@ In a word, this is the best computer architecture course I have ever taken.
 - Course Website: <https://cs61c.org/su20/>
 - Recordings: [Youtube](https://www.youtube.com/playlist?list=PLDoI-XvXO0aqgoMQvogzmf7CKiSMSUS3M)
 - Textbook: None
-- Assignments: 11 Labs, 4 Projects, the course website has specific requirements
+- Assignments: 11 Labs, 4 Projects, the course website has specific requirements.
 
 ## Personal Resources
 
-All the resources and assignments used by @PKUFlyingPig in this course are maintained in [PKUFlyingPig/CS61C-summer20 - GitHub](https://github.com/PKUFlyingPig/CS61C-summer20)
+All the resources and assignments used by @PKUFlyingPig in this course are maintained in [PKUFlyingPig/CS61C-summer20 - GitHub](https://github.com/PKUFlyingPig/CS61C-summer20).

docs/体系结构/CSAPP.en.md

@@ -23,6 +23,6 @@ After completing this course, your understanding of computer systems will defini
 - Course Website: <http://csapp.cs.cmu.edu/>
 - Recordings: <https://scs.hosted.panopto.com/Panopto/Pages/Sessions/List.aspx#folderID=%22b96d90ae-9871-4fae-91e2-b1627b43e25e%22>
 - Textbook: Computer Systems: A Programmer's Perspective, 3/E
-- Assignments: 11 Projects, [skeleton code all open source](http://csapp.cs.cmu.edu/3e/labs.html)
+- Assignments: 11 Projects, [skeleton code all open source](http://csapp.cs.cmu.edu/3e/labs.html).
 
 If you have trouble with Chapter 7 Linking, I recommend reading the book *Programmer's Self-Cultivation*, subtitled link. load and library. This book can complete our understanding of program linking, and I believe after reading this book you will have a deeper comprehension of program linking, ELF files, and dynamic libraries. It is highly recommended to be read as a supplementary material after reading CSAPP and having a certain understanding of computer systems.

docs/体系结构/DDCA.en.md

@@ -18,4 +18,4 @@ There are 9 labs in the course. You will use the Basys 3 FPGA board and [Vivado]
 - Recordings: <https://www.youtube.com/playlist?list=PL5Q2soXY2Zi_FRrloMa2fUYWPGiZUBQo2>
 - Textbook1: Patt and Patel, Introduction to Computing Systems
 - Textbook2: Harris and Harris, Digital Design and Computer Architecture (MIPS Edition)
-- Assignments: refer to the course website
+- Assignments: refer to the course website.

docs/好书推荐.md

@@ -57,6 +57,7 @@
 
 - Engineering a Compiler [[豆瓣](https://book.douban.com/subject/5288601/)]
 - Compilers: Principles, Techniques, and Tools [[豆瓣](https://book.douban.com/subject/1866231/)]
+- [Crafting Interpreters](https://craftinginterpreters.com/contents.html)[[豆瓣]](https://book.douban.com/subject/35548379/)[[开源中文翻译]](https://github.com/GuoYaxiang/craftinginterpreters_zh)
 
 ## 计算机编程语言
 

docs/并行与分布式系统/CS149.en.md

@@ -17,8 +17,8 @@ The goal of this course is to provide a deep understanding of the fundamental pr
 - Course Website: [CMU15418](http://15418.courses.cs.cmu.edu/spring2016/), [CS149](https://gfxcourses.stanford.edu/cs149/fall21)
 - Recordings: <http://15418.courses.cs.cmu.edu/spring2016/lectures>
 - Textbook: None
-- Assignments: <https://gfxcourses.stanford.edu/cs149/fall21>, 5 assignments
+- Assignments: <https://gfxcourses.stanford.edu/cs149/fall21>, 5 assignments.
 
 ## Personal Resources
 
-All the resources and assignments used by @PKUFlyingPig in this course are maintained in [PKUFlyingPig/CS149-parallel-computing - GitHub](https://github.com/PKUFlyingPig/CS149-parallel-computing)
+All the resources and assignments used by @PKUFlyingPig in this course are maintained in [PKUFlyingPig/CS149-parallel-computing - GitHub](https://github.com/PKUFlyingPig/CS149-parallel-computing).

docs/并行与分布式系统/MIT6.824.en.md

@@ -17,12 +17,12 @@ This course is so famous that you can easily have access to the project solution
 ## Resources
 
 - Course Website: <https://pdos.csail.mit.edu/6.824/schedule.html>
-- Assignments: refer to the course website
+- Assignments: refer to the course website.
 - Textbook: None
-- Assignments: 4 torturing projects, the course website has specific requirements
+- Assignments: 4 torturing projects, the course website has specific requirements.
 
 ## Personal Resources
 
-All the resources and assignments used by @PKUFlyingPig in this course are maintained in [PKUFlyingPig/MIT6.824 - GitHub](https://github.com/PKUFlyingPig/MIT6.824)
+All the resources and assignments used by @PKUFlyingPig in this course are maintained in [PKUFlyingPig/MIT6.824 - GitHub](https://github.com/PKUFlyingPig/MIT6.824).
 
 @[OneSizeFitsQuorum](https://github.com/OneSizeFitsQuorum) has written a [Lab Documentation](https://github.com/OneSizeFitsQuorum/MIT6.824-2021) that quite clearly describes many of the details to be considered when implementing lab 1-4 and challenge 1-2, you can read when you encounter bottlenecks ~ ~

docs/必学工具/LaTeX.md

@@ -6,7 +6,7 @@
 
 LaTeX 是一种基于 TeX 的排版系统，由图灵奖得主 Lamport 开发，而 Tex 则是由 Knuth 最初开发，这两位都是计算机界的巨擘。当然开发者强并不是我们学习 LaTeX 的理由，LaTeX 和常见的所见即所得的 Word 文档最大的区别就是用户只需要关注写作的内容，而排版则完全交给软件自动完成。这让没有任何排版经验的普通人得以写出排版非常专业的论文或文章。
 
-Berkeley计算机系教授 Christos Papadimitriou 曾说过一句半开玩笑的话：
+Berkeley 计算机系教授 Christos Papadimitriou 曾说过一句半开玩笑的话：
 
 > Every time I read a LaTeX document, I think, wow, this must be correct!
 
@@ -22,3 +22,11 @@ Berkeley计算机系教授 Christos Papadimitriou 曾说过一句半开玩笑的
 [Part-1]: https://www.overleaf.com/latex/learn/free-online-introduction-to-latex-part-1
 [Part-2]: https://www.overleaf.com/latex/learn/free-online-introduction-to-latex-part-2
 [Part-3]: https://www.overleaf.com/latex/learn/free-online-introduction-to-latex-part-3
+
+其他值得推荐的入门学习资料如下：
+
+- 一份简短的安装 LaTeX 的介绍 [[GitHub](https://github.com/OsbertWang/install-latex-guide-zh-cn)] 或者 TEX Live 指南（texlive-zh-cn）[[PDF](https://www.tug.org/texlive/doc/texlive-zh-cn/texlive-zh-cn.pdf)] 可以帮助你完成安装和环境配置过程
+- 一份（不太）简短的 LaTeX2ε 介绍（lshort-zh-cn）[[PDF](https://mirrors.ctan.org/info/lshort/chinese/lshort-zh-cn.pdf)] [[GitHub](https://github.com/CTeX-org/lshort-zh-cn)] 是由 CTEX 开发小组翻译的，可以帮助你快速准确地入门，建议通读一遍
+- 刘海洋的《LaTeX 入门》，可以当作工具书来阅读，有问题再查找，跳过 CTEX 套装部分
+- [现代 LaTeX 入门讲座](https://github.com/stone-zeng/latex-talk)
+- [一份其实很短的 LaTeX 入门文档](https://liam.page/2014/09/08/latex-introduction/)

docs/必学工具/Vim.en.md

@@ -28,7 +28,7 @@ Ctrl and Esc keys are probably two of the most used keys in Vim. However, these
 In order to make it easier to reach these keys, you can remap CapsLock to Esc or Ctrl.
 
 On Windows, [Powertoys](https://learn.microsoft.com/en-us/windows/powertoys/) or [AutoHotkey](https://www.autohotkey.com/) can be used to achieve this goal.    
-On macOS, you can remap keys in system settings, see this [page](https://vim.fandom.com/wiki/Map_caps_lock_to_escape_in_macOS).
+On macOS, you can remap keys in system settings, see this [page](https://vim.fandom.com/wiki/Map_caps_lock_to_escape_in_macOS). [Karabiner-Elements](https://karabiner-elements.pqrs.org/) also works.
 
 A better solution is to make CapsLock function as Esc and Ctrl simultaneously. Click CapsLock to send Esc, hold CapsLock to use it as Ctrl key.
 

docs/必学工具/Vim.md

@@ -32,7 +32,7 @@ MacOS 系统提供了重映射键位的[设置](https://vim.fandom.com/wiki/Map_
 但更佳的做法是同时将 CapsLock 映射为 Ctrl 和 Esc，点按为 Esc，按住为 Ctrl。
 
 Windows 系统下，这个[AutoHotKey gist](https://gist.github.com/sedm0784/4443120) 实现了这个功能。    
-MacOS 可以导入[这个 karabiner rule](https://ke-complex-modifications.pqrs.org/#caps_lock_tapped_escape_held_left_control) 重映射。
+MacOS 可以导入这个[karabiner rule](https://ke-complex-modifications.pqrs.org/#caps_lock_tapped_escape_held_left_control) 重映射。
 
 ## 推荐参考资料
 

docs/必学工具/tools.md

@@ -4,7 +4,7 @@
 
 - [Sci-Hub](https://sci-hub.se/): Elbakyan 女神向你挥手，旨在打破知识壁垒的革命性网站。
 - [Library Genesis](http://libgen.is/): 电子书下载网站。
-- [Z-library](https://singlelogin.me/): 电子书下载网站(目前仅在 [Tor](https://www.torproject.org/) 运行)。
+- [Z-library](https://z-lib.is/): 电子书下载网站（在 [Tor](https://www.torproject.org/) 下运行较佳，[链接](http://loginzlib2vrak5zzpcocc3ouizykn6k5qecgj2tzlnab5wcbqhembyd.onion/)）。
 - [Z-ePub](https://z-epub.com/): ePub 电子书下载网站。
 - [PDF Drive](https://www.pdfdrive.com/): PDF 电子书搜索引擎。
 - [MagazineLib](https://magazinelib.com/): PDF 电子杂志下载网站。

docs/操作系统/CS162.en.md

@@ -25,7 +25,7 @@ Although it is tough, Stanford, Berkeley, JHU and many other top U.S. colleges h
 - Course Website: <https://cs162.org/>
 - Lecture Videos: <https://www.youtube.com/watch?v=YfHY0pvpRkk>, videos for each lecture can be found on the course website.
 - Textbook: [Operating Systems: Principles and Practice (2nd Edition)](http://ospp.cs.washington.edu/)
-- Assignments: <https://cs162.org/>, 6 Homework, 3 Projects, the course website has specific requirements
+- Assignments: <https://cs162.org/>, 6 Homework, 3 Projects, the course website has specific requirements.
 
 ## Personal Resources
 

docs/数学基础/MITLA.en.md

@@ -10,7 +10,7 @@
 
 Gilbert Strang, a great mathematician at MIT, still insists on teaching in his eighties. His classic text book [Introduction to Linear Algebra](https://math.mit.edu/~gs/linearalgebra/) has been adopted as an official textbook by Tsinghua University. After reading the PDF version, I felt deeply guilty and spent more than 200 yuan to purchase a genuine version in English as collection. The cover of this book is attached below. If you can fully understand the mathematical meaning of the cover picture, then your understanding of linear algebra will definitely reach a new height.
 
-![image](https://math.mit.edu/~gs/linearalgebra/linearalgebra5_Front.jpg)
+![image](https://math.mit.edu/~gs/linearalgebra/ila5/linearalgebra5_Front.jpg)
 
 In addition to the course materials, the famous Youtuber **3Blue1Brown**'s video series [The Essence of Linear Algebra](https://www.youtube.com/playlist?list=PLZHQObOWTQDPD3MizzM2xVFitgF8hE_ab) are also great learning resources.
 

docs/数学基础/MITLA.md

@@ -10,7 +10,7 @@
 
 数学大牛 Gilbert Strang 老先生年逾古稀仍坚持授课，其经典教材 [Introduction to Linear Algebra](https://math.mit.edu/~gs/linearalgebra/) 已被清华采用为官方教材。我当时看完盗版 PDF 之后深感愧疚，含泪花了两百多买了一本英文正版收藏。下面附上此书封面，如果你能完全理解封面图的数学含义，那你对线性代数的理解一定会达到新的高度。
 
-![image](https://math.mit.edu/~gs/linearalgebra/linearalgebra5_Front.jpg)
+![image](https://math.mit.edu/~gs/linearalgebra/ila5/linearalgebra5_Front.jpg)
 
 配合油管数学网红 **3Blue1Brown** 的[线性代数的本质](https://www.youtube.com/playlist?list=PLZHQObOWTQDPD3MizzM2xVFitgF8hE_ab)系列视频食用更佳。
 

docs/数学进阶/The_Information_Theory_Pattern_Recognition_and_Neural_Networks.en.md

@@ -1,4 +1,4 @@
-# The Information Theory, Patter Recognition, and Neural Networks
+# The Information Theory, Pattern Recognition, and Neural Networks
 
 ## Descriptions
 

docs/数学进阶/The_Information_Theory_Pattern_Recognition_and_Neural_Networks.md

@@ -1,4 +1,4 @@
-# The Information Theory, Patter Recognition, and Neural Networks
+# The Information Theory, Pattern Recognition, and Neural Networks
 
 ## 课程简介
 

docs/数据库系统/15445.en.md

@@ -15,7 +15,7 @@ The course project [Bustub](https://github.com/cmu-db/bustub) is an educational
 ## Resources
 
 - Course Website: [Fall2019](https://15445.courses.cs.cmu.edu/fall2019/schedule.html), [Fall2020](https://15445.courses.cs.cmu.edu/fall2020/schedule.html), [Fall2021](https://15445.courses.cs.cmu.edu/fall2021/schedule.html)
-- Assignments: refer to the course website
+- Recording: refer to the course website.
 - Textbook: Database System Concepts
 - Assignments: 4 Projects
 
@@ -29,7 +29,7 @@ If you have more time you can try them all, and when you do not understand the t
 
 ## Personal Resources
 
-All the resources and assignments used by [@ysj1173886760](https://github.com/ysj1173886760) in this course are maintained in [ysj1173886760/Learning:db - GitHub](https://github.com/ysj1173886760/Learning/tree/master/db)
+All the resources and assignments used by [@ysj1173886760](https://github.com/ysj1173886760) in this course are maintained in [ysj1173886760/Learning:db - GitHub](https://github.com/ysj1173886760/Learning/tree/master/db).
 
 Due to Andy's request, the repository does not contain the source code for the project, only the solution for homework. In particular, for Homework1, [@ysj1173886760](https://github.com/ysj1173886760) wrote a shell script to help you evaluate your solution automatically.
 

docs/数据库系统/15445.md

@@ -13,7 +13,7 @@
 
 ## 课程资源
 
-- 课程网站：[Fall2019](https://15445.courses.cs.cmu.edu/fall2019/schedule.html), [Fall2020](https://15445.courses.cs.cmu.edu/fall2020/schedule.html), [Fall2021](https://15445.courses.cs.cmu.edu/fall2021/schedule.html)
+- 课程网站：[Fall2019](https://15445.courses.cs.cmu.edu/fall2019/schedule.html), [Fall2020](https://15445.courses.cs.cmu.edu/fall2020/schedule.html), [Fall2021](https://15445.courses.cs.cmu.edu/fall2021/schedule.html), [Fall2022](https://15445.courses.cs.cmu.edu/fall2022/schedule.html)
 - 课程视频：课程网站免费观看
 - 课程教材：Database System Concepts
 - 课程作业：4 个 Project
@@ -24,6 +24,8 @@
 
 在 Fall2021 中，第一个 Project 是做缓存池管理，第二个 Project 是做哈希索引，第四个 Project 是做并发控制。
 
+在 Fall2022 中，与 Fall2021 相比只有哈希索引换成了 B+ 树索引，其余都一样。
+
 如果大家有精力的话可以都去尝试一下，或者在对书中内容理解不是很透彻的时候，尝试用代码写一个会加深你的理解。
 
 ## 资源汇总

docs/数据库系统/15799.md

@@ -0,0 +1,31 @@
+# CMU 15-799: Special Topics in Database Systems
+
+## 课程简介
+
+- 所属大学：CMU
+- 先修要求：CMU 15-445
+- 编程语言：C++
+- 课程难度：🌟🌟🌟
+- 预计学时：80 小时
+
+    这门课目前只开了两次：fall2013 和 spring2022，讨论了数据库领域的一些前沿主题。fall2013 讨论了 Streaming、Graph DB、NVM 等，spring2022 主要讨论 Self-Driving DBMS，都提供有相关论文。
+
+    spring2022 版课程任务：
+
+    任务一：基于 `PostgreSQL` 进行手动性能调优；
+
+    任务二：基于 [NoisePage Pilot](https://github.com/cmu-db/noisepage-pilot) 改进 Self-Driving DBMS，不限特性。
+
+    授课更贴近讲座的形式，编程任务较少。对一般同学可以开拓一下视野，对专精数据库的同学可能帮助较大。
+
+## 课程资源
+
+- 课程主页
+  
+  - [CMU15-799 - Special Topics in Database Systems](https://15799.courses.cs.cmu.edu/fall2013)
+    
+  - [CMU15-799 - Special Topics: Self-Driving Database Management Systems](https://15799.courses.cs.cmu.edu/spring2022/)
+    
+- 课程视频：暂无
+  
+- 课程作业：2 Projects + 1 Group Project

docs/数据库系统/CS346.md

@@ -8,20 +8,23 @@
 - 课程难度：🌟🌟🌟🌟🌟
 - 预计学时：150 小时
 
-RedBase 是 cs346 的一个项目，实现了一个简易的数据库系统，项目是高度结构化的。整个项目能够被分为以下几个部分（同时也是 4 个 lab 需要进行完善）：
+RedBase 是 cs346 的一个项目，实现了一个简易的数据库系统，项目是高度结构化的。整个项目能够被分为以下几个部分（同时也是 4 个需要完善的 lab）：
+
 1. The record management component：记录管理组件。
+
 2. The index component：B+ 索引管理。
+
 3. The System Management Component：ddl语句、命令行工具、数据加载命令、元数据管理。
+
 4. The Query Language Component：在这个部分需要实现 RQL Redbase 查询语言。RQL 要实现 select、insert、delete、update 语句。
-5. Extension Component：除了上述数据库系统的基本功能组件，还需要实现一个扩展组件，可以是Blob类型、 网络模块、连接算法、CBO优化器、OLAP、事务等。
+
+5. Extension Component：除了上述数据库系统的基本功能组件，还需要实现一个扩展组件，可以是 Blob 类型、 网络模块、连接算法、CBO 优化器、OLAP、事务等。
 
 RedBase 适合在学完 CMU-15445 后继续学习数据库系统中的其他组件，因为其代码量不多，可以方便的根据需要扩展代码。同时代码完全由 C++ 编写，也可以用于练习 C++ 编程技巧。
 
-
 ## 课程资源
 
 - 课程网站：<https://web.stanford.edu/class/cs346/2015/>
 - 课程代码：<https://github.com/junkumar/redbase.git>
 - 课程教材：无
 - 课程作业：4 Projects + 1 Extension
-

docs/数据结构与算法/6.006.en.md

@@ -0,0 +1,20 @@
+# MIT 6.006: Introduction to Algorithms
+
+## Descriptions
+
+- Offered by: MIT
+- Prerequisites: Introductory level courses of programming (CS50/CS61A/CS106A or equivalent)
+- Programming Languages: Python
+- Difficulty: 🌟🌟🌟🌟🌟
+- Class Hour: 100 hours+
+
+Probably the most precious course from the EECS department of MIT. Taught by Erik Demaine, one of the geniuses in Algorithms.
+
+Compared with CS106B/X (Data structures and algorithms using C++), 6.006 emphasizes the algorithms more. It also covers several classical data structures such as AVL trees. You may use it to learn more about algorithms after CS106B/X.
+
+## Course Resources
+
+- Course Website: [Fall 2011](https://ocw.mit.edu/courses/6-006-introduction-to-algorithms-fall-2011/)
+- Recordings: [Fall 2011](https://www.bilibili.com/video/BV1b7411e7ZP)
+- Textbooks: Introduction to Algorithms (CLRS)
+- Assignments: [Fall 2011](https://ocw.mit.edu/courses/6-006-introduction-to-algorithms-fall-2011/pages/assignments/)

docs/数据结构与算法/6.006.md

@@ -0,0 +1,20 @@
+# MIT 6.006: Introduction to Algorithms
+
+## 课程简介
+
+- 所属大学：MIT
+- 先修要求：计算机导论(CS50/CS61A or equivalent)
+- 编程语言：Python
+- 课程难度：🌟🌟🌟🌟🌟
+- 预计学时：100h+
+
+MIT-EECS 系的瑰宝。授课老师之一是算法届的奇才 Erik Demaine. 相比较于斯坦福的 [CS106B/X](../编程入门/CS106B_CS106X.md)（基于 C++ 的数据结构与算法课程），该课程更侧重于算法方面的详细讲解。课程也覆盖了一些经典的数据结构，如 AVL 树等。个人感觉在讲解方面比 CS106B 更加详细，也弥补了 CS106B 在算法方面讲解的不足。适合在 CS106B 入门之后巩固算法知识。
+
+不过该课程也是出了名的难，大家需要做好一定的心理准备。
+
+## 课程资源
+
+- 课程网站：[Fall 2011](https://ocw.mit.edu/courses/6-006-introduction-to-algorithms-fall-2011/)
+- 课程视频：[Fall 2011](https://www.bilibili.com/video/BV1b7411e7ZP)
+- 课程教材：Introduction to Algorithms (CLRS)
+- 课程作业：[Fall 2011](https://ocw.mit.edu/courses/6-006-introduction-to-algorithms-fall-2011/pages/assignments/)

docs/数据结构与算法/6.046.en.md

@@ -0,0 +1,22 @@
+# MIT 6.046: Design and Analysis of Algorithms
+
+## Descriptions
+
+- Offered by: MIT
+- Prerequisites: Introductory level courses of Algorithms (6.006/CS61B/CS106B/CS106X or equivalent)
+- Programming Languages: Python
+- Difficulty: 🌟🌟🌟🌟🌟
+- Class Hour: 100 hours+
+
+Part 2 of the MIT Algorithms Trilogy. Taught by Erik Demaine, Srini Devadas, and Nancy Lynch.
+
+Compared with 6.006 where you just learn and use the algorithms directly, in 6.046 you will be required to learn a methodology to "Design and analyze" algorithms to solve certain problems. There are few programming exercises in this course, and most of the assignmnets are about proposing an algorithm and do some mathematical proofs. Therefore, it would be much harder than 6.006.
+
+Part 3 of the MIT Algorithms Trilogy is 6.854 Advanced Algorithms. But for the most of the exercises you'll encounter in tests and job-hunting, 6.046 is definitely enough.
+
+## Course Resources
+
+- Course Website: [Spring 2015](https://ocw.mit.edu/courses/6-046j-design-and-analysis-of-algorithms-spring-2015/)
+- Recordings: [Spring 2015](https://www.bilibili.com/video/BV1A7411E737)
+- Textbooks: Introduction to Algorithms (CLRS)
+- Assignments: [Spring 2015](https://ocw.mit.edu/courses/6-046j-design-and-analysis-of-algorithms-spring-2015/pages/assignments/)

docs/数据结构与算法/6.046.md

@@ -0,0 +1,22 @@
+# MIT 6.046: Design and Analysis of Algorithms
+
+## 课程简介
+
+- 所属大学：MIT
+- 先修要求：算法入门(6.006/CS61B/CS106B/CS106X or equivalent)
+- 编程语言：Python
+- 课程难度：🌟🌟🌟🌟🌟
+- 预计学时：100h+
+
+6.006的后续课程。授课老师依旧是 Erik Demaine 和 Srini Devadas，此外还有一位新老师 Nancy Lynch.
+
+相比较于“现学现用”的6.006，6.046更加侧重于如何运用课上所学到的内容举一反三，设计出一套完备的算法并能够证明该算法能解决相应的问题。虽然该课程在板书以及作业中的编程语言为 Python，但基本上没有编程作业；绝大部分的作业都是提出要求，然后需要学生进行算法设计以及合理性证明。所以该课程的难度又提高了一大截:)
+
+在该门课程后还有一门 6.854 高级算法，但对于绝大多数考试以及应聘来说，学完该课程基本上已经能覆盖99%的题目了。
+
+## 课程资源
+
+- 课程网站：[Spring 2015](https://ocw.mit.edu/courses/6-046j-design-and-analysis-of-algorithms-spring-2015/)
+- 课程视频：[Spring 2015](https://www.bilibili.com/video/BV1A7411E737)
+- 课程教材：Introduction to Algorithms (CLRS)
+- 课程作业：[Spring 2015](https://ocw.mit.edu/courses/6-046j-design-and-analysis-of-algorithms-spring-2015/pages/assignments/)

docs/机器学习/CS229.en.md

@@ -0,0 +1,22 @@
+# CS229: Machine Learning
+
+## Descriptions
+
+- Offered by: Stanford
+- Prerequisite requirements: Advanced Mathematics, Probability Theory, Python, Solid mathematics skills
+- Programming Languages: None
+- Difficulty:🌟🌟🌟🌟
+- Class Hour: 100 hours
+
+This is another ML course offered by Andrew Ng. Since it is graduate-level, it focuses more on the mathematical theory behind machine learning. If you are not satisfied with using off-the-shelf tools but want to understand the essence of the algorithm, or aspire to engage in theoretical research on machine learning, you can take this course. All the lecture notes are provided on the course website, written in a professional and theoretical way, requiring a solid mathematical background.
+
+## Resources
+
+- Course Website: <http://cs229.stanford.edu/syllabus.html>
+- Recordings: <https://www.bilibili.com/video/BV1JE411w7Ub>
+- Textbook: None, but the lecture notes is excellent.
+- Assignments: Not open to the public.
+
+## Personal Resources
+
+All the resources and assignments used by @PKUFlyingPig in this course are maintained in [PKUFlyingPig/CS229 - GitHub](https://github.com/PKUFlyingPig/CS229).

docs/机器学习系统/CMU10-414.md

@@ -4,9 +4,9 @@
 
 - 所属大学：CMU
 - 先修要求：系统入门(eg.15-213)、深度学习入门、基本的数学知识
-- 编程语言：N/A（据课程主页，要求熟悉Python、C/C++）
+- 编程语言：Python, C++
-- 课程难度：N/A
+- 课程难度：🌟🌟🌟
-- 预计学时：N/A
+- 预计学时：100小时
 
 <!-- 用一两段话介绍这门课程，内容包括但不限于：
     （1）课程覆盖的知识点范围
@@ -15,15 +15,20 @@
     （4）自学这门课的注意点（踩过的坑、难度预警等等）
     （5）... ...
 -->
-这是 CMU 2022年秋季学期开设的一门新课，聚焦于深度学习框架的具体实现，课程 Project 会实现一个迷你的类似于 Pytorch 深度学习框架。课程免费提供了面向非 CMU 学生的在线版本，9月13日正式授课，作者持续跟进中。
+深度学习的快速发展和广泛使用很大程度上得益于一系列简单好用且强大的编程框架，例如 Pytorch 和 Tensorflow 等等。但大多数从业者只是这些框架的“调包侠”，对于这些框架内部的细节实现却了解甚少。如果你希望从事深度学习底层框架的开发，或者只是像我一样好奇这些框架的内部实现，那么这门课将会是一个很好的起点。
+
+课程的内容大纲覆盖了深度学习系统“全栈”的知识体系。从现代深度学习系统框架的顶层设计，到自微分算法的原理和实现，再到底层硬件加速和实际生产部署。为了更好地掌握理论知识，学生将会在5个课程作业中从头开始设计和实现一个完整的深度学习库 Needle，使其能对计算图进行自动微分，能在 GPU 上实现硬件加速，并且支持各类损失函数、数据加载器和优化器。在此基础上，学生将实现几类常见的神经网络，包括 CNN，RNN，LSTM，Transformer 等等。
+
+即使你是深度学习领域的小白也不必过于担心，课程将会循序渐进地从简单分类问题和反向传播优化讲起，一些相对复杂的神经网络都会有配套的 jupyter notebook 详细地描述实现细节。如果你有一定的相关基础知识，那么在学习完自微分部分的内容之后便可以直接上手课程作业，难度虽然不大但相信一定会给你带来新的理解。
+
+这门课两位授课教师 [Zico Kolter](https://zicokolter.com/) 和 [Tianqi Chen](https://tqchen.com/) 将所有课程内容都发布了对应的开源版本，但在线评测账号和课程论坛的注册时间已经结束，只剩下框架代码里的本地测试供大家调试代码。或许可以期待明年秋季学期的课程还会发布相应的在线版本供大家学习。
 
 ## 课程资源
 
 - 课程网站：<https://dlsyscourse.org>
-- 课程视频：N/A
+- 课程视频：<https://www.youtube.com/watch?v=qbJqOFMyIwg>
-- 课程教材：N/A
+- 课程作业：<https://dlsyscourse.org/assignments/>
-- 课程作业：TBA
 
 ## 资源汇总
 
-TBA
+@PKUFlyingPig 在学习这门课中用到的所有资源和作业实现都汇总在 [PKUFlyingPig/CMU10-714 - GitHub](https://github.com/PKUFlyingPig/CMU10-714) 中。

docs/系统安全/MIT6.858.en.md

@@ -24,6 +24,6 @@ In the Final Project, you will build a remote file system, [SecFS](https://www.u
 ## Resources
 
 - Course Website: <http://css.csail.mit.edu/6.858/2022/>
-- Assignments: refer to the course website
+- Assignments: refer to the course website.
 - Textbook: None
 - Assignments:  4 Labs + Final Project / Lab5

docs/编程入门/CS110L.en.md

@@ -25,6 +25,6 @@ Personally, I find the concept of "futures" in Rust fascinating and elegant, and
 
 ## Personal Resources
 
-All the resources and assignments used by @PKUFlyingPig in this course are maintained in [PKUFlyingPig/CS110L - GitHub](https://github.com/PKUFlyingPig/CS110L)
+All the resources and assignments used by @PKUFlyingPig in this course are maintained in [PKUFlyingPig/CS110L - GitHub](https://github.com/PKUFlyingPig/CS110L).
 
 Due to the rapid evolution of Rust, the libraries used in the 2020 version of the course project are obsolete, so [@fung-hwang](https://github.com/fung-hwang) tried to adapt these libraries (in November 2022). His adaptation advice and completed assignments are maintained in [fung-hwang/CS110L-2020spr - GitHub](https://github.com/fung-hwang/CS110L-2020spr). It is possible that Rust and these libraries will have changed again when you start to learn CS110L, but you can still refer to this repo for help.

docs/编程入门/CS50P.en.md

@@ -0,0 +1,20 @@
+# CS50P Introduction to Programming with Python
+
+## Descriptions
+
+- Offered by: Harvard University
+- Prerequisites: No prerequisites
+- Programming Languages: Python
+- Difficulty: 🌟🌟
+- Class Hour: 30-40 hours
+
+One of the CS50 families, taught by David J. Malan. You'll learn how to program in Python and "Pythonic" ways to deal with everthing. The course also introduces libraries, code testing, and handling exceptions.
+
+No programming experiences are assumed. So it may be appropriate for anyone who wants to learn Python.
+
+## Course Resources
+
+- Course Website: [2022](https://cs50.harvard.edu/python/2022/)
+- Recordings: [2022](https://www.bilibili.com/video/BV1z5411X7wX)
+- Textbooks: No textbook required
+- Assignments: [2022](https://cs50.harvard.edu/python/2022/)

docs/编程入门/CS50P.md

@@ -0,0 +1,20 @@
+# CS50P Introduction to Programming with Python
+
+## 课程简介
+
+- 所属大学：Harvard University
+- 先修要求：无
+- 编程语言：Python
+- 课程难度：🌟🌟
+- 预计学时：30-40 hours
+
+CS50的番外篇，依旧由 David J. Malan 授课。在该课程中你将学会 Python 的基础与进阶语法，以及各种 “Pythonic” 的编程方法。此外对于 Python 特色的代码库、代码测试以及错误处理，该课程也会较为深入地探究。
+
+该课程无需任何编程基础，且相对平易近人。适合所有想要快速入门 Python 语言的各阶段学生。
+
+## 课程资源
+
+- 课程网站：[2022](https://cs50.harvard.edu/python/2022/)
+- 课程视频：[2022](https://www.bilibili.com/video/BV1z5411X7wX)
+- 课程教材：无
+- 课程作业：[2022](https://cs50.harvard.edu/python/2022/)

docs/编程入门/Haskell-MOOC.en.md

@@ -0,0 +1,38 @@
+# Haskell MOOC
+
+## Descriptions
+
+- Offered by: University of Helsinki
+- Prerequisites: None
+- Programming Languages: Haskell
+- Difficulty: 🌟🌟
+- Class Hour: Varying according to the learner
+
+Functional programming is increasingly being integrated into modern programming languages. Streams in Java, Promises in JavaScript, and Record & Tuple in the draft phase of ECMAScript... When I was learning these things, I always felt like I was memorizing the behaviours of their API, and although I was able to write some programs using them, I never felt like I had mastered them. Why do they exist? Why are they like that? What is the idea behind their design? Learning functional programming will give you the answer.
+
+Its core ingredient is functional programming. Just like Java is probably the default choice for teaching object-oriented programming.
+
+This course will teach just enough Haskell syntax, library functions, and a small number of tools to explain the core program semantics and the core idea of functional programming. This will save you time not getting bogged down in the details of the language and its ecology, which I think is the biggest advantage of the course.
+
+Topics covered in the course:
+
+- Pure Function
+- Lazy Evaluation
+- Strongly Typed
+- Type Inferred
+- Curry
+- Monoid / Functor / Monad / Applicative
+
+If you have some programming experience, part 1 of the course is very easy. Most of the difficulties lie in part 2, after chap 13. Its exercises are great, which can give you a feeling of doing exercise of [CS61A](https://csdiy.wiki/%E7%BC%96%E7%A8%8B%E5%85%A5%E9%97%A8/CS61A/). There are enough hints in the comments and the solutions will be given to you after submission, and you can ask questions or discuss them with others in the official Telegram community.
+
+## Course Resources
+
+- Course Website: <https://haskell.mooc.fi/>
+- Recordings: None
+- Textbooks: <https://haskell.mooc.fi/>
+- Assignments: <https://github.com/moocfi/haskell-mooc>
+- Community: <https://t.me/haskell_mooc_fi>
+
+## Personal Resources
+
+All the resources and assignments used by @showtheunli in this course are maintained in [showthesunli/haskell-mooc - GitHub](https://github.com/showthesunli/haskell-mooc). (It is highly discouraged to refer to other people's implementations when working on assignments.)

docs/编程入门/Haskell-MOOC.md

@@ -12,7 +12,7 @@
 
 虽然这门课的名字是 Haskell，但它的核心内容是函数式编程思想。就像学习面向对象程序设计，大概率不会选择 Java 之外的语言。
 
-学习 Haskell，但不会去用它。这门课会让你用刚刚够用的 Haskell 语法，刚刚够用的库函数，一丁点的工具，去解释核心的程序语义，也就是函数式编程的核心思想。这不会让你浪费时间陷入语言细节以及语言生态中，我觉得它是这门课的最大优势。
+学习 Haskell，但重点不在于使用它。这门课会让你用刚刚够用的 Haskell 语法，刚刚够用的库函数，一丁点的工具，去解释核心的程序语义，也就是函数式编程的核心思想。这不会让你浪费时间陷入语言细节以及语言生态中，我觉得它是这门课的最大优势。
 
 这门课覆盖的内容：
 

docs/软件工程/6031.en.md

@@ -28,6 +28,6 @@ In the 2016 spring, the course open-sourced all of its programming assignments,
 
 ## Personal Resources
 
-All the resources and assignments used by @PKUFlyingPig in this course are maintained in [PKUFlyingPig/ MIT6.031-Software-Engineering - GitHub](https://github.com/PKUFlyingPig/MIT6.031-software-construction)
+All the resources and assignments used by @PKUFlyingPig in this course are maintained in [PKUFlyingPig/ MIT6.031-Software-Engineering - GitHub](https://github.com/PKUFlyingPig/MIT6.031-software-construction).
 
-@pengzhangzhi completed the assignments and took some notes, maintained at [pengzhangzhi/self-taught-CS/Software Construction - Github](https://github.com/pengzhangzhi/self-taught-CS/tree/main/Software%20Construction)
+@pengzhangzhi completed the assignments and took some notes, maintained at [pengzhangzhi/self-taught-CS/Software Construction - Github](https://github.com/pengzhangzhi/self-taught-CS/tree/main/Software%20Construction).

docs/软件工程/CS169.en.md

@@ -17,8 +17,8 @@ This course is available on [Edx](https://www.edx.org/), an online education pla
 - Course Website: <http://www.saasbook.info/courses>
 - Recordings: refer to the course website.
 - Textbook: [Software as a service](https://github.com/PKUFlyingPig/CS169-Software-Engineering/blob/master/saasbook.pdf)
-- Assignments: refer to the course website
+- Assignments: refer to the course website.
 
 ## Personal Resources
 
-All the resources and assignments used by @PKUFlyingPig in this course are maintained in [PKUFlyingPig/CS169-Software-Engineering - GitHub](https://github.com/PKUFlyingPig/CS169-Software-Engineering)
+All the resources and assignments used by @PKUFlyingPig in this course are maintained in [PKUFlyingPig/CS169-Software-Engineering - GitHub](https://github.com/PKUFlyingPig/CS169-Software-Engineering).

mkdocs.yml

@@ -78,6 +78,7 @@ plugins:
       nav_translations:
         en:
           前言: Foreword
+          如何使用这本书: How To Use The Book
           一个仅供参考的CS学习规划: Guideline
           必学工具: Productivity Toolkit
           好书推荐: Book Recommendation
@@ -146,10 +147,11 @@ nav:
       - "MIT 6.042J: Mathematics for Computer Science": "数学进阶/6.042J.md"
       - "MIT18.330: Introduction to numerical analysis": "数学进阶/numerical.md"
       - "Standford EE364A: Convex Optimization": "数学进阶/convex.md"
-      - "The Information Theory, Patter Recognition, and Neural Networks": "数学进阶/The_Information_Theory_Pattern_Recognition_and_Neural_Networks.md"
+      - "The Information Theory, Pattern Recognition, and Neural Networks": "数学进阶/The_Information_Theory_Pattern_Recognition_and_Neural_Networks.md"
   - 编程入门:
       - "MIT-Missing-Semester": "编程入门/MIT-Missing-Semester.md"
       - "Harvard CS50: This is CS50x": "编程入门/CS50.md"
+      - "CS50P: CS50's Introduction to Programming with Python": "编程入门/CS50P.md"
       - "UCB CS61A: Structure and Interpretation of Computer Programs": "编程入门/CS61A.md"
       - "Duke University: Introductory C Programming Specialization": "编程入门/Duke-Coursera-Intro-C.md"
       - "Stanford CS106B/X": "编程入门/CS106B_CS106X.md"
@@ -164,6 +166,8 @@ nav:
   - 数据结构与算法:
       - "UCB CS61B: Data Structures and Algorithms": "数据结构与算法/CS61B.md"
       - "Coursera: Algorithms I & II": "数据结构与算法/Algo.md"
+      - "MIT 6.006: Introduction to Algorithms": "数据结构与算法/6.006.md"
+      - "MIT 6.046: Design and Analysis of Algorithms": "数据结构与算法/6.046.md"
       - "UCB CS170: Efficient Algorithms and Intractable Problems": "数据结构与算法/CS170.md"
   - 软件工程:
       - "MIT 6.031: Software Construction": "软件工程/6031.md"
@@ -194,6 +198,7 @@ nav:
       - "CMU 15-445: Database Systems": "数据库系统/15445.md"
       - "Caltech CS122: Database System Implementation": "数据库系统/CS122.md"
       - "Stanford CS346: Database System Implementation": "数据库系统/CS346.md"
+      - "CMU 15-799: Special Topics in Database Systems": "数据库系统/15799.md"
   - 编译原理:
       - "Stanford CS143: Compilers": "编译原理/CS143.md"
   - 计算机图形学:
@@ -211,14 +216,14 @@ nav:
   - 人工智能:
       - "Harvard CS50's Introduction to AI with Python": "人工智能/CS50.md"
       - "UCB CS188: Introduction to Artificial Intelligence": "人工智能/CS188.md"
-      - "智能计算系统": "人工智能/CYJ.md"
   - 机器学习:
       - "Coursera: Machine Learning": "机器学习/ML.md"
       - "Stanford CS229: Machine Learning": "机器学习/CS229.md"
       - "UCB CS189: Introduction to Machine Learning": "机器学习/CS189.md"
   - 机器学习系统:
-      - "Machine Learning Compilation": "机器学习系统/MLC.md"
+      - "智能计算系统": "机器学习系统/AICS.md"
       - "CMU 10-414/714: Deep Learning Systems": "机器学习系统/CMU10-414.md"
+      - "Machine Learning Compilation": "机器学习系统/MLC.md"
   - 深度学习:
       - "Coursera: Deep Learning": "深度学习/CS230.md"
       - "国立台湾大学：李宏毅机器学习": "深度学习/LHY.md"