ABOUT THIS VIDEO
这一期，聊些什么？ Chai Choudhary 是 Workers IO 的独立创始人，公司用确定性仿真测试把关键软件跑过数百万个模拟生产场景，在客户之前发现故障。他在与 Julian Weisser 的对谈中谈到：AI 智能体写码、审查、写测试的时代，工程师已答不出测试里有什么，"没人在买代码，买的是可靠性的保证"。他还回顾了 16 岁才第一次碰电脑、在纸上写程序的经历，在印度互联网免费前夕贱卖媒体公司的教训，两个被快速放弃的创业想法，以及他为什么认为创始人应该独立起步。本页全程中文配音由阿里云通义千问 qwen3-tts-flash 生成（Julian Weisser 为 Ethan,Chai Choudhary=Ryan 音色），并以低音量保留原视频声音作为背景。
RECAP · 图文回顾
看完再回顾：这一期讲了什么 点击任意时间戳，可跳到对应位置播放中文配音。
一句话核心观点
AI 智能体已接管代码的生成、审查与测试，开发者正失去对代码库的掌控；Workers IO 用确定性仿真把软件验证变成算力问题，帮团队向客户给出「永不失效」的保证。
分章节要点 00:00 AI 写码时代：没人再懂自己的代码库
如今代码基本由智能体生成、审查，测试也由智能体编写，工程师只看到一个「绿色对勾」，却不知道测试里到底有什么 00:00 46:29 过去优秀工程师把底层系统建得足够可靠，人们可以不懂 CPU 原理也放心使用；而现在人们第一次开始远离对自己代码库的理解 02:48 03:18 客户买的不是代码本身，而是「数据库部署到银行能扛住所有负载、不丢数据」这类保证——Workers 要解决的正是即使不懂代码也能给出这种保证 03:37 01:04 Workers IO 做什么：把验证变成算力问题
Workers IO 构建确定性仿真环境来验证关键任务软件，把「验证软件」这个智力问题转化为算力问题 01:04 团队不再需要自己穷举所有失败方式和要检查的承诺，而是系统性探索系统的状态空间，给出「这些东西永远不会失效」的保证 01:17 AI 智能体写了大部分代码，正是这一轮形式化验证与新测试方法浪潮的重要推动力 02:36 04:49 客户为什么找上门：可靠性门槛正在抬高
客户多为构建核心基础设施的团队（如新型数据库），或想验证与收入直接挂钩的关键模块 04:49 软件半衰期很长：当年一年才出现一次的边缘故障，在产品每天被调用几百万次后每小时都在发生，需要严格得多的验证 05:10 05:33 少量客户用大量智能体即可产生百万级用户的负载——100 人团队用 10000 个智能体就是同样的压力，这也是 GitHub 故障频发的原因之一 06:07 06:39 工程师没有变多反而更少，却在交付 10 倍代码，这彻底改变了系统设计的思路 06:56 08:45 易用性与定价：如何赢下客户
两个早期决定：产品必须极其易用，不能让团队里只有最聪明的工程师会用；定价不与对手看齐，而是靠高频使用和难以替换换来更多收入 08:54 09:10 早期为客户做得太多反而加大上手负担，后来收缩范围、自建工具，实现「连接产品、定义承诺、按算力获得保障」的免动手体验 09:34 09:51 采取「先替客户用起来、暴露所有毛边，再按需求逐步开放功能」的策略：上周发布的三个新功能其实第一天就存在 11:08 11:50 好、快、便宜如今不能三选二：产品要足够便宜、同类最好、价值交付足够快，才能与对手拉开差距 39:52 40:08 13:46 小镇少年：16 岁才第一次摸到电脑
Chai 成长于印度拉贾斯坦邦的 53 LNP 村——人口不足 100 的定居点按水渠命名，53 是交汇处编号、LNP 是水渠名，父母至今仍住在那里 13:45 14:01 16 岁才在学校第一次接触电脑，程序先写在纸上，每周只有一小时去机房运行；因装键盘记录工具「研究」同学操作，被取消了唯一的上机时间 14:35 14:44 15:21 12 年级时朋友家最快的网络只有 2 Mbps，下载一部电影要三天，直到上大学才真正用上互联网 15:40 15:52 大学时在 Facebook 上认识合伙人，创办媒体公司做本地化内容，第一个短剧一周内获得 20 万观看并登上新闻，让他误以为创业「开个头就能成」 15:59 16:41 17:11 18:12 时机的两面：在互联网免费前卖掉了公司
媒体公司踩中了内容空白的时机，但 IP 生意需不断创作、不可持续，转型互动视频平台后进展不顺 18:11 18:34 在印度互联网免费前夕贱卖公司，结果同样的 IP 后来成为最贵的资产之一——潜在受众规模翻了远超百倍千倍 18:52 19:32 教训：创始人做重大决定时常把「现在」当作天花板，而不是把未来可能的发展考虑进去 19:49 此后好几年不再创业，在 OnDeck 等公司工作，目标是攒够「不融资也能养活自己十年」的战备金再出发 20:34 20:59 24:25 两个被快速放弃的想法：旅行与邮件客户端
先做 AI 旅行代理：他在旅行领域有粉丝基础，还曾与印度大行 ICICI 合作推信用卡，但很快看清这是与 Booking.com、Expedia 烧钱打价格战的同质化生意 24:15 24:58 25:22 再做面向旅行顾问的 AI 邮件客户端：看到大家抱怨 Superhuman，但很快发现这不是真痛点，客户不愿付他预期的价格 25:56 26:23 约一个月的尝试足以看清商业信号；他的原则是刻意关注商业价值，看到足够证据就改，绝不与某种解决方案「结婚」 28:56 29:11 29:42 验证方向也尝试过四五个不同角度，明显不对的就果断放弃，而不是自欺「人们最终会回心转意」 29:48 30:05 32:45 从形式化验证到确定性仿真测试
形式化验证是数学领域：用形式化规范建模再做数学检验，比写测试严谨得多，但需在代码外维护另一份规范，容易过时漂移 32:55 33:09 他曾深陷技术新颖性而忽视使用者；同侪 Ryan 提醒他别当酷炫技术卖，要从解决的问题和结果出发 33:28 33:53 形式化验证目前还很早期，很多性质无法形式化建模，因此转向更务实的确定性仿真测试（DST）：保证同样可靠，但直接作用于真实代码 47:00 47:21 他对问题空间始终有信念——金融、医疗、旅行等行业现代化的关键瓶颈就是「如何证明新系统能扛住 20 年负载」，变的只是解决方案的形态 49:39 50:14 50:45 安全也遵循同样逻辑：最安全的数据库加最安全的认证系统，组合方式不对，整个系统照样不安全，必须测试整体 55:45 56:04 37:05 内容即获客：面向开发者的持续输出
其他渠道都极其嘈杂，目标客户注意力有限，抓住注意力的最好方式是持续输出高质量内容 37:05 37:24 他自认犯的错是开始得太晚：没有方案就先聊问题，尽早发声让自己在领域立住脚；如今尽量隔天发一条，内容会复利累积 37:40 38:00 一位创始人告诉他：人们经常在网上看到你，就会觉得你很成功——曝光度本身会带来客户主动上门 38:13 他的形式化方法社区仅靠明确定位就来了好几百人且自运转；Julian 的播客聚焦独立创始人，六七个月做到 YouTube 约 14000、Instagram 破 12000 订阅 41:41 41:58 40:43 56:52 独立创始人 vs 联合创始人，与「一起独立」
他从没觉得有联创会更轻松：股权集中，能给顶尖工程师（如 Vishwa）更有意义的股份，若有两位联创反而招不到人 57:47 58:55 反面理由是孤独：成功无人分享，出错只能怪自己；受不了这些的人即使有了联创也会成为糟糕的合伙人 68:46 68:55 69:13 「Solo together」：SFP 同期 6 人个个出色，像有 6 位联创——Dhavya 走得远、Aldo 在摸索，不同阶段的参照能帮人提前看见自己的未来 31:49 57:18 58:07 独立创业应是默认方式：早期团队成员十年后会成长为事实上的联创，可以用股权灵活激励 69:27 69:34 他看的关键 KPI 是客户采用后支持工单与事故数是否大幅下降——要修的是导致宕机、耗费工程时间的重要故障 67:02 67:26 关键人物 / 产品 / 数字 人物 Chai Choudhary Workers IO 独立创始人，出生于印度 53 LNP 村，曾创办媒体公司、供职 OnDeck，Solo Founders 项目首期成员 Julian Weisser Solo Founders 播客主持人，OnDeck、ODF 及 Solo Founders 项目创办者 Ryan SFP 同期成员，常提醒 Chai 别把产品当酷炫技术卖、要从问题和结果出发；「修复互联网」说法的提出者 Dravya SFP 同期成员，以开发者教育和内容输出著称，被 Chai 视为该领域标杆 Nemanja pumpgtm.com 创始人，被描述为极其乐观、「放得开」的创始人 Ravi SFP 同期成员，网上活跃、精力充沛，曾让 Chai 自感「冒名顶替」 Aldo SFP 同期成员，当时仍在摸索方向 Vishwa Chai 招聘的工程师，承接了大量纯工程侧工作 Noemie 为 SFP 各期学员定制周边（如「Fixing the internet」夹克）的人 Ali MicroOne 创始人，被引用为长期摸索后找到拐点的例子 产品与概念 Workers IO 构建确定性仿真环境验证关键任务软件，把软件验证转化为算力问题 确定性仿真测试（DST） 比形式化验证更务实的路线：保证同样可靠，但直接作用于开发者或智能体写出的真实代码 形式化验证 数学领域方法：用形式化规范对系统建模并做数学检验，比写测试严谨但难用 Solo Founders 项目 邀请独立创始人到旧金山一起创业三个月，紧密合作并投资 10 万美元 Superhuman 邮件客户端，Chai 因看到用户抱怨它而萌生做 AI 邮件客户端的想法 ICICI 印度最大银行之一，Chai 曾与其合作推出信用卡产品 pumpgtm.com Nemanja 创办的 GTM 产品，SFP 项目成员几乎都在用 Postgres 使用最广泛的数据库，Workers 在客户技术栈中顺带发现了它的问题 Magic School Julian 合作过的公司，第一周 100 位老师、再到 1000 位、如今数百万，是「一做就成」的罕见案例 MicroOne Ali 的公司，试过多个方向后找到拐点，如今势头很猛 视频里提到的数字 $100,000 07:49 Solo Founders 项目对每家公司的投资金额 三个月 07:49 Solo Founders 项目把独立创始人带到旧金山共同创业的时长 16 岁 14:35 Chai 在学校第一次接触电脑的年龄 2 Mbps 15:40 Chai 上 12 年级时朋友家最快的网络速度，下载一部电影要三天 200,000 观看 / 一周 17:11 第一家媒体公司首个短剧上线一周内的观看量，并登上新闻 100 人 × 10,000 个智能体 06:39 举例说明少量客户借助智能体即可产生百万级用户的负载 10 倍代码 06:56 如今更少的工程师交付的代码量倍数 6 人 31:49 SFP 首期小组人数，「个个都很出色」，对比加速器 200 人中只有 5 个拔尖 14,000 / 12,000 40:55 Solo Founders 播客六七个月内在 YouTube 的订阅数与 Instagram 刚突破的订阅数 翻了一倍 / 五年 43:30 过去五年独立创始人在创业者中的占比变化 100 → 1,000 → 数百万 59:41 Magic School 教师用户数从第一周到如今的增长轨迹 20 年 50:14 客户评估新数据库时的底线：你的系统是否也扛过 20 年生产负载 金句摘录 · 中英对照 “Every single line of code now being generated, it's mostly generated by agents. It's being reviewed by agents.” 如今每一行代码基本都是智能体生成、智能体审查的。
— Chai Choudhary 00:00 “If anything, you need to just build less and really figure out if what you're building is the right thing.” 不如说要做少一点，先确认做的是对的事。
— Chai Choudhary 00:43 “Um, but I, I never wanted to like get ... like marry a shape of solution.” 但我从来不想跟某一种解决方案的形态绑死。
— Chai Choudhary 29:42 “Like, if you don't have a solution, talk about the problem, right?” 没有方案，就先聊问题。
— Chai Choudhary 37:48 “Like, nobody's buying code. People are buying-- If, if they are buying a database, a kind of database, they are buying the reliability that it'll not lose our data.” 因为没人是买代码的。大家买的是……比如买数据库，买的是它不丢数据的可靠性。
— Chai Choudhary 44:58 “Um, if anything goes wrong, you are the only one to blame.” 出了任何问题，只有你能被责怪。
— Chai Choudhary 68:55 “The idea is it's much better to be solo together than to be solo alone.” 理念是：一起独立创业，远好过孤身一人。
— Julian Weisser 72:30 可以借鉴的做法 / 启发 把智力问题转化为算力问题：与其让团队穷举失败场景，不如系统性探索状态空间，用「保证」而非「测试通过」向客户交付信心。 定价与易用性要服务于使用频率：足够好用、价格合理，产品就会被高频使用、难以替换，长期收入反而更高。 先替客户用起来、再逐步开放功能：把「服务化交付」当作发现真实需求的手段，而不是一开始就把所有功能丢给客户。 对方向保持信念、对方案保持无情：约一个月的尝试足以看清商业信号，证据不足就换方案，绝不与某种解决形态「结婚」。 内容即获客要尽早开始：没有方案就先聊问题；隔天发一条、质量持续变好，曝光本身会让客户觉得你「很成功」而主动上门。 独立创业前攒够「十年战备金」：不因短期生计被迫在错误时点做重大决定（如贱卖公司），窗口足够长才看得见拐点。 回顾 / 思考问题 如果你的产品明天被 10 倍于今天的智能体流量冲击，你的系统设计和验证手段扛得住吗？ 你的客户买的到底是什么——代码、功能，还是「永不丢数据」这类保证？你能否给出证据？ 你是否把「现在」当成了天花板来做重大决定？有哪些迹象提示你未来可能完全不同？ 你目前是否在「与解决方案结婚」？如果一个月后看到否定证据，你愿意转身吗？ 你的产品能否再砍掉一半功能，让首批客户更快尝到价值（比如一张 Excel 表就够）？ 如果独立创业是默认选项，你会用股权和「一起独立」的同侪环境如何重新设计你的团队？ 本回顾由 AI 根据英文逐字稿整理，时间戳、引文与数字已对照逐字稿核对；如有出入，以原视频为准。
◉ 正在收听配音
