代码时光机

1986 年，Fred Brooks  在 IFIP大会 上发表了软件工程学科最经典的论文：《 没有银弹：软件工程的本质与偶然》。作为《人月神话》的作者、图灵奖得主，Brooks作出大胆的断言： 不存在任何单一的技术或管理上的进展，能够独自承诺在十年内让生产力、可靠性或简洁性获得哪怕一个数量级的提升。 那么AI到来之后呢？

关于GPT和Claude的同源与分野，关于一群人和AGI的过去与未来。

既然信息生产的主导权，能够随着智能手机的普及完成从机构到个体的下放，那信息熵减的主导权，为什么不能随着端侧AI的全面普及，完成同样的权力下放呢？

古代中国这些信誓旦旦的相面人虽然喜欢故弄玄虚，但在人口流动性极低的小农社会，一套通过人的外貌体态判断其生活状态，甚至猜出他的过去和未来并不是天方夜谭。试想一下，如果一个社会的大多数人，终其一生所能走出的最远距离就是半天时间的徒步距离的话，那么大多数人的一生都只是围绕出生地的一个小圈子。在这些小圈子里，如果不遇到兴亡更替的大事，代际之间的生活其实不会有多大的区别。在同一片土地不变的生产力下，几乎相同...

在人工智能生成内容（AIGC）的浪潮中，我们见证了太多令人眼花缭乱的突破。从能够撰写小说、编写代码的文本大模型，到一键生成逼真图像的绘图工具，再到能创作交响乐、合成语音的音频系统，甚至延伸至3D场景构建与蛋白质结构预测的科学领域。然而，无论应用场景如何变幻，无论输入输出的形式多么迥异，所有现代生成式AI在底层逻辑上都遵循着同一种范式。它们都将世界万物“翻译”成了一种通用的语言——Token序列。 阅读文本见于 vx公...

好久不见。出于工作和AI兴趣的原因，我有很长一段时间的忙碌，导致了这档节目的断更。 复播的第一期，我想聊一下技术之外的话题。 从人工智能诞生的第一天起，我们总说AI能够颠覆世界。问题是这种想象一旦具体，就容易被技术的飞速进步所嘲笑。所以我们的想象不妨更深入一些，想象关于生产关系、真相和数据公正的颠覆。 另外，我新建了一个公众号，打算把之后的播客转录文稿都放在那里。欢迎订阅。 公众号：鼓腹专家

我们对于无穷的计算有着浪漫的想象，光是科幻小说，就有阿西莫夫《最后的问题》、亚当斯《银河系漫游指南》的经典科幻梗。但是我们从世界体验中认知到的无穷、数学世界中勾勒的无穷以及计算机所能够触达的无穷有什么区别和联系呢？ 附关于无穷的一些小趣闻： 1. 为什么 [0,1] 区间的实数无法和自然数一一对应？ 第一步：简化实数的表示 [0,1] 里的任何实数，都能写成 “无限小数”（有限小数补无限个 0，比如 0.5=0.5000...，避...

网络对于今天的我们来说似乎和空气一样司空见惯，也和空气一样受之不觉、失之难存。 但网络带来的信息传播的颠覆是空前的，并不亚于计算机本身带来的颠覆，毕竟从信息还无法被抽象出来的时代开始，它就被束缚在低频率、低容量的载体中，锁死了流动性，所以才会有“烽火连三月，家书抵万金”。 那么关于网络，这个和我们原始直观的世界经验并不兼容的科技产物，我们在谈论它的时候到底在谈论什么？

Nginx (engine X) 在我个人心目中可能算是最好的开源服务器，尽管掺杂个人感情，但它实际上从很大程度上代表了我们所身处的这个宏大的Web2.0时代，阐释了一个优雅的、灵活的同时又是无私的Web后端的应有之义。最近又开始做Nginx有关的工作，所以有感而发聊一聊:) 附：W3Techs 统计的web server使用量（比节目中聊的数据更新...）

近来工作繁忙，想着干脆来聊聊程序员工作中的脏活累活——给线上的软件程序验尸。当然这里我聊的还是coredump和gdb的古法验尸，倒不是说那些新的debugger做得不好，而是当火急火燎的debug工作到来时，可能只有corefile和gdb才不会给人添堵……

