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

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

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

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

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

简单回答是不，在可预见的未来，人工智能不会取代软件工程团队。

为什么会这么说呢？这个道理其实也不难，你说现代医学能取代传统医学么？一个充满了专门卖假药给假医院做广告的搜索引擎可以被一个口头说不做恶，但是背地里也做恶，但是没有坏到头上长疮脚底流脓的搜索引擎取代么？我的答案是一样的，在可预见的未来，坏公司不会被好公司代替，甚至能达到劣币驱逐良币的结果，最终劣币赢了。但是最终，放在一个比较长的时空里，大家要有点想象力，乐观一点。只是，可能会毁掉几代人，这也是没有办法的事情。… 阅读更多

本来这一期我2月24录的。录的内容是俄罗斯入侵乌克兰两周年。我上传到国内平台上，但是出现一个问题，我猜是语音中提到了俄罗斯入侵乌克兰，所以导致平台直接审批不通过。一般情况下是审核小半天，就会告诉你有没有通过，但是这一期，审了好几天，也没通过。… 阅读更多

相信大家已经都知道文生视频Sora了，OpenAI最近放出来的大招。对我们来说是大招，可能对OpenAI来说，这算什么，只是个副产品罢了。网上的视频，基本上就是那几个，一个是一个女的，走在下雨的纽约街头。还有一个是一个四轴飞行器，飞过了一些古代的建筑。还有狗在雪地里玩雪，还有一个是一对情侣走路，还有一个是两艘船，在咖啡杯的风暴里航行。… 阅读更多

在上个世纪，中国大陆搞社会实验太多，搞科学实验的时间与精力不太够，所以，在计算机方面出的成果实在是非常有限。上一期电台讲到的王浩，也是因为从西南联大跑到美国去读书，然后收到了他父亲催促回国建设祖国的信件。王浩跟他父亲关系非常好，他收到信件之后，第一反应是写信的这个人不是他父亲，因为他父亲不会用这种语气写信。于是，王浩决定不回国了。… 阅读更多

在我有限的认知里，在计算机发展的早期，出生在中国大陆的华人对这方面的贡献是比较少的，毕竟那个年代，中国在社会学方面进行探索，当时没有精力搞计算机。我是说以前，现在当然很厉害了，在量子计算机领域、生命科学领域、中药与计算机结合的领域，已经遥遥领先了，这个不必我多说。我是说以前，上个世纪。但是，有一位出生于中国大陆的华人，是真的开创了人工智能一个相当重要的领域：自动定理证明。… 阅读更多