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廣告插播可跳過