@cheshirecat 表大得无法cache而链表查找不频繁的化，cache可以忽略

@wogong 也没有看到他发明的轮子啊。。。

@wogong 所以我认为他这么写完全没有说服力啊

“在两个星期之内，完全凭自己的思考写出正确的 CPS 变换（10多年的研究成果），以及 ANF 变换（我导师的最重要成果）。多次在两个星期之内“灭掉”某些领域20多年的研究。”。他还可以说，他可以推导出勾股定理，正弦函数和余弦函数，这些是人类好几百年才研究出来的。。。

“我总是发现一些复杂的类型系统的功能，要么就是完全不可能实用，要么就是可以用已有的更简单的方法实现。所以这些发现其实是“杀死”了好几个长达几十年的领域”，这些成果如果存在，完全可以出论文并发表，会颠覆一个学科或者分支。要不就是作者在吹牛逼。吹牛逼的可能性比较大，因为投一篇论文相对比较简单。

一方面，他至今没有作出什么东西证明自己。另一方面，证明不了自己也并不说明他吐槽的槽点不对

从未看到Embody啊，替各位首付捉急啊！

OSX + OpenMPI，至今没有弄成功。。。无论windows还是linux都没这么麻烦。

MarkdownPad勉强算，但是无Focus Mode

@jesse0628 花尽代理的

@gonglexin 行货就是有代理贴的，水的就是直接海淘的

如果是水的，那萌购价格15xx比较合适
如果是行的，1650算比较便宜

世界上确实有两种工具，一种是它迎合人类，一种是人类迎合它。其实这两种工具都普遍存在。但是某些人觉得工具不好用是因为你没有充分迎合它，不是它的问题而是你的问题。个人认为这种想法很奇葩。让我又想起了著名苹果教真理：凡是苹果没有的，都是不需要的。

现在联想K27是新一代廉价神器啦，自己买一台回来，换屏，CPU，加内存，SSD，直接一台高配也才不到5000哦亲，还是ips+ssd+i7哦亲！