哦对了，PyCharm 我还有个常用功能叫做 Rename。。。Shift+F6，自动重命名符号，只要你写程序稍微注意点，一般都不用人肉复查的。另外 Mac 下面 PyCharm 有几个基本的快捷键，比如 Ctrl+N 光标向下 Ctrl+K 光标向上 Ctrl+J 光标向左 Ctrl+L 光标向右 Ctrl+K 删除光标到行尾的内容，再按一下删除换行符。稍微再配置一下可以加上 Ctrl+D 删除光标后面的一个字符。

我只用这几个快捷键。其他快捷键我都是不用的，用鼠标的。调试功能我也很少用，一般写完代码就知道有没有谱了（毕竟写代码都用 docstring 确定类型了，有类型的情况下 pycharm 的自动查错立刻可以看出来哪里写错的）。

@symons Python 你写过超过 2 万行的程序、有至少两级包结构的吗？你有需要在本地编辑自动上传到服务器运行的吗？你有需要根据 DocString 来进行自动类型推断吗？有的话就用 PyCharm 吧，绝对物超所值。

比如我的一个项目，有上万行了，Docstring 使用 NumPy 的规范书写，所以随便建个类调个函数什么的，返回值还能继续智能提示，非常方便。当然这就要求你写程序稍微注意一点了。

https://git.peidan.me/xhw15/tfsnippet/blob/dev/tfsnippet/bayes/stochastic.py

如果你不用 location ~ ^/static/ 而是用 location /static/ 呢？当然这是玄学。

转 Atom 了。不过还是缅怀一下 ST3

整 Keras/TensorFlow，我一般劝他用 Anaconda 或者更进一步 Docker。

@fanfe /home 和 /home/me 也必须 r-x。

然后 debian 下面的 nginx 运行账号是 www-data，而不是你 me。它没有读取权限，所以显示不了。

要让一个目录下面的文件能读取，它得有 x 权限。有没有 w 无所谓。

mysite 的权限不对。不能 rwxrw-rw-，要 rwxr-xr-x

发愤图强需要的不是正能量，需要的是认识到有些事情即使是粉身碎骨、希望渺茫，也一定要去做。

测试代码用英文写 message 不就行了，搞这么蛋疼干嘛。

学术党表示用这些字母一点效率都没有。

M$ 系你有 Word 2016 for Mac，公式支持简单的指令，比如 \int \sum 之类的。

非 M$ 系你有 LaTeX。

无论哪个都比你说的这些键盘字母好看且好用。

@nullcoder @momocraft 其实当你们说到“无限不循环小数”的时候，你们已经陷入误区了。

因为你们无法精确定义任何一个“无限不循环小数”。你们给别人看到的都是有限位数的小数，而当没有循环这一规则时，任何你没有写的小数位，都是未定义的。数学不讨论任何无定义的东西。

真正严谨地讨论无理数，必须基于明确的定义。譬如一个积分的结果，一个收敛的无穷级数的和。

@kofj 没错。十进制的 0.3 = 3 * 10^{-1}。十进制的 0.3333.. 应该定义为无穷级数 sum_{i=1}^N (3 * 10^{-N})。

因此九进制的 0.3 = 3 * 9^{-1}

。。上面某一楼写错了一点，

{x^2 < 2}，你可以证明（略）在有理数范围内这个集合不存在上确界。

@WildCat 譬如 https://zh.wikipedia.org/wiki/%CE%A0%E7%9A%84%E8%8E%B1%E5%B8%83%E5%B0%BC%E8%8C%A8%E5%85%AC%E5%BC%8F

@WildCat pi 和 e 都是客观存在的某个“数”。只不过通过某些运算（大多是无穷序列求和，也有积分），你可以证明得到的那个答案“等于” pi 或者 e。

有理数不满足所有柯西列收敛，因此引入无理数，只是从有理数延拓到无理数的一种基点。事实上存在另外的基点来引入无理数，当然这最终能退出这些基点互相都是等价的。

譬如根号二，如果你写出这样的一个集合： {x^2 < 2}，你可以证明（略）在无理数范围内这个集合不存在上确界。这时候我们引入无理数，确保任何有理数和无理数加起来的这个数域里面，所有有上界的非空集合都有上确界。通过这个基点，一样能得到实数，并且满足柯西收敛准则。

无论你用什么表示方式，分式也好，十进制小数也好，九进制小数也罢，都只是某个“数”的表示方式。

我们首先假定“整数”是不言而喻的，你我都清楚“整数”的概念。通过除法可以从整数派生出有理数。然而当你研究有理数的无穷序列的时候，发现不是所有满足柯西收敛准则的有理数序列（简称柯西序列）都能在有理数里面找到收敛的极限。比如我先写一个 3，再写一个 3.1，然后写 3.14 ，以此类推…… 你会发现明明有限步操作内，每一个写出来的数字都是有理数，但是当我把它无限写下去，却不是一个有理数。

因为找不到任何一个整数除以整数，等于这个无限的不循环的小数。

因此我们需要延拓有理数域，引入无理数这个概念。有理数和无理数加起来就是实数域。实数域满足任意柯西序列都能在实数域中找到收敛到的极限，即无穷序列的很多操作都是良定义的。

所以实数的定义根基是无穷序列的收敛。用收敛的语言来看，如果两个实数 |a-b| < epsilon （即两个数的差小于任何大于零的数），那么这 a 和 b 就代表了同一个数，无论你用什么方式去表达这两个数。因为不存在一个小于“大于零的任何数”的实数。譬如 0.999999.... （零点九九循环）和 1 就是同一个数。

这些都是实分析的内容，楼主有兴趣可以去学一学。