127: AI for Code with Eran Yahav
Programming Throwdown
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
00:00
Transcript
Play full episode
Remember Everything You Learn from Podcasts
Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
