 Hi everyone, my name is Khan and today I'm gonna talk about Blue by Modo Latis one out of many proofs and applications This is joint work with Vadim Lubashevsky Yeah, are you ready? Khan solo on the track with another here one out of many so get used to it Oh topic of the song won't make you crazy, but turn the speakers up It's like this bass proving set membership can easily fail linear proofs asymptotically It's big L just the acting this ain't really my thing if my head were linear size I would start in the way like Neo from the Matrix. I'm the one don't want to prove it now Just wanna have fun calamari and falafel. I'm so hungry. Am I meal so good? I need a forking lap times can be tough for a little why so you need something more than to make you smile So we propose bloom cuz it's now or never every show that is hot like the submission Oh Time for some technical overview put the members in the Matrix call it you multiply by selector name it v That's a linear equation. It's easy to see the one to commit to it That's near size so we tends to decompose into small v eyes commit to each of them It's not the crime and how to continue. That's for another time Oh Your bro says this and all new assumptions that I missed if the signature size was a ticket I would buy three because it's low like PhD salary The song separate entry on Google Scholar get weeded by summer who paid eight dollars the car wasn't enough So I brought the bus no air conditioning cuz I've got my You're also not just one out of many Hey, we are unique more than we thought so put your hands up if you're also not We're all unique right more than we thought so put your hands up if you're also not just So that concludes my talk, thanks everyone for watching