@YuanTuan 刚刚注册了猿团，我可以吐槽一下，注册和登录界面的用户体验真差，居然用一个弹出对话框(alert)来通知用户注册和登录成功…… 这种上个世纪的设计风格究竟是什么鬼？！

只有little snitch和postbox有价值，可惜little snitch早就买过了，post box在这里买还不如单独零买。

本来想直接给你解释，但写了一大堆东西后发现解释起来比较麻烦，所以请自行参考下列网页：

http://en.wikipedia.org/wiki/Binary32

http://babbage.cs.qc.cuny.edu/IEEE-754.old/References.xhtml

好吧，才看到你是上行20M，那就只能为大家做贡献了。搞个在线流媒体私服吧。

买个智能电视，或智能电视的机顶盒，然后用超大屏的电视机通过网络看蓝光电影，相信我，这感觉会非常爽！

主要用于工作的话，其实air就足够了，而且比pro轻薄多了。
说实话，用mac主要就是为了不折腾，赏心悦目，同时还能有强大的生产力。

123的价格太贵了，一个解压缩软件不值这么多。

建议你去淘宝开个网店托买吧
我妈妈也喜欢做毛线鞋子和袜子
虽然没有你妈妈做得那么好看
但她还是乐此不彼
做了很多，自己家用不完，就送给亲朋好友

1. 写程序
2. 读论文
3. 写论文

这家伙的民科倾向越来越严重了
药不能停呀

我的老板连windows和word都不会用，每次报告都要我帮他写ppt。
我们组的一个泰斗院士连发email都不会，经常让我帮他发email。
但这些并不影响他们在学术上的贡献。
Dijkstra有一句名言:"Computer science is no more about computers than astronomy is about telescopes."
翻译成中文大致是：计算机科学和计算机的关系并不比天文学和望远镜的关系更密切。
对计算机科学家而言，计算机本身只是用于研究的工具，
真正的研究内容是“计算”这个物理过程的性质、极限和应用
当然CS中也有专门研究计算机的软硬件的，
不过并不能说CS本身就仅仅是研究计算机软硬件而已。

PS：Dijsktra大家应该都如雷贯耳，算法课上应学过Dijkstra最短路径算法，操作系统课上应学过哲学家吃面条问题，程序设计语言课上应学过goto statement is harmful。另外他是图灵奖得主，他的图灵奖演说题目是："The Humble Programmer"人家一直以为自己只是个programmer来着。

或者，如果觉得不用双引号而是用方引号的原因是中文字体和英文字体混排造成的，那完全可以通过js脚本自动将所有双引号前后加个<span>并通过css修改字体，从而得到一致的排版体验。这个在技术上而言根本不是个问题，五分钟的编码就可以搞定。不知道为何搞得那么复杂，还要强制用户改变使用习惯……

个人觉得这是很容易搞定的事情呀。
网页中插入一个js脚本，在载入页面时自动进行引号转换不就得了。

Church同样很伟大，他的伟大在于他所提出的Lambda Calculus本质上是一种特殊的Rewriting system。也就是说，通过对字符串按照某种固定规则做变换，来实现计算过程。

事实上，这个rewriting过程，就是数学中所有公理化系统的基础。数学中所有的公理化系统，都是从一系列的公理出发，按照一定的推导规则，来推导出定理。而这一过程，本质上就是个对字符串按照固定规则做变换的过程。

当然，要理解这些，必须学习数理逻辑，抽象代数，集合论等基础知识。估计某人又会觉得这些理论浪费时间了。

另外，Church的typed lambda calculus是现代计算机程序设计语言的类型系统的起源；除此之外，CurryHoward isomorphism更是通过typed lambda calculus将数学证明的结构和计算机程序的结构对应了起来：数学命题对应于程序的规格说明（即说明程序该干什么）；对该数学命题的逻辑证明对应于程序的代码。这是一个非常漂亮的理论。通过该理论可以发现，很多经典程序的结构都对应于某些经典的证明技巧，例如程序设计中的递归结构，其实就对应于大家熟悉的数学归纳法；分治法、动态规划、搜索等算法，也对应一些经典的证明技巧。

刚刚翻了一下王垠的博客，发现一篇博文“丘奇和图灵”
http://www.yinwang.org/blog-cn/2013/07/13/church-turing/

发现他又在show优越感和自以为是了。

他所谓的“发现”可以用Lambda calculus实现通用图灵机、证明停机问题不可计算、以及解释所有计算理论的定理等，这些东东根本就是早就在Church的paper中提出了的。

当年Church受到罗素在Principia Mathematica中提出的函数理论的启发，发明了lambda calculus，并首先证明了存在一个不可计算问题（lambda term的等价性不可在lambda calculus系统中判定）；然后收了Turing做博士生，然后Turing才发表了那篇重要的论文On computable numbers...，提出了图灵机；接下来Turing和Church又相继发表了几篇论文证明了图灵机和Lambda演算的等价性。在那一系列论文中，Church和Turing早就证明了王垠的所谓“发现”。

至于后来一系列的Lambda calculus教科书中，这些东西都是最基本的东西，也就是课后习题的难度。
当然，国内目前没有比较好的lambda演算教科书，国外的教科书又比较老，只有Barendregt的那本百科全书比较详细。

另外，王垠不能理解为何图灵机在计算理论中占据如此高的地位，是因为他没有真正理解Church-Turing Thesis。事实上，Church的Lambda演算是从代数变换的角度出发描述“计算”过程；而Turing的图灵机是从模拟人用纸笔做计算的角度出发描述计算过程。更重要的是，是Turing而不是Church首先提出了图灵机就可以描述一切“机械”计算过程。所以在目前而言，大家普遍相信，所有人类可通过机械过程进行计算的函数集合，恰好等于图灵机可计算的函数集合。或者换句话说，图灵机定义了什么叫做“计算”或“算法”。

至少接近一百多年来的科研实践证明，人类目前所能想到的计算方式，都没有脱离图灵机的计算能力。无论是光学计算、DNA计算、量子计算、甚至广义的物理计算，都无法超越图灵机的计算能力（当然，这是指可计算性，而非计算速度）。

事实上，图灵机的代表了人类通过有限步骤进行计算的能力的极限。这个极限很难被打破，除非物理世界存在真正的无穷和连续性。否则，只要我们的宇宙是有限的，物理量是离散的（目前的理论表明所有的物理量，包括能量、时间、空间都是量子化的，即离散的），那就不可能超越图灵机。

正是在这个意义上，Turing才被认为是最伟大的计算机科学家。

王垠自从出国留学后就开始生活在自己的世界里了
越来越接近民科的心理状态
子曰：“学而不思则罔，思而不学则殆”
他现在就是思而不学则殆的典型
CS学术圈确实有很多浮躁的人在做一些不知所谓的工作，以灌水的方式发paper
但也有不少人做出了很有意义的成果
而他对这一切视而不见
总认为错的不是自己而是世界
这种中二的心理按理说不该再在奔三的人身上出现了
总之，这家伙懂一点理论，但属于半瓶水
对于程序员来说觉得他说的东西很玄乎懂得理论很多
但对于真正搞理论计算机科学研究的人而言
他的博文中提到的理论其实很naive或trivial
可惜不少IT圈子里的人（尤其是初学者）被他忽悠了

你应该是没有配置好xcode，
如果不想安装庞大的xcode，可以
去下载个xcode command line tools （好像是叫这个名字）
然后就会帮你装好并配置好所有的库和头文件

用airmail的漂过……
不过这货也有很多不足，无法满足我的一些需求。我都打算有空自己diy一个了