Guido Appenzeller
speaker
1,314 appearances
8 recordings
1 series
first heard May 2025
last heard 15 Jul
Guido Appenzeller’s voice in public audio — every appearance, attributed to the second.
Trend
recordings per month · last 12 monthsRecordings per month over the last 12 months — 4 in all, peaking in Jul 2026 with 1.
Appearances
But now we have the ability that if somebody had then hand optimizes the low level one, we can use that to update the higher level one.
LLMs are sort of a compiler, right?
They take a high level higher level description and uh and fill it down.
I mean you think the big
I
I think it's right, right?
In in a
Like a compiler
enforces is a strict enforcement of certain things, right?
You you can I can rely on that, I don't know, I'm I'm using Rust and things will be typed, right?
So that's that's a huge step forward, right?
And I can exclude certain bugs.
With an LLM, that's not the case, right?
That's it.
You sort of wonder, is this just an initial thing?
Is this just a I mean, LLMs over time?
Like for example, we can give LLMs tools that allow them allows them to syntactically parse code.
Right.
And then now suddenly they can start reasoning above code.
They can ask, are we sure that the representation of object X is the same across these different, you know, modules, even if it gets serialized in between or something like that?
Showing 401–420 of 1,314 · page 21 of 66
← Previous
Next →