https://codexer.com/tags/jev/Recent content in Jev on CodexerHugozh-cnTue, 22 Sep 2026 08:00:00 +0800https://codexer.com/posts/2026-09-22-jev-codex-integration/Tue, 22 Sep 2026 08:00:00 +0800https://codexer.com/posts/2026-09-22-jev-codex-integration/<p>你付着前沿模型的价格，去问一个是非题。模型写了一小段散文，你从散文里把答案解析出来，包一层重试，再加一个 schema 校验器，因为它有时候写「Yes!」，有时候写一段关于细微差别的长篇论述。</p> <p>你两年前就知道这很浪费。你只是一直没有别的地方可以发这个调用。</p> <p>2026 年 9 月 15 日，TypeSafe AI 结束了两年隐身。他们唯一的产品叫 Jev，40 百万美元的种子轮由 DCVC 领投，创始人是 Diogo Almeida，在 OpenAI 参与过 RLHF 和 InstructGPT 的那批工作。Jev 最反直觉的地方在于它不能写字：不生成散文，不生成代码，不聊天。你给它一段程序状态和一组带类型的问题，它在一次并行采样里返回选项、档位和概率，70 到 500 毫秒。</p> <p>这个特质让它几乎是为 Codex 这类编程 agent 的「检查位」量身定做的。而围绕它的开源集成，在过去一周里已经长出了四种相当成熟的形态。</p> <h2 id="一jev-是什么一次调用三种问法">一、Jev 是什么：一次调用，三种问法</h2> <p>TypeSafe 把这类模型叫做 System One，取自 Kahneman 的快思考。他们的赌注是：软件内部的大多数决策本来就是 System 1 判断（这属于哪个桶、这个紧急吗、这个相关吗），而我们一直在租 System 2 来做它们。</p> <p>整个 API 只有三种问题类型。这不是一个需要绕开的限制，这就是设计本身。</p> <p><strong>Choice</strong> 从一个集合里挑一个选项，最多支持 255 个。返回 <code>.choice</code>、每个选项的概率分布、以及一个置信度。这是分类和路由的原语，在循环里它同时也是命名的停止状态：继续、重试、停止、询问。</p> <p><strong>Score</strong> 把一个状态放在有序的光谱上，2 到 10 个档位，每个档位用文字描述。返回值可以落在档位之间，比如 1.035。档位索引来自数组顺序，所以第 0 档是第一个元素。</p> <p><strong>Noul</strong> 是个生造词。你给一句陈述，它返回 0 到 1 之间的一个数，即这句话成立的概率。它没有单独的置信度字段，因为那个数字本身就是信念。接近 1 是强肯定，接近 0 是强否定，接近 0.5 意味着模型不知道。</p>