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 ↗

EPISODE INFO

Released: September 28, 2026
Duration: 42m
Channel: a16z
Watch on YouTube: ▶ Open ↗

EPISODE DESCRIPTION

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.

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).

EPISODE SUMMARY

In this episode of a16z, featuring Diogo Almeida and Martin Casado, How Jev Turns AI Into Software That Gets Things Done explores jev’s bet: a reliable AI primitive that upgrades software automation 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.

RELATED EPISODES