a16z(@a16z):TypeSafe AI's Diogo Almeida's elevator pitch for Jev: "Where the f**k is all the automation?" "AI is so unbelievably smart. Not that I hate on chatbots or coding agents, I love them myself, but it's so useless at all other stuff. It's tragic." "TypeSafe is making AI for software. We want to make AI powerful, not just for humans in the loop, but to actually build real software. Jev, to us, is our first model in this whole space to make [automation] way, way better." "I like Claude Code and Codex. I love the description from Garry Tan and them: It's just-in-time software. It makes software on the fly, and you can program software in natural language, but it has the same expressive power as software." "What I want instead is smart software. Instead of automating software engineering, I want to expand what software itself can do, such that things that should be automatable can then be automatable." "I want to express things like intent. I want to expand the vocabulary of what we can do." "Programming is hyper-specifying valuable things and then infinitely replicating them. It's so freaking cool." @CompleteSkeptic

2026.09.28 16:05

TypeSafe AI's Diogo Almeida's elevator pitch for Jev: "Where the f**k is all the automation?" "AI is so unbelievably smart. Not that I hate on chatbots or coding agents, I love them myself, but it's so useless at all other stuff. It's tragic." "TypeSafe is making AI for software. We want to make AI powerful, not just for humans in the loop, but to actually build real software. Jev, to us, is our first model in this whole space to make [automation] way, way better." "I like Claude Code and Codex. I love the description from Garry Tan and them: It's just-in-time software. It makes software on the fly, and you can program software in natural language, but it has the same expressive power as software." "What I want instead is smart software. Instead of automating software engineering, I want to expand what software itself can do, such that things that should be automatable can then be automatable." "I want to express things like intent. I want to expand the vocabulary of what we can do." "Programming is hyper-specifying valuable things and then infinitely replicating them. It's so freaking cool." @CompleteSkeptic

a16z@a16z

2026.09.28 14:33

TypeSafe AI's Diogo Almeida with a16z's Ben Horowitz and Martin Casado on Jev, the model built to live inside software: Diogo's elevator pitch for Jev is a simple question - where is all the automation? AI is unbelievably smart, but outside of chatbots and coding agents, it hardly touches any real work. His diagnosis is the industry built models that generate text for humans to read, and software can't consume that output. Jev reads natural language and returns a choice from a set of options with a confidence level assigned to each, so developers can build programs that reason about intent and make probabilistic decisions rather than relying on human interpretation. TypeSafe's philosophy is "We build prod, not God." 0:50 "Where the f**k is all the automation?" 2:50 Jev vs. Claude Code and Codex 6:55 Jev is a classifier and classifiers are sick 7:40 Chat vs. code: is Jev a slider? 9:00 Diogo: From mathlete to Kaggle to OpenAI 12:20 "We build prod, not God" 15:55 Reliability over demos 16:55 2021 thoughts: RLHF is AGI? 20:45 Optimizing for the wrong use case 21:50 Is the real world too messy to automate? 25:00 Nobody expected the Jev launch 26:35 Three kinds of reliability 28:05 Good at syntax, bad at architecture 30:00 The inverse SaaSpocalypse 33:40 Why coding agents automate so little 36:05 Probabilistic programming returns 38:45 Jev as the UDP-to-TCP layer for AI 40:20 The 5 stages of grief for embedding AI 41:30 Utopia: AI that actually does what you mean YouTube: @CompleteSkeptic @typesafeai @bhorowitz @martin_casado

Forward to community