#3 楼 @zhangyuxiu 这个和操作系统实现有关吧，具体我也不是很清楚，但是大体算法 OS 书上都有介绍，不同的 OS 实现也可能不一样。

malloc 只是针对虚拟内存的一种分配，实际物理地址到底哪里是 os 管的。

我感觉中文骂人的语言比英文丰富，如果我们搞了个国产语言，邮件列表里面会不会天天都是妈蛋这种词汇哈哈。

#18 楼 @blackanger 理解你说的，招人是很难。

半路学 ruby 也不代表学不好吧。我感觉从语义层面理解，ruby 没有新东西，语法比较讨巧。拿本参考书，一周就能干活了。

#40 楼 @wushexu 你说的随机数生成，我不懂。对随机这个概念我就从来没想清楚过，我潜意识里面觉得跟不上就不存在随机。。。

#37 楼 @wushexu 概率和数理统计在 AI 里重要，是因为 AI 只能靠这些，没有真正意义上的那种理想化具有思考能力的‘AI’。不要说 AI，连真正的随机数，都没法生成。

#7 楼 @iBachue 读书是最开心的事情吧，钱倒是可有可无之物……

#19 楼 @bhuztez 人生最重要的事情，不就是找到你真正喜欢的东西嘛。你喜欢算法么？

确实太多了，基本分类的大概有，程序语言方面的，体系结构方面的，图形图像方面的，网络方面的，近期比较热门的是关于数据处理的内容。

穷得叮当响，求收留。

把算法导论通刷一遍，包括习题，基本上你就是去鄙视面试官的节奏。

学 ruby 最好的书是松本写的那本教程。

#45 楼 @luikore 公理语义和指称语义就是装逼用的。

#41 楼 @luikore 所以 rails 很慢啊，人家都不需要运行时检查的。

#40 楼 @bhuztez 良鸡归纳法就像模板函数，关系就是其中的 T，数学归纳法和结构归纳法是良鸡归纳法的一个实例。

#39 楼 @luikore 你说的是哪本书？我以前看过点形式语义的东西，里面有介绍归纳法。我觉得这类偏逻辑的书废话太多。

#36 楼 @bhuztez Joe Armstrong 说，学习一门语言的最好方法就是去实现它哈哈。

#26 楼 @luikore 为什么语言要设计成有对象呢？为什么不能设计成只有简单 struct，对象的作用其实就是 side effect。本就不应该和什么封装之类的扯上关系，唯一用得到的地方就是可以复用。复用可以完全不必用继承实现。

#26 楼 @luikore 没有 return 0，就像归纳法没有奠基。。。 之前我就想过，subtyping 就返回闭包集。

#18 楼 @bhuztez 老百姓们不就喜欢听这些废话嘛哈哈。

老实说，我觉得王垠说的很多东西我也很赞同，比如对偶像的崇拜，名校效应等，他的问题出在他自己身上，太理想化了。

#11 楼 @mvj3 语言类型系统做的很优秀的有 Standard ML，我拿 ruby 的写法来举一个例子：

def length(a)
   if size(a) == 0
      return 0
   else
      return length(tail(a)) + 1
end

假如 size 的类型已知，是一个 list->int 类型的函数，tail 函数的类型也已知，是一个 list->list 的函数，那么 length 函数的类型就能够推导出来，即便它没有指明参数类型和返回值。过程如下： 第一个 if 语句处，因为 size 接受一个 list 类型的参数，所以 a 的类型必然是 list，此处返回值是 0，故返回类型是 int，同样 else 分支也能得出一样的结论，所以 length 函数的类型就是 list->int，虽然它什么都没写。

#9 楼 @mvj3 如果这套理论都是他原创的，我觉得很了不起，但实际上不是。他并没有把他做的东西和他理想中的东西做比较，而是和现有的产品做比较，现有的产品在他眼里，不怎么样，所以他觉得自己得很不错。 如果想了解类型系统，推荐看看这本书，王垠做的东西没有哪怕一点点超越这本书里所讲的东西： http://book.douban.com/subject/1761910/

我觉得王垠最厉害的两点： 1.特别会宣传自己。 2.把也就一般难的问题，夸大到非常难的地步，然后他可以解决，以此来诱惑你崇拜他。

#11 楼 @jasl rubymine 很贵啊！

#78 楼 @bhuztez 比如说？

把‘../config/environment'加到 require 的搜索路径集里面。