AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Theoretical Computer Science Is Living Its Own World
A lot of this theory is just math, machismo. It's like, whatever. This was a hard bound to prove. So if you show that something is fragile, that's really important in practice. But I do think things percolate. You percolate from the world of theory into the world of algorithm design,. And now suddenly it's useful. Eventually some of this stuff will percolate down in effect at the very end but it's a long tunnel.