格式
## 标题 推荐语 #标签链接地址
值得一看的关于开发工具的课程。
#dev #tool
https://missing-semester-cn.github.io
类似 CSAPP(深入理解计算机系统)的一本书,介绍 C 语言、汇编和初步的操作系统知识。
#fundamental
无类型函数式编程入门。
#functional-programming
http://sarabander.github.io/sicp/
计算理论教材,介绍自动机理论、可计算理论以及复杂度理论。
#theory
初等数据结构教材,提供伪代码、C++ 和 Java 三个版本。
#algorithms
https://opendatastructures.org
一本比较标准的算法教材。
#algorithms
https://jeffe.cs.illinois.edu/teaching/algorithms/
一本非常不标准的算法教材,如书名,和其它研究抽象数据结构的书不同,本书主要研究底层的、贴近硬件的计算的效率。
#algorithms
https://en.algorithmica.org/hpc/
一本较为抽象、理论的函数式算法的小书。
#algorithms #functional-programming
https://functional-algorithms-verified.org
一门讨论课,汇集了诸多编程语言理论的概念(例如操作语义、指称语义、宏卫生)的发展历程。
#programming-language-theory
https://felleisen.org/matthias/7480-s21/index.html
一本比较重视实践的编程语言理论的教材。
#programming-language-theory
https://cs.brown.edu/courses/cs173/2012/book/
Haskell 主要设计者之一的 Philip Walder 写的一本极度理论但也极度有趣的非传统编程语言理论教材。
#programming-language-theory
一本偏重实践的编译器教材,深度略有不足,但非常适合入门。
#compiler
https://craftinginterpreters.com
一本没那么厚、真正可以通读的操作系统教材。这本书现在非常流行,很多名校都用这本书替换掉了之前常用的教材(例如操作系统概念)。
#operating-systems
https://pages.cs.wisc.edu/~remzi/OSTEP/
一本像写给小朋友的、教程式的计算机网络教材。目前只写完了第一部分。
#computer-networks
https://www.networksfromscratch.com/table_of_contents.html
一本比较标准的计算机网络教材。
#computer-networks
https://book.systemsapproach.org
不像书名所说的、实际上比较偏理论的密码学教材。
#cryptography
一本底层的并行编程书,有中文纸质版(深入理解并行编程)
#parallel-programming
https://mirrors.edge.kernel.org/pub/linux/kernel/people/paulmck/perfbook/perfbook.html
斯坦福大学编撰的计算机科学哲学百科。
#culture