大家应该看过史泰龙拍的电影《第一滴血》，总共拍了好几部，主人公叫兰博，一个人对抗一个军队。我觉得在现实中，这种

大家好，欢迎收听第425期播客。在今天的节目中，我们将探讨一个2013年图灵奖得主Leslie Lamport

本来是给红薯做的节目，结果这哥们自从被他前女友戏耍之后，他绝地反击，不再当舔狗了。先是做了一段时间牛郎，给深圳

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

简单回答是不，在可预见的未来，人工智能不会取代软件工程团队。 为什么会这么说呢？这个道理其实也不难，你说现代医

本来这一期我2月24录的。录的内容是俄罗斯入侵乌克兰两周年。我上传到国内平台上，但是出现一个问题，我猜是语音中

相信大家已经都知道文生视频Sora了，OpenAI最近放出来的大招。对我们来说是大招，可能对OpenAI来说，

在上个世纪，中国大陆搞社会实验太多，搞科学实验的时间与精力不太够，所以，在计算机方面出的成果实在是非常有限。上

在我有限的认知里，在计算机发展的早期，出生在中国大陆的华人对这方面的贡献是比较少的，毕竟那个年代，中国在社会学