Steven Sinofsky
speaker
5,566 appearances
14 recordings
1 series
first heard Feb 2025
last heard 3d ago
Steven Sinofsky’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 — 8 in all, peaking in Jul 2026 with 2.
Appearances
No, but that's where I'm going.
You just buried the lead.
But, like, so those of you that don't know, we had to take a whole course in college that basically boiled down to this problem.
And the interesting thing is why.
And it was because...
The theoreticians had postulated that if you can solve this problem in algorithmic, in exponential, in non-exponential time, in polynomial time, then you could solve all these other problems, like the traveling salesperson problem and all these other problems much, much faster, which mattered because all of our computers were just so compute-bound.
So if you were the AT&T people that gave
you know, like here's our node of like 6,000 switches.
Like, how do you route optimal?
You'd be like, well, we don't have enough.
That's like two years of running the simulation to solve this.
And so it turns out that one of the interesting things was they proved the four-color theorem, but they
And we learn it just so people, like you kids know, that's literally how we learned it and we could all repeat it like that.
It's this very weird imprint over this problem.
And so what sort of happened was no one ever arrived at a basically what you could think of as like a proof that looked like calculus.
Right.
Instead, what they did is they actually proved that the number of potential solutions was finite.
But they basically proved that there's a finite number of them.
And then they just computed all of them and said, look, it's only four colors.
And so it was this sort of bank shot proof.
Showing 361–380 of 5,566 · page 19 of 279
← Previous
Next →