最近看到暴雪游戏要正式对粉丝运营的知名私服“乌龟魔兽世界”发起诉讼，不由得心生感慨。在所有的游戏侵权中，“私服”是一种很独特的存在，毕竟对于联网的在线游戏来说，官方掌握着游戏服务器的绝对控制权，那为什么私服还会存在呢？于是我想聊一聊这个话题，从技术上，或者从某种更感性的层面上，聊聊为什么联网在线游戏会存在私服。

根据一句话创作图片，对于人类来说是一项专业性很强的工作，但在今天越来越多的AI模型已经可以通过计算来完成。在使用之余，你有没有想过这究竟是如何实现的？它违反直觉的地方是如此之多，例如从文字prompt到图片输出，实现了信息载体从一维到二维结构的跨越；除此之外，AI还有着和人类截然不同的创作路径，它的绘画就像把布朗运动的分子重新排布得井然有序一样，是一种违反直觉的熵减过程。前面的节目基于LLM解释了大模型的基本...

C，C++和C#看起来就像是一家子，讲完C++自然就该聊聊C#——因为它看上去就像是C++++。 附：在音乐中，sharp相当于法语dièse或希腊语diesis，表示音高升高。升号符号 表示该符号对应的音符高出一个半音。

三种有些小众的编程语言，一块聊聊。 附：编程语言排行榜 TIOBE for July 2025 TOP50

俗话说，没有人能精通C++。我们常见到Java程序员、Golang程序员的title，却鲜见有开发者自诩为“C++程序员”。一直以来C++似乎都站在鄙视链的顶端，OS、交易、通信、仿真或是渲染等各种高性能计算场景几乎都无法脱离C++而存在。所以C++到底意味着什么？为什么现代C++在高度复杂化的演变之路上一去不返？Vibe coding的热潮下C++会被Rust取代吗？

接着上一期，我们来聊一个更常出现在Leetcode面试题里的性质：同构性。或者说它们更常被提及的名字：深度/广度优先搜索、动态规划……

最近多次提到面试和算法题的话题，没想到我陆陆续续收到了好几封邮件，这几位听友向我大倒苦水，痛斥面试题给校招带来的痛苦。于是我想直接来聊聊这些Leetcode算法题，虽然我给不了什么秒杀的捷径，但是希望能为减轻算法题的痛苦尽一些绵薄之力 :) 第一期聊聊单调性话题。

嘉宾是我的朋友阿泽，目前在美国某500强企业做全栈工程师。 又是一年校招季，近年来关于校招的话题热度一直有增无减，竞争愈演愈烈之态势有目共睹。我们常以“大环境”解释这种困顿的处境，但当局者迷，我们需要一个旁观的视角来弄清楚校招的全貌。而最适合作为对照的就是处在地球另一端的美国。美国应届生们的校招又是怎样的情景呢？这非常令我好奇，所以有了这期节目。

目睹应届生秋招之激烈焦灼，有感而录制这期节目，回忆面试中Leetcode、算法题的过往以及聊聊当下的现状。 列了个自测题单，有兴趣的可以看看： https://leetcode.cn/problem-list/OBMMTKks/

每一个席卷全人类的科技产品都有最后一层需要捅破的窗户纸，从PC到移动设备莫不如此。那么……AI又如何呢？

贝叶斯定理  Bayes' theorem 被誉为统计学的勾股定理，是一种用似然概率更新先验概率的工具，它深刻地参与了现代世界的构造，却往往作出有悖于我们直觉的姿态。通过几个故事，或许你可以直观地体会贝叶斯定理的魅力，并尝试用它构建一个更有力的认识论框架。 1. 贝叶斯定理 2. 蒙提霍尔问题：固执己见的胜率

面向准大学生们的一期节目。

最近Google如期召开了2025年的I/O大会，有人说又是一次乏善可陈的演示，有人说这是一次AI产品化的真正标杆。借此咱也来聊一聊这场科技发布会，同时聊一聊AI产品化的事。

SQL，或者读作sequel，几乎已经成为数据库的代名词。不止程序员，今天一切和数据库打交道的职业都需要SQL的帮助。我们在数据库之上构建了庞大的信息世界，SQL这样一种形式化推理系统值得我们好好聊聊它的过往和去处。

五一假期，聊点轻松话题 :)