127: AI for Code with Eran Yahav
Programming Throwdown
00:00
Is the Right vs That to Static Analysis?
Humans have some intent when they write their code, but then how they express it may not match. And then something else is trying to understand it. When we say, like the computer tries to understand what you're tring to do, or tries to check for a divibiser, what are we actually meeting there? Oh, ye, without like getink. I think the the right vs that to static analyzer ort, the machine,. lets callit, is constructing some abstraction of your programme it can reason about. And that obstruction does not always match your idea of what the fircom does. But her are spogt on in the point of understanding the
Transcript
Play full episode
