podcast

No.437 第11届图灵奖、加密货币加的“密”、非确定性有限状态自动机理论的开创者:迈克尔·拉宾和戴纳·斯科特

上一期讲了,第10届图灵奖得主,是奖励给两个人,那是一对师生。这一次,图灵奖评选委员会又奖励给了两个人。从技术上来讲,没有这两个人的工作,像加密货币,区块链这些东西,在安全性上,可能都有很大的欠缺。这两个人是同门师兄弟,当时在以色列希伯莱大学任教的米凯尔.拉宾(Michael… 阅读更多

No.437 第11届图灵奖、加密货币加的“密”、非确定性有限状态自动机理论的开创者:迈克尔·拉宾和戴纳·斯科特 Read More »

No.436 第10届图灵奖、诺贝尔奖双料得主:西蒙与纽厄尔师徒

本期的主人公有两位,两人是师生关系,老师叫Alexander Simon,学生叫Allen Newell,两人是亦师亦友的关系。两人在长达20年的共同研究中,获得了丰硕的研究成果。在1976年,图灵奖首次颁发给两人,两年之后的1978年,诺贝尔经济学奖又颁发给了老师Alexander… 阅读更多

No.436 第10届图灵奖、诺贝尔奖双料得主:西蒙与纽厄尔师徒 Read More »

No.435 第9届图灵奖得主、《计算机编程艺术》作者、算法分析之父:唐纳德·高德纳Donald Ervin Knuth

我做了400多期电台节目了。就像如果你学编程不知道高德纳一样,就好比学物理不知道牛顿,学数学不知道欧拉,学音乐不知道莫扎特,学Delphi不知道Anders… 阅读更多

No.435 第9届图灵奖得主、《计算机编程艺术》作者、算法分析之父:唐纳德·高德纳Donald Ervin Knuth Read More »

No.434 第8届图灵奖得主、数据库之父:理查德·巴赫曼

自上世纪60年代中期起,随着数据库技术的崛起和不断成熟,计算机数据处理技术实现了一次飞跃,极大地推动了计算机的广泛应用。正是在这一背景下,1973年图灵奖首次颁发给了数据库领域的先驱查尔斯·巴赫曼(Charles… 阅读更多

No.434 第8届图灵奖得主、数据库之父:理查德·巴赫曼 Read More »

No.433 1972年第7届图灵奖得主、Dijkstra最短路径算法、栈、中断、集合等一众发明的人:迪杰斯特拉

对于每个行业和领域来说,几乎都有一两个被视为“终极荣誉”的大奖。比如电影界的奥斯卡奖、新闻界的普利策奖,数学界的沃尔夫奖和费尔兹奖等等。随着计算机通讯领域的快速发展,”图灵”这个词经常在各种场合中出现,被称为计算机界的诺贝尔奖。… 阅读更多

No.433 1972年第7届图灵奖得主、Dijkstra最短路径算法、栈、中断、集合等一众发明的人:迪杰斯特拉 Read More »

No.430 「图灵奖得主巡礼」第4届图灵奖得主、人工智能之父、框架理论的创立者:马文·明斯基

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

No.430 「图灵奖得主巡礼」第4届图灵奖得主、人工智能之父、框架理论的创立者:马文·明斯基 Read More »

No.428.「图灵奖得主巡礼」第2届图灵奖、给电脑装上内存的第一人、对人工智能取代人类表示怀疑的威尔克斯

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

No.428.「图灵奖得主巡礼」第2届图灵奖、给电脑装上内存的第一人、对人工智能取代人类表示怀疑的威尔克斯 Read More »

No.427 第1届图灵奖得主、现代编程语言之父、计算机科学这门学科的缔造者:艾伦·佩利

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

No.427 第1届图灵奖得主、现代编程语言之父、计算机科学这门学科的缔造者:艾伦·佩利 Read More »

No.426 FFMPEG、QEMU作者,程序员界以一敌万的兰博 —— 法布里斯·贝拉

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

No.426 FFMPEG、QEMU作者,程序员界以一敌万的兰博 —— 法布里斯·贝拉 Read More »

No.425 图灵奖得主、LaTex作者、并发系统开拓者、区块链拜占庭容错算法创立者 —— Leslie Lamport

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

No.425 图灵奖得主、LaTex作者、并发系统开拓者、区块链拜占庭容错算法创立者 —— Leslie Lamport Read More »

2024年的330

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

2024年的330 Read More »

No.424 Unix史前史

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

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

No.424 Unix史前史 Read More »

No.423 人工智能会取代程序员么?

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

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

No.423 人工智能会取代程序员么? Read More »

No.421 我也谈谈OpenAI最新的文生视频Sora会对哪些行业产生巨大的冲击

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

No.421 我也谈谈OpenAI最新的文生视频Sora会对哪些行业产生巨大的冲击 Read More »

No.420 王浩——上世纪华人在计算机理论界的天花板

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

No.420 王浩——上世纪华人在计算机理论界的天花板 Read More »

No.419. 你可知道一个出生在中国的华人,孕育了理论计算机科学?

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

No.419. 你可知道一个出生在中国的华人,孕育了理论计算机科学? Read More »

滚动至顶部