jevPOST
学者发现 AI 创业公司用 Jev 复现其形式化计算模型
作者称有创业公司基于他的 choose-your-adventure 计算形式化秘密训练模型，并附上用 TypeSafe Jev 做的快速实验链接。
Tomas Petricek (find me on BlueSky)
@tomaspetricek2026.09.22收录原推发布于 2026.09.21
Tomas Petricek (find me on BlueSky) @tomaspetricek原推发布于 2026.09.21
Not something I was expecting! An AI startup has secretly been building a model for controlling programming systems based on my choose-your-adventure calculus formalism, to be presented at Onward! 2026 Here are quick experimenters using TypeSafe's Jev: https://tomasp.net/blog/2026/completions-with-jev/
x.com/tomaspetricek/status/2102027398942212309采集于 2026.09.22 10:15