Menu
Sign In Add Podcast

Lex Fridman Podcast

#447 – Cursor Team: Future of Programming with AI

5217.99 - 5221.932 Michael Truell

Yeah. Maybe an argument against formal verification is all you need.

0
💬 0

Comments

There are no comments yet.

Log in to comment.