王建硕 × 徐文浩吵架局:看代码是浪费时间,还是人机唯一的桥梁
AI炼金术
1 DAYS AGO
王建硕 × 徐文浩吵架局:看代码是浪费时间,还是人机唯一的桥梁
王建硕 × 徐文浩吵架局:看代码是浪费时间,还是人机唯一的桥梁

AI炼金术
1 DAYS AGO
本期播客围绕 AI 时代是否还需要人工审查代码展开激烈辩论。王建硕主张 “if it works” 原则,认为代码只要工作就不必管,甚至不允许自己看任何一行代码;徐文浩则坚持所有代码合并上线前必须有人看过,强调通过自然语言生成确定性工具进行治理。两人从编译器比喻、工匠精神、规模效率等多个角度交锋,最终发现分歧根源在于定位不同:王建硕是 “吃面条的客户”,只关心结果;徐文浩是 “开麦当劳的”,追求规模化效率。
王建硕提出在 AI 时代,Python、JavaScript 等传统编程语言已沦为汇编,开发者应像不改编译器产出一样不看 AI 生成的代码,通过自然语言循环和大量测试用例(如 414 个 test case)进行治理。他 12 天在 TestFlight 发布 148 个版本,仅五六个 break,证明这套方法可行。徐文浩则反驳,认为代码规模上去后仅靠自然语言和测试不可靠,AI 会 mock 测试导致虚假的 “work”。他团队有 13000 多个端到端测试,坚持用自然语言生成确定性工具(如抽象语法树)扫描全库,所有代码合并前必须经过人工审核。两人在五年后是否还需要看代码上达成一致 —— 大概率不需要,但分歧在于今天怎么办。王建硕主张矫枉过正,提前适应未来工作方式;徐文浩则强调通过不断迭代工具和流程,逐步减少看代码的需求,并在过程中获得阶段性优势。最终共识是:定位不同决定方法不同,吃面条的只关心结果,开麦当劳的必须盯着生产线。
00:50
00:50
代码是人与 AI 的唯一桥梁
01:46
01:46
代码治理辩论:王建硕与徐文浩
03:32
03:32
Python、JavaScript 等语言已沦为汇编,AI 编译器才是高级语言
10:07
10:07
治理应依赖确定性代码工具而非纯自然语言
10:07
10:07
不允许自己看任何一行代码
14:28
14:28
项目规模上去后,仅靠自然语言和少量测试不可靠
17:59
17:59
LLM 是新一代编译器,AI 生成的代码是新一代汇编。
31:08
31:08
我们不是造编译器的,我们是使用 IDE 的
33:33
33:33
AI 不关心空格回车
39:13
39:13
AI 能力有限,仍需人工管理代码
44:47
44:47
30% 与 5% 的注意力在代码层,是质的差异
51:55
51:55
从小白视角希望 Anthropic 赢
52:20
52:20
用户洞察比编码效率更持久
59:10
59:10
测试用例比代码本身更重要
1:00:16
1:00:16
不看代码会导致虚假的 work
1:02:39
1:02:39
看代码的 ROI 取决于你的目标
1:11:24
1:11:24
优秀软件工程师的核心在于理解底层机制
1:12:11
1:12:11
只会用 React 不懂底层 HTML 不算专业软件工程师
1:22:39
1:22:39
核心差异在于工作层次不同
