Do something cool!

蓄水池算法(Reservoir Sampling)

这个算法真的很奇妙，它的核心是一个数学证明。外延，或者说应用场景是：

1. $C_n^k$，也就是从大小为 n 的样本集中随机取 k 个不同的样本
2. 流式数据，或者说无法直接根据索引拿到数据（更加不可能一遍加载到内存）

高数中的第一个证明，可能就是这个$\lim\limits_{x\rightarrow 0} \frac{\sin x}{x} = 1$的证明了。下面给出这个极限的证明，用到了解析几何（作图法）。

通用快捷键

1. 格式化代码（reformat code）:
   win: ctrl+alt+L
   mac: command+option+L
2. 在一行的任意位置使用： shift + enter，新建下一行并跳到下一行。
3. 善用代码自动补全功能，变量名和方法名等可以用 enter 补全。导入包可以用 alt + enter。
4. 上下移动代码，ctrl+shift+上下键
5. Android Studio 生成函数注释：你在方法前输入/**然后一回车，自动帮你生成方法和参数的注释。

编辑器常用功能

1. 格式化代码：格式化代码可以让你不用管代码的格式，可以放肆的写程序，你可以少敲很多空格，不用关心代码的格式问题，机器给出的代码格式风格统一且漂亮，一键解决你的格式问题，真是提高码代码效率的非常重要的功能。
2. 查找文件：查找文件是在集成开发的时候非常重要的功能，当文件多起来的时候，快速定位到文件可以节省很多时间，甚至有时候文件实在太多，你只能通过查找的方式找到那个文件。
3. 正则全文件查找和替换：轻松让你更改全局变量和配置，这是一个必须的功能，没有它简直无法想象工作量有多大。
4. 代码收缩和扩展：代码太长怎么办，收缩和扩展啊。

阅读这篇文章必须要对汇编码有足够的了解，如果你对 IA32 汇编码还不够了解，可以先看看这篇文章：程序的机器级表示

Y86 指令集体系结构

Y86 指令集基本上是 IA32 指令集的一个子集。这个指令集就是我们处理器实现的目标。如下图：