Skip to content

By playing, you agree to uListen's Terms and Privacy Policy and YouTube's Terms of Service.

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 AlmeidaguestMartin CasadohostBen Horowitzhost
Sep 28, 202642mWatch on YouTube

Summaries, chapters, transcripts, and FAQs on this page are made by uListen, not YouTube.

Great conversations run long. Their best ideas don't have to.

uListen is free on iPhone, iPad, Android, Chrome, and Claude.

See how

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

Read the available transcript
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

Ask ChatGPT about this episode

Get its key ideas, plus a summary of each chapter linked to that point in the video, right in your chat.

  1. Add uListen AI to ChatGPT.

  2. Paste this prompt into a new chat.

    Use uListen AI to give me this episode's key ideas and a chapter-by-chapter summary, with timestamps: https://www.youtube.com/watch?v=Ut3LOjKNJaE

SPEAKERS

  • Diogo Almeida

    guest

    Founder and leader of TypeSafe, creator of the Jev model focused on using AI to build reliable software systems.

  • Martin Casado

    host

    General Partner at Andreessen Horowitz (a16z) focused on infrastructure and systems/enterprise technology.

  • Ben Horowitz

    host

    Co-founder and General Partner at Andreessen Horowitz (a16z).

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

Get more out of YouTube videos.

Read along on your phone, search it beside the video, or ask your favorite AI app what was said.