MNEMOSYNEv0.1.2563

Mnemosynev0.1.2563

Podcasts

Andrea Cirla (233 · 2 transcripts)
Angelicum (0)
Artesquieu (686 · 2 transcripts)
Collège de France (0)
Collège des Bernardins (25)
Elucid (168)
Fadi Akil (Untimely Thoughts) (7)
Gregory B. Sadler (0)
Hopliteia (81)
Intellectual Deep Web (1)
Interesting Times with Ross Douthat (11)
Lecture Sleep Club (0)
Les Financiers (0)
Lex Fridman Podcast (488)
Mets tes bottes ! (0)
Résonance[s] (12)
Rien ne veut rien dire (381 · 1 transcript)
Roger Scruton Lectures (0)
Sator (0)
Storiavoce (0)
Transmission (48 · 18 transcripts)

Browse

Full transcripts
Guests
Tags

Podcasts/Tags/formal verification

formal verification

Lex Fridman PodcastOct 6, 2024Truell, Michael & Asif, Sualeh & Lunnemark, Arvid & Sanger, AmanCursor Team: Future of Programming with AI