水星探索项目中一段Fortran代码里的逗号被写成了点号，影响了运算的准确性，导致太空探测器无法到达更远的轨道。出现这种事情的几率有多大？一种编程语言的设计在多大程度上会影响程序正确性和导致相似的事件？最近发表在第四届International Workshop on Evaluation and Usability of Programming Languages and Tools上的一篇论文中，我展示了一些研究发现：通过往由各种不同语言编写的类似程序中随机的制造一些干扰信息，看编译器或运行系统能否发现由这些干扰引起的错误，或者最终导致了程序输出了错误的结果。

也许你已经知道了，我们正在招聘最优秀的程序员。不错，每个人都这样说。但是我们的程序员能打败你们的——任何时候。比如，米奇虽然只有5英尺高，但他是一个有相当实力的击剑手。维托尔德以前是一个6’3″的职业冰球选手。内特喜欢以丢匕首为乐。当然，他们都是很有水平的程序员。

发现这些人才，并不是你好好上班就能完成的事。事实上，我生活的一半时间都花在了上面，而丽莎差不多投入了她全部的时间。我们有一支招聘大军，搜遍世界任何一个角落，没有一份简历漏掉。总共算起来，我们有大量的简历。很多我们根本不看，因为简历——说实话——完全没有价值。相反，我们把所有的重点都放在了几个关键问题上，我们会问所有的应聘者，每个问题的主旨都是要揭示一个关键信息：这是我们真的想要的人吗？