AI Can Write Code. Why Isn’t Software Better?
· 43 min · Episode 1212
Episode AI Can Write Code. Why Isn’t Software Better?
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.”
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:
Find a16z on YouTube: YouTube
Find a16z on X
Find a16z on LinkedIn
Listen to the a16z Show on Spotify
Listen to the a16z Show on Apple Podcasts
Follow our host: https://twitter.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 a16z.com/disclosures.
Hosted by Simplecast, an AdsWizz company. See pcm.adswizz.com for information about our collection and use of personal data for advertising.
Links in the notes 12
- https://x.com/CompleteSkeptic
- https://typesafe.ai/
- https://x.com/typesafeai
- https://x.com/bhorowitz
- https://x.com/martin_casado
- https://www.youtube.com/@a16z
- https://x.com/a16z
- https://www.linkedin.com/company/a16z
- https://open.spotify.com/show/5bC65RDvs3oxnLyqqvkUYX?si=3E8B3qT9TyiwAHJ7JnaKbg
- https://podcasts.apple.com/us/podcast/a16z-podcast/id842818711
- https://twitter.com/eriktorenberg
- https://pcm.adswizz.com
Shows are listed from Apple Podcasts' charts and directory, and Podcast Index where it is used. Every show and episode belongs to its publisher and plays from the publisher's own feed; this site hosts none of them. Explicit shows are for adult profiles only, and children’s profiles hear only children’s shows. More about this list.