机器与人类视觉能力的差距（2） 本文属于个人观点，跟本人在职公司的立场无关。由于最近 GitHub 服务器在国内访问速度严重变慢，虽然经过大幅度压缩尺寸，文

机器与人类视觉能力的差距（1） 本文属于个人观点，跟本人在职公司的立场无关。由于最近 GitHub 服务器在国内访问速度严重变慢，虽然经过大幅度压缩尺寸，文

程序员Talk is not cheap （本文描述的是我长久的经历中形成的看法，跟我现在身边的人和事没有直接联系，请勿对号入座。） 长久以来，我发现挺多 IT 人士学会

关于微内核的对话 不知怎么的，最近“微内核 vs 宏内核”又成了热门话题。这场争论从 1992 年开始…… 前言 说实话我很久没有关心操作系统了，因为通常所谓的“

再谈“P vs NP”问题 谨以此文献给“最伟大的计算机科学家” 好几年前曾经写过一篇文章表达对计算机科学里著名的 “P vs NP” 问题的看法。当时正值我人

学习的智慧 有些人很爱学习，兢兢业业把书一个字一个字从头看到尾。好不容易学完一本书，却不知道自己学到了什么。 另外一些人聪明一点，他们嘴里喜欢冒

解谜英语语法 我发现很多人仍然在为语法的枯燥繁琐而头痛。市面上好像不存在一本深入本质的语法教材。语法对于我来说已经早就不是问题，所以我萌生了写

解谜计算机科学 要掌握一个学科的精髓，不能从细枝末节开始。人脑的能力很大程度上受限于信念。一个人不相信自己的时候，他就做不到本来可能的事。信心

从苹果产品的设计错误学教训 如果你感兴趣的话，可以在这里下载这份文档。由于其中有比较多高清晰度的图片，虽然经过最大限度的压缩，文档的大小仍然是

智能合约和形式验证 在之前一篇[关于人工智能的文章](http://www.yinwang.org/blog- cn/2017/04/23/ai

iPhone X 在 CIIA 第一期报告中，我剖析了 iPhone 从诞生以来就存在的，以及后来产生的一些设计问题。昨天在苹果店里玩了一下 iPhone X，发现它不但继承了以往的 iPhone 的设计问

网络用语 不知道有人注意到没有，凡是在跟我的对话中使用过“吐槽”，“喷”，“low”，…… 这类词汇的人，都会被我自动在心理上进行隔离。也许他们

理性的力量 曾经有一个显得自己地位挺高的人给我来信，谈论我的博客和一些他对工程的看法。这两天回忆起过去的一些经历，想把这段故事讲一下。当然我不

人体工学 长时间用电脑工作的人，都会开始关注自己的健康。很多人出现腰肌劳损，颈椎病，肌腱炎之类的烦人问题。其他人呢，因为看到身边的同事朋友得了

旅行的智慧 每一次旅行都是一场修行。通过每一次旅行，我都会总结出一些简化生活，让它变得更舒适的方法。有了『编程的智慧』和『生活的智慧』，我现在

生活的智慧 我曾经写过一篇文章，叫『[编程的智慧](http://www.yinwang.org/blog-cn/2015/11/21/pro

如何掌握所有的程序语言 对的，我这里要讲的不是如何掌握一种程序语言，而是所有的…… 很多编程初学者至今还在给我写信请教，问我该学习什么程序语言，

带猫回国经历 经过一番折腾，我和小莫奈已经顺利到达成都家里。在此我感谢各位朋友给我的信息和指点。第一次带宠物回国的人，不免面临困惑和压力，所以

DSL语言 的误区 DSL 时不时地会成为一个话题，所以今天想专门说一下。 DSL 也就是 Domain Specific Language 的简称，是指为特定领域（domain）设计的专用语言。举个例子

Kotlin语言 和 Checked Exception 最近 JetBrains 的 Kotlin 语言忽然成了热门话题。国内小编们传言说，Kotlin 取代了 Java，成为了 Android 的“钦定语言”，很多人听了之后热

什么是现实理想主义者 曾经有人看了我的文章，以为我是一个“理想主义者”，来找我聊天。他说：“你知道吗，我跟你一样喜欢简单优雅的代码。上次我在某

人工智能的局限性 有人听说我想创业，给我提出了一些“忽悠”的办法。他们说，既然你是程序语言专家，而现在人工智能（AI）又非常热，那你其实可以搞

经验和洞察力 很多人很在乎“经验”，比如号称自己在某领域有 30 年的经验，会用这样那样的技术。我觉得经验是有价值的，我也有经验，各个领域的都有点。

C# 的 IDisposable 接口 我在微软的团队快被微软 C# 里面的各种 [IDisposable](https://msdn.microsoft.com/en- us/library/system.idisposable(v=vs.110).aspx) 对象给折腾疯了…… 故事比较长，先来科普一下。如果你没有用过 C#，IDisposable 是 C# 针

C 编译器优化的 Bug 一个朋友向我指出一个最近他们发现的 GCC 编译器优化过程（加上 -O3 选项）里的 bug，导致他们的产品出现诡异的行为。这使我想起以前见过