jevPOST
Researcher finds AI startup secretly trained a model on his formalism
The author says an AI startup has secretly been building a model for controlling programming systems based on his choose-your-adventure calculus formalism, to be presented at Onward! 2026, and links quick experiments using TypeSafe's Jev.
Tomas Petricek (find me on BlueSky)
@tomaspetricekArchived 2026.09.22Originally posted 2026.09.21
Tomas Petricek (find me on BlueSky) @tomaspetricekOriginally posted 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/2102027398942212309Archived 2026.09.22 10:15