硬件会帮助操作系统完成最初的初始化和加载，之后，操作系统加载完第一个程序后，从此作为 “中断处理程序” 在后台管理整个计算机系统

本地主机连接端口设置为1111（也可以是任意没有被系统占用的端口），而要连接的客户主机（虚拟机）端口设置为22。22是SSH连接默认使用的端口，也可以设置为其它端口，设置后在客户主机中进行对应设置即可。设置完成后，NAT网络会通过设置的本地端口转发到虚拟机对应的端口。

所谓 parser，一般是指把某种格式的文本（字符串）转换成某种数据结构的过程。最常见的 parser，是把程序文本转换成编译器内部的一种叫做“抽象语法树”（AST）的数据结构。也有简单一些的 parser，用于处理 CSV，JSON，XML 之类的格式。

对任何正则文法G，存在定义同一语言的正则表达式r对任何正则表达式r，存在生成同一语言的正则文法G

return [i for i in range(len(y)) if y[i]==x]

概率论是已知总体服从什么分布，从而推断出这个分布有什么样的性质，比如已知分布，求期望方差；数理统计好比总体是未知的，通过从总体中抽取的样本，目的是来推断总体具有什么样的特点。

正态分布首先是随机变量分布，同时也是样本统计量分布，这是由中心极限定理决定的。

一般来说总体的均值、标准差和比例是常量，用μ、σ和π表示，称为参数

国外的计算机软件方向的，“计算理论”、“计算机语言的形式语义”这些课程肯定会讲到一些数理逻辑，其中的“公理语义学”、“代数语义学”、“类型理论”特别相关。

Language Implementation Patterns: Create Your Own Domain-Specific and General Programming Languages这本书中也讲了编译器前端的知识，结合工具中的例子学习更快。之后数据流分析可以看看龙书， 虎书。

那本书不渣，那本书超级牛逼。编译原理课程最大的问题就是上来就讲原理，巨高深，连解决什么问题都不知道，就知道有这么个东西，有着么个树。而那本书就解决了这个问题，让人先知道编译原理干啥的，运行机理是啥，这很重要，这些懂了以后后面很多事情水到渠成。

好的代码 本身就是配置， 本身就是 设计器

编程语言还需要支持IO，副作用等能力，比如print（“123”），这个过程就不能定义成一个计算，只能算是一个statement。

我们说一种方式，每一步都简单很多，但是路要长一点

害，要啥类型，就楞写，脑子是最强的类型系统（不是）

如果追求immutable的话，各种状态机会写得很蛋疼，不过最后还是能写出来的。

算法与数据结构是分不开的。数据结构的核心是引用与解引用。

Operating System Concepts

Operating Systems: Internals and Design Principles

((X) < (Y) ? (X) : (Y))

CLI（command-line interface的缩写）是一个功能强大的程序

状态机是有限状态自动机的简称，是现实事物运行规则抽象而成的一个数学模型。

现代信息安全的基本要求：

Type inference

Pattern matching

Linux 学习主要有三个方向：

严谨化、逻辑化可以帮助我们否定猜想和假设，但是它不能创造任何猜想和假设。

这就很可能需要去看相关的数学史，顺便一提：看数学史对我们学习数学也是非常有帮助的

原因之一我想是高等教育领域的应试教育市场经济不够繁荣所致

当你能够发现书里的不足之处时你就有不错的进步了

无论是否记得恐惧的根源，都可以进行疗愈，帮助恐惧释放。

也许是今生早期童年的；也许是前世的经验，我们并不记得。

在每一次情绪升起时，觉察自己正在害怕什么，内心有着什么担忧。

觉察的对象不是别人，而是自己的内心状态。

充分条件结构是：如A则B，命题描述的关系是：A发生则B必然发生，A不发生则B不一定发生。

了解了现代计算机的基本硬件组成和背后最基本的冯·诺依曼体系结构，我们就可以正式进入计算机组成原理的学习了

OCaml 是一种函数式编程语言。

语言设计师

“元语言”

大多数学生已经学过一个学期的 Python 编程入门课程，然后是一个学期的 Java 面向对象程序设计。

OCaml 是现代主要的函数式编程语言

静态类型系统

基于值表达式和函数操作的计算模型它接近于熟悉的数学模型，导致程序特别容易理解和分析，也使得存在编程错误的可能性要小得多。

命令式编程

这种事情不能让什么公务员或政客办理，这里需要有远见的政治家。

不仅仅是小提琴能塑造小提琴家，我们全都被我们使用的工具塑造，而在编程语言方面，影响是潜移默化的：它们塑造我们思考的习惯。

延迟执行(lazy evaluation)

Caml 语言的一种方言

是 Caml 编程语言的主要实现

概率统计是机器学习算法的核心

“什么是函数式编程”

本质上线性代数是代数与几何的统一，两种观点都是需要的。

吴文俊先生倡导的数学机械化

这毫不奇怪，作者是圣弗朗西斯科州立大学数学系的教授阿克斯勒（Sheldon Axler）。他是哈尔莫斯的徒孙，中间的链接是萨拉森（Donald Sarason）。

希尔伯特（Hilbert）、诺特、阿廷是近世代数的先驱，近世代数的思想一度在德国盛行。

法国布尔巴基学派

在中国，线性代数一般等同于矩阵论，这主要是受华罗庚先生的影响，他的矩阵功底炉火纯青，因此他的学生曾肯成教授这样说：“龙生龙，凤生凤，华罗庚的学生会打洞。”所谓“打洞”，就是用相似变换或其它矩阵变换将矩阵化成标准型（其中有很多元素为0，即“洞”）。

初入

刚开始进入一个领域时，入门材料的选择非常重要。

一个个知识单元

主题标引

（此时就体现了规范命名的好处，可以精准检查内容是否存在于软件中）

知识图谱

每一种 CPU 的机器指令都是不一样的，因此对应的汇编语言也不一样。

操作码（opcode）

在数学和数理逻辑中，逻辑代数（有时也称开关代数、布尔代数）是代数的一个分支

SICP的价值

计算机组成原理被很多同学忽视。题主能这么重视计组，非常可以！其实无论你想要向上学习计算机的底层知识，比如编译原理、操作系统、体系结构，还是想要向下学习数字电路、数字逻辑等内容，都要先掌握计算机组成原理。

与信息共处的模式

然而，比起这些数据，我认为更重要的是我对我所选的市场具备什么样的想象力。

教育靠的是诚意，靠的是育人之心

国内CS本科教育和国外的差距

何为听力？即听清和听懂对方意图，包括一系列复杂的身体、情感、潜在语义等。

集体行为是理解群体的行为和属性如何从个体信息分享中涌现的一个框架。

功能性后果

人类社交网络

社交媒体

认知革命

发达的、合理的语言体系可以使一个人的感受能力更加敏锐，可以唤起更多新鲜的感受，我们通过学习一种新的语言，可以唤起一些在旧语言体系中难以产生的感受。

先有感觉和感受，然后才学会用语言来表述的

中国人学英语一个最为常见的问题是：一定要把英文翻译为中文才能够被理解

追求有趣而益智的工作与生活

是观察现象，解释现象，然后提出自己的观点和假设并尝试验证假设，再把自己的成果公诸于世，便于同行交流讨论。让我们的生活有更多的带有知识性的乐趣。它最大的用处就是满足我们的好奇心。

Hertz and Maxwell were geniuses without thought of use. Marconi was a clever inventor with no thought but use.

动笔把自己喜欢的英文原著翻译成母语。

个人词汇思维体系

查询同义词词典是快速积累词汇、扩大词汇量的超级捷径。

引申词、同义词、反义词和同源词

阅读的核心不仅仅在于“阅读”本身，而在于对深度的思考、对厚度的体验；阅读的根本，也不在于事功，而是精神世界的构建。

③实用性、经验性明显。

not the best but good enough

Do we really need a whole aisle for toothpaste?

全部耗费在短期收益的事情

该领域推荐的书单

很难两全其美，因为人类喜欢让我们更具表现力的松散类型和灵活格式标准，而机器倾向于被确切告知一切事情而没有二义性和细节缺失，并且认为“严格规范”才是它们最爱的口味

put information under a context

Research is the process of creating knowledge from information

与信息来源（source）的距离

照顾你的心灵包括培养好奇心（种子）、增长知识（大树）以及创造新想法（果实）

……

费曼学习法

各信息和知识之间具有关联性信息与信息、信息与知识、知识与知识

知道他的人要么很喜欢他，要么就讨厌他