1971年的图灵奖授予提出”人工智能”这一术语并使之成为一个重要的学科领域的斯坦福大学教授约翰.… 阅读更多

1970年，第5届图灵奖授予詹姆斯·威尔金森。表彰其在利用数值分析方法来促进高速数字计算机的应用方面的研究。… 阅读更多

在1956年，计算机科学家马文·明斯基（Marvin Lee Minsky）与J. McCarthy共同发起了历史性的”达特茅斯会议”，并首次提出了人工智能（Artificial… 阅读更多

理查德·韦斯利·汉明（Richard Wesley Hamming，1915 年 2 月 11 日－1998 年 1 月 … 阅读更多

【图灵奖得主巡礼】这个系列专注于介绍所有曾获得图灵奖的人，按照年份顺序进行讲解。如果我每周更新两期的话，将分别在每周二和每周五更新；如果每周只更新一期的话，将安排在每周五更新。鉴于上一次定时更新的时间为早晨6点，可能会让还在睡梦中的听众感到不适，因此，更新的时间已调整为早晨10点。… 阅读更多

我打算开一个系列，来介绍所有的图灵奖获得者。1966年，首届图灵奖颁给了艾伦·佩利，这绝对是实至名归！他不仅在ALGOL语言的定义和发展上做出了巨大贡献，还奠定了计算机科学教育的基础，让它成为了一门独立的学科。… 阅读更多

大家应该看过史泰龙拍的电影《第一滴血》，总共拍了好几部，主人公叫兰博，一个人对抗一个军队。我觉得在现实中，这种情况几乎不可能发生。因为你体力再好，毕竟双拳难敌四手，只不过是一个爽片罢了。… 阅读更多

大家好，欢迎收听第425期播客。在今天的节目中，我们将探讨一个2013年图灵奖得主Leslie Lamport。前半部分讲一个软件latex，后面讲他在分布式领域的贡献。… 阅读更多

本来是给红薯做的节目，结果这哥们自从被他前女友戏耍之后，他绝地反击，不再当舔狗了。先是做了一段时间牛郎，给深圳的女性送温暖，后来又找到了一个正式的老婆，两个人在深圳，竟然结了婚，生了娃。直接让我这个电台没了素材。… 阅读更多

在分时操作系统成为主流之前，我们主要用的是两种操作系统：批处理系统和单道批处理系统。

想象一下，单道批处理系统就像是最早的邮局。你把一堆信件（程序作业）交给邮局，然后他们按顺序一封封处理。一次只处理一封信，其他的都得排队等着。这种系统简单是简单，但问题是，你得等很长时间才能收到回复（看到结果）。… 阅读更多