Lex Fridman Podcast
#447 – Cursor Team: Future of Programming with AI
Arvid Lunnemark
And that's an incredibly big system, but it actually works. And I think big code bases are sort of similar in that they're a multi-layered system. And if you can decompose it and formally verify each part, then I think it should be possible. I think the specification problem is a real problem, but... How do you handle side effects?
0
💬
0
Comments
Log in to comment.
There are no comments yet.