AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Nova, Supernova, Hypernova, and Some Checks, Folding Schemes
Do we have a number for that constant? I think this is something that many people are investigating to establish concrete security bounds for these kinds of recursive arguments. What is the name of your next work? Where do you go from hyper? Do you go goblin Nova? Yeah, there was a joke on Twitter. They suggested a name. I think if it was the gamma ray burst. Ah, very good. We have a new little circle in our Venn diagram and we need to find all the intersections now. Is that the next paper? Whoa. Or is it time for spices to make a comeback? Ooh, how's it? Because you had pepper and zata, right