How Jev Turns AI Into Software That Gets Things Done

TypeSafe 创始人 Diogo 说：AI 能写代码却改不动软件，因为大家都在做"更快的工程师"，而他要让程序本身长出智能。

过去两年 AI 编程工具层出不穷，但有个尴尬事实：软件本身十年没变过。Diogo 在 OpenAI 待过、拿过 Kaggle 冠军，他抛出一个反直觉判断——Codex 和 Claude Code 只是"更快的打字机"，写出来的还是十年前的代码。他做的 Jev 想换条路：不是替人写代码，而是让程序自己会思考。

Diogo 说这是他最想不通的事：AI 能解数学证明，却管不好一个外卖订单系统。他把现有编程工具比作"实时软件"——你说人话，它立刻吐出代码，但吐出来的还是老式代码。

• Codex、Claude Code、Cursor 写的代码，和十年前人类写的一模一样，只是快一点、好一点或差一点，软件的能力边界没变。
• 他引用 Gary Tanenbaum 的说法，把这些工具叫"实时软件"：用自然语言编程，但表达力还是老一套。
• 真正的缺口是自动化本身没被自动化。OpenAI 从 2020 年就在自动化客服，至今企业内部自动化项目大多失败，只有编程这一块成了。

Diogo 的比喻是：不是让 AI 替工程师写代码，而是往代码里塞一个能理解自然语言的智能库，让程序自己会做判断。

• Jev 的形态是一个库：你用自然语言描述想要什么，它内部跑一个状态机，按不同置信度决定下一步做什么；它本质是个分类器，但 Diogo 说分类器被低估了——2019 年你得养一个 MLE 团队才能搭出来的东西，现在几行代码就能调。
• 他画了一张维恩图：一边是 AI 擅长的（概率、模糊判断），一边是代码擅长的（精确、可重复），Jev 站在中间。
• 可靠性分三层：运行时间（服务别挂）、确定性（同样输入给同样结果）、鲁棒性（每次表现都够聪明）。第三层才是他真正想要的。

市场上有人说 AI 编程工具是 SaaS 的末日，Diogo 反过来说：SaaS 会是 AI 时代最大的赢家。

• 他的理由很直接：SaaS 公司最懂用户的工作流该被自动化，这是他们花钱砸出来的护城河，AI 公司反而不知道。
• 他造了个词叫"SaaSapalooza"（SaaS 狂欢节）：SaaS 产品会突然变得极其有用，因为可以把智能直接嵌进现有工作流。
• 关于编程 Agent 会不会自己用 Jev，他说大概率不会开放分发——用用户数据训练模型太可疑，语法层面可以用，但软件工程是"最有人味、最有创造性"的部分，模型在这块可能排在后 50%。

"我想要的是智能软件，而不是自动化软件工程——不是让 AI 替人写代码，而是让程序本身能做那些本该被自动化的事。"

• 如果你在做 AI 编程工具，问自己一个问题：用户用完你的工具后，软件本身变强了吗？ 如果只是写得更快、代码还是老样子，那你做的是"更快的打字机"，不是新东西。
• 评估 AI 落地场景时，别只看"AI 能不能做"，要看这个任务有没有被真正自动化。客服自动化喊了五年，实际成功的只有编程——因为编程的输入输出天然是文本，其他场景的"最后一公里"卡在系统对接上。