← The Index

Topic

dependent type theory

A guide to the best B2B podcast coverage of dependent type theory - the shows and 1 episode that go deepest, ranked by substance, not downloads.

Best episodes on dependent type theory

  1. When AI Agents Go Off The Rails

    What's Up with Tech? · 2026-06-15

    88 / 100

    …Uh, and in some ways, this combination of symbolic AI, which is basically a whole bunch of uh uh math and uh math from a field called dependent type theory, uh expressed in symbols and uh and and axioms, uh uh is used to bound uh the behavior of uh agents in a very formal system.…