Lex Fridman Podcast
#447 – Cursor Team: Future of Programming with AI
Michael Truell
Yeah. Maybe an argument against formal verification is all you need.
0
💬
0
Comments
Log in to comment.
There are no comments yet.