AI生成的代码没人读得懂，验证正从奢侈品变成刚需
过去做系统级验证成本太高没人愿意做，现在同样的算力花销能换来和最严苛测试一样的可靠性，不做反而说不过去。
原视频在 YouTube 上放不出来，用音频听：
核心论点 · 点时间戳可跳到原声
验证正在变成信任的硬通货
AI 生成代码量暴涨后，工程师越来越看不懂自己系统里到底发生了什么；Chai 把这比作 CPU——没人需要懂 CPU 内部原理，因为它已经被验证到足够可靠。现在代码失去了这种被理解和验证的基础，客户买的从来不是代码本身，而是「数据库不会丢数据」这类承诺，Workers.io 要做的就是把这种信任重新建立起来。
— Chai Choudhary少数客户也能制造百万级流量
过去要积累到百万用户才会暴露的边缘情况，现在几个客户配合大量 agent 调用就能复现——100个人配10,000个agent产生的负载，相当于过去百万真人用户的量级。工程师数量并没有增加反而更少，但交付代码量翻了十倍，这直接拉高了系统必须达到的可靠性门槛，也是近期一些大型服务宕机的成因之一。
— Chai Choudhary定价做便宜，反而更难被替换
Chai 没有按竞品价格对齐定价，而是故意把产品做得足够简单、价格足够低，让团队里几乎任何人都愿意用、用得更频繁。结果客户用量上去了，替换成本也跟着变高，公司反而比对标高价竞品赚到更多收入——这是他认为早期销售逐渐变容易的关键决定之一。
— Chai Choudhary没网络的童年，靠纸笔学编程
Chai 在印度拉贾斯坦邦一个只有几十人的小村子长大，16岁才第一次摸到电脑，每周只有一小时上机时间，代码要先在纸上写好。他写了个记录同学按键的小工具偷偷装进机房电脑，被发现后机房直接把他的上机时间清零。高三时全村最快的网速是2 Mbps,下一部电影要三天，他上大学前根本没用过互联网。
— Chai Choudhary抢先一步不如抢准时机
Chai 的第一家公司做印度本地化短视频内容，踩中了印度人刚上网却没内容可看的窗口，一条短剧一周播放200,000次。但他和合伙人对这门需要不断产出新IP的生意并不满意，转型做互动视频平台后又遇冷，于是在印度互联网免费普及前就把公司卖掉了——同样的资产后来身价暴涨，教训是：判断「现在已经是最好的时候」本身就是一种决策偏差。
— Chai Choudhary先验证值不值，再决定做什么
创业之初，Chai 先后试了 AI 旅行代理和给旅行顾问做的邮件客户端，但很快发现旅游是和 Booking.com、Expedia 拼谷歌广告预算的价格战，邮件客户端的问题对客户来说也不够痛——他们不愿意为此付钱。他认定自己真正理解的问题是软件验证，于是果断放弃前两个方向，不让自己「嫁给某个解决方案的形态」。
— Chai Choudhary没有答案也要先开口
Chai 后悔自己迟迟没有做内容，他的教训是：哪怕还没有解决方案，也应该先公开谈论问题本身，这会在这个领域先把位置占住，让潜在客户后来自己找上门。他现在坚持每隔一天发一次内容，质量不一定是最好的，但持续曝光本身会让客户以为「这家公司做得很好」,进而主动联系。目前多数客户都是通过这些内容找来的。
— Chai Choudhary连Postgres都被测出新漏洞
Workers.io 本来不是在测试 Postgres,只是客户技术栈里用到它，结果顺带测出了几个问题——都不严重，但足以说明就连这种经受了几十年考验、被广泛信任的数据库也不是无懈可击的。Chai 的结论是：把最安全的数据库、最安全的认证系统拼在一起，整体系统依然可能不安全，因为过去的测试习惯是分模块测，很少有人把整个系统当成一个状态空间去穷举验证。
— Chai Choudhary原话 · 已逐字校验
Nobody's buying code. People are buying that. If I'm going to implement this database in my bank, it's going to handle all the workloads that we see and you're not going to lose data.
没人买的是代码。人们买的是这个：如果我要在银行里用这个数据库，它要能扛住我们所有的工作负载，而且不会丢数据。
Chai Choudhary3:53
It's not like the engineers have increased. If anything, there are less number of engineers actually working today, shipping like 10 times the code, which now changes how you need to think about your systems.
工程师数量并没有增加。实际上现在干活的工程师更少了，却要交付十倍的代码量，这改变了你思考系统的方式。
Chai Choudhary6:07
if we make it easy enough to use and like, and reasonably priced, it's just going to be used way more often in these teams. And then it'll also be much more difficult to replace it, but we'll end up generating way more revenue.
如果我们把产品做得足够好用、价格合理，它在团队里就会被用得多得多。这样它也会更难被替换掉，但我们最终反而能赚到更多收入。
Chai Choudhary9:15
So the same thing that we sold for pennies ended up becoming way more valuable. And now it's one of the most expensive IPs that exists.
我们当年几乎是贱卖掉的那个东西，后来变得值钱得多。现在它是现存最贵的IP之一。
Chai Choudhary18:28
I think you should just go out as soon as possible. Like if you don't have a solution, talk about the problem, right? Like you can just do that. And then that will establish you in the space.
我觉得你应该尽早发声。如果你还没有解决方案，那就先谈问题本身，这样就能在这个领域先确立起自己的位置。
Chai Choudhary37:57
I think that the answer is solo founder will be the default way that companies get started, right?
我认为答案是：单人创业会成为创办公司的默认方式。
Chai Choudhary43:00
it shows, like, one of the most well-tested systems out there. Like, this database that runs in, like, probably handles a lot of important workloads in the world has issues, right? And what does that say about your system?
这说明就连市面上测试最充分的系统之一——这个很可能承载着世界上大量重要工作负载的数据库——都有问题。那你自己的系统又会怎样？
Chai Choudhary52:49
It can be incredibly lonely, I would say at times, like you don't have anybody to celebrate your successes with. If anything goes wrong, you are the only one to blame.
有时候会非常孤独，没有人能和你一起庆祝成功。如果出了什么问题，能怪的也只有你自己。
Chai Choudhary1:08:26
数字与实体
| 短剧S.O.R.D.首周播放量 | 200,000次 | 16:26 |
| 高三时当地最快网速 | 2 Mbps(下载一部电影要三天) | 15:26 |
| 节目YouTube订阅数 | 14,000 | 40:59 |
| 节目Instagram粉丝数 | 12,000 | 40:59 |
| 形式化方法社群人数 | 几百人 | 42:00 |
| 美国单人创始人占比变化 | 过去五年翻了一倍 | 43:00 |
| 小团队可产生的等效负载 | 100人团队用10,000个agent | 6:07 |
术语
- Formal verification形式化验证
- 用数学方法对系统做穷举式证明，而非写几个测试用例去抽查
- Deterministic Simulation Testing (DST)确定性模拟测试
- 系统性穷举探索系统所有可能状态，给出不会失效的保证
- ICP理想客户画像
- 公司最想触达、最愿意付费的目标客户类型
收听指南
基础设施/数据库类技术创业者、正在纠结单人创业还是找合伙人的工程师创始人
7:12-8:13 的Solo Founders Program广告插播可跳过