Skip to content
a16za16z

How Jev Turns AI Into Software That Gets Things Done

a16z’s Ben Horowitz and Martin Casado sit down with TypeSafe AI founder Diogo Almeida to ask a simple question: AI has become remarkably capable, so where is all the automation? Diogo argues that coding agents may help us write software faster, but the software they produce still largely works the way software always has. TypeSafe is taking a different approach with Jev: putting intelligence inside software itself, so developers can build programs that reason about intent and make probabilistic decisions rather than simply generate text for a human to interpret. They discuss why reliability is the key to making AI genuinely programmable, how this could open a new era of probabilistic software, and why established SaaS companies may be particularly well positioned to benefit. Ultimately, Diogo’s goal is straightforward: technology that can reliably “do what I mean.” Timestamps: 00:00 - Intro 00:50 - Meet Diogo and Type Safe 04:07 - Smart software, not just faster code 15:46 - Where's all the automation? 22:00 - Is it just a data problem? 30:21 - SaaS apocalypse, reversed 34:58 - New capabilities, not more code 38:27 - Apps vs the guts of systems 41:08 - Reliability and "do what I mean" Resources: Follow Diogo Almeida: https://x.com/CompleteSkeptic Learn more about TypeSafe AI: https://typesafe.ai/ Follow TypeSafe AI: https://x.com/typesafeai Follow Ben Horowitz on X: https://x.com/bhorowitz Follow Martin Casado on X: https://x.com/martin_casado Stay Updated: If you enjoyed this episode, be sure to like, subscribe, and share with your friends! Find a16z on X: https://twitter.com/a16z Find a16z on LinkedIn: https://www.linkedin.com/company/a16z Listen to the a16z Show on Spotify: https://open.spotify.com/show/5bC65RDvs3oxnLyqqvkUYX Listen to the a16z Show on Apple Podcasts: https://podcasts.apple.com/us/podcast/a16z-podcast/id842818711 Follow our host: https://x.com/eriktorenberg Please note that the content here is for informational purposes only; should NOT be taken as legal, business, tax, or investment advice or be used to evaluate any investment or security; and is not directed at any investors or potential investors in any a16z fund. a16z and its affiliates may maintain investments in the companies discussed. For more details please see http://a16z.com/disclosures.

Diogo AlmeidaguestMartin CasadohostBen Horowitzhost
Sep 28, 202642mWatch on YouTube ↗

At a glance

WHAT IT’S REALLY ABOUT

Jev’s bet: a reliable AI primitive that upgrades software automation

  1. TypeSafe’s Jev is presented as an AI primitive embedded in software to enable real automation, rather than a tool that merely generates conventional code faster.
  2. The hosts and Diogo argue that current LLM deployments over-index on impressive demos and human-judged outputs, while failing to deliver unattended, production-grade automation.
  3. Jev’s conceptual model is a probabilistic, natural-language-driven component coupled to a state-machine-like structure so developers can compose, constrain, and build reliable systems around it.
  4. A central focus is “reliability,” defined as robustness and consistently reasonable behavior across variations, enabling developers to trust and program against AI without constant prompt babysitting.
  5. The discussion rejects the idea that AI will kill SaaS, predicting instead that SaaS companies will use these primitives to automate workflows and unlock new interfaces closer to “do what I mean.”

IDEAS WORTH REMEMBERING

5 ideas

The real gap in AI isn’t intelligence—it’s usable automation.

Diogo argues that today’s AI is impressive in conversation and code generation, but fails to reliably execute end-to-end work inside real systems. TypeSafe’s mission is to turn that “raw intelligence” into dependable automation embedded directly into software.

Jev is positioned as a new software primitive, not a faster coder.

They distinguish “just-in-time software” (LLMs generating conventional code faster) from “smart software,” where developers add a new AI-based primitive into programs to expand what software can do. The key shift is from automating engineers to enhancing the capabilities of the applications themselves.

State machines + probabilistic AI is the bridge between LLMs and real software.

The conversation frames Jev as something like a natural-language-driven, probabilistic classifier that plugs into a state-machine-like structure. That design aims to make AI outputs programmatically controllable and composable rather than merely human-readable.

Reliability means robustness of judgment, not deterministic repetition.

Diogo repeatedly emphasizes “reliability” as the hard-won differentiator: not uptime, and not strict determinism, but robustness—"similar intelligence every time" even when inputs vary in irrelevant ways. The long-term goal is developers being able to program against Jev without crafting endless example prompts.

AI has been optimized for human evaluation, not for running unattended.

He’s skeptical that lack of automation is primarily a data/distribution problem, arguing that many high-ROI tasks should already be automatable if we optimize for automation rather than demos judged by humans. He criticizes the industry’s tendency to optimize “what looks good to humans” instead of “what runs safely in production.”

WORDS WORTH SAVING

5 quotes

Where the fuck is all the automation?

— Diogo Almeida

AI is so unbelievably smart, and yet it's so useless at all other stuff.

— Diogo Almeida

What I want instead is smart software. Like, i- instead of, like, automating software engineering, I want to expand what software itself can do, such that things that co- should be automatable can then be automatable.

— Diogo Almeida

It doesn't matter how much, you know, AI coding agents you use, the software actually isn't getting better.

— Martin Casado

My favorite thing that you guys say is, "We build prod, not God."

— Ben Horowitz

Automation gap in modern AISmart software vs faster code generationAI primitive embedded in programsProbabilistic outputs and state machinesReliability: robustness vs determinismCritique of demo-driven AI evaluationSaaS “inverse apocalypse” and new UI paradigms

High quality AI-generated summary created from speaker-labeled transcript.

Get more out of YouTube videos.

High quality summaries for YouTube videos. Accurate transcripts to search & find moments. Powered by ChatGPT & Claude AI.