Eddy Lazzarin
speaker
1,922 appearances
5 recordings
1 series
first heard Sep 2025
last heard 3d ago
Eddy Lazzarin’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 Sep 2026 with 1.
Appearances
So going back to your question, Robert, is the way things are changing is people are now grappling with that fact and realizing that maybe the split of work that is commanded from a great engineer has a different balance.
The amount of attention paid to writing the code and just kind of printing one line at a time is smaller and vanishingly small for some, like in the vibe coding extreme, near zero.
And a huge part of the work is now
You
does.
And I actually haven't talked to Christian about it.
So I would love Christian to actually unpack that a little bit as like, how do you think about the word, not just this choice of word, but the concept because it's so important to the paper.
Automation and verification being kind of the key conceptual split.
I mean, it really depends what you mean by end, Robert.
You know, are we talking like a thousand years to 10,000 years, 10 years?
Galactic empire state.
Yeah, one way I'd put that, Robert, like that idea is that the cost of automation is declining very rapidly.
And the cost of verification in this broad sense we've talked about, I think it is declining, but it is declining not as quickly.
And that creates a gap, right?
And that gap is a interesting thing.
There's many ways to describe that gap.
Some may describe that gap as an opportunity.
That's kind of what Christian is saying for human laborers, is that if there's this bottleneck, there's this gap in measurability,
Because of humans' general adaptability and experience and generality, humans are probably able to specialize to the verification component faster than we can get the machines to.
And there's some interesting sort of deep challenges that make handling verification hard for machines in the short term.
Showing 361–380 of 1,922 · page 19 of 97
← Previous
Next →