World Model · podcast knowledge graph

AI Can Write Code. Why Isn’t Software Better?

2026-09-28 · 43 min · episode 1212 · 15 entities

episode page audio

Asserted relationships

  • → references Martin Casado person
    0.77
    evidence rules-v4
    Link in episode "AI Can Write Code. Why Isn’t Software Better?": https://x.com/martin_casado
  • → hosted by Andreessen Horowitz person
    0.55
    evidence rules-v4
    Feed author/publisher: Andreessen Horowitz
  • → discusses Science concept
    0.40
    evidence rules-v4
    Feed category: Science
  • → discusses Technology company
    0.40
    evidence rules-v4
    Feed category: Technology
  • → discusses Business concept
    0.40
    evidence rules-v4
    Feed category: Business
  • → discusses Entrepreneurship concept
    0.40
    evidence rules-v4
    Feed category: Entrepreneurship
  • → hosted by a16z company
    0.40
    evidence rules-v4
    Feed author/publisher: a16z
  • → references typesafe.ai website
    0.38
    evidence rules-v4
    Link in episode "AI Can Write Code. Why Isn’t Software Better?": https://typesafe.ai/

Entities found in this episode

concepts 6

  • mentioned Science concept
    0.50
    evidence rules-v4
    Feed category: Science
  • mentioned Business concept
    0.50
    evidence rules-v4
    Feed category: Business
  • mentioned Entrepreneurship concept
    0.50
    evidence rules-v4
    Feed category: Entrepreneurship
  • discusses Science concept
    0.40
    evidence rules-v4
    Feed category: Science
  • discusses Business concept
    0.40
    evidence rules-v4
    Feed category: Business
  • discusses Entrepreneurship concept
    0.40
    evidence rules-v4
    Feed category: Entrepreneurship

persons 4

  • mentioned Martin Casado person
    0.90
    evidence rules-v4
    Link in episode "AI Can Write Code. Why Isn’t Software Better?": https://x.com/martin_casado
  • references Martin Casado person
    0.77
    evidence rules-v4
    Link in episode "AI Can Write Code. Why Isn’t Software Better?": https://x.com/martin_casado
  • mentioned Andreessen Horowitz person
    0.70
    evidence rules-v4
    Feed author/publisher: Andreessen Horowitz
  • hosted by Andreessen Horowitz person
    0.55
    evidence rules-v4
    Feed author/publisher: Andreessen Horowitz

companys 3

  • mentioned Technology company
    0.50
    evidence rules-v4
    Feed category: Technology
  • discusses Technology company
    0.40
    evidence rules-v4
    Feed category: Technology
  • hosted by a16z company
    0.40
    evidence rules-v4
    Feed author/publisher: a16z

websites 2

  • mentioned typesafe.ai website
    0.45
    evidence rules-v4
    Link in episode "AI Can Write Code. Why Isn’t Software Better?": https://typesafe.ai/
  • references typesafe.ai website
    0.38
    evidence rules-v4
    Link in episode "AI Can Write Code. Why Isn’t Software Better?": https://typesafe.ai/
Episode description as stored
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.