02:09:25 路 Vinod Khosla, John Coogan, Jordi Hays
[02:09:25] S9: take tax law, it's a very specific thing. And that's an area Pramana is initially to say, can you formalize the tax code so computers can work on it precisely and not be subject to probabilistic answers or likely answers? So it's very, very important in certain domains to have precision, reliability, verification, and that's where auto formalization can significantly enhance the applications and still leverage all the power of LLabs. [02:10:03] S1: Mhmm. Well, we're excited to talk to the founder of Pramana in just a minute. We've been having a few technical errors, we will end this here and hopefully we can have you back on the show soon to go deeper. Thank you so much for taking the time to chat with us today, Vinod. It's been [02:10:20] S0: a Yeah. Thanks for jumping on. It's an honor. [02:10:22] S1: Have a great rest of your day. [02:10:23] S9: Great to be here. Cheers. [02:10:25] S1: Thank you. Goodbye. Let me tell you about public.com investing for those who take it seriously. Stocks, options, bonds, crypto, treasuries and more with great customer service. [02:10:37] S0: Have Unfortunate technical difficulties. I couldn't really hear anything personally. No. But fortunately, the founder Is coming on. Discussing. He's just [02:10:48] S1: a few minutes. [02:10:48] S0: Right now. So we're gonna hear it again and again. Sorry about that. [02:10:54] S1: Nikesh Arora is on the timeline. Quote tweeting, I like that he's you don't think of him as like a big poster. Obviously, 73 [02:11:02] S0: followers posters.
02:11:02 路 Jordi Hays, John Coogan
[02:11:02] S0: followers posters. [02:11:04] S1: He's successful. But he said, congratulating prime minister Narendra Modi on becoming India's longest serving elected prime minister. April of leadership earned the trust earned through the trust of 1,400,000,000 people across three democratic mandates from lifting 250,000,000 people out of poverty to making India the world's fastest growing major economy. PM Modi's tenure has been nothing short of transformational. Look forward to a continued US India partnership. Love that. Yo Gesh says, bro went from stopping global ransomware attacks at Palo Alto Networks to doing math calculations on PM Modi's calendar milestones like it's his final exam. [02:11:44] S0: Just in quotes too. It's great. And Nick actually appreciates it.
02:11:44 路 Jordi Hays, John Coogan
[02:11:44] S0: Just in quotes too. It's great. And Nick actually appreciates it. [02:11:47] S1: There's been debate over beverage media. Have you seen this? This is a very I saw this eight likes but I think this is an interesting post worth discussing. So Vassa, I don't know exactly this account before but beverage media doesn't have the good nuts to call out celebrity brands objectively because the economy is fanboy of fanboy ing in CPG. Celebrity founders sell tickets to events but they don't always move the industry forward. I think he's probably subtly subtweeting the maybe Tom Brady launch of the of the the nuts, which is a reference to the coconut water brand that's Tom Brady launched. But this does happen all the time. There's a lot of celebrity brands. We've had some celebrities on the show to talk about their brands. It's fun. Sometimes it works, sometimes it doesn't. That's the fun part about interviewing a celebrity about their brand. You kind of get to clock it and be like, no. Like, know, this person's really onto something. [02:12:40] S0: I think Wyatt they they named the brand that is they ran fully ran out of other names. Oh, really? Literally the last possible name that they could choose.
02:12:40 路 Jordi Hays, John Coogan
[02:12:40] S0: I think Wyatt they they named the brand that is they ran fully ran out of other names. Oh, really? Literally the last possible name that they could choose. [02:12:49] S1: We're not getting an invite. Tom Brady will not be coming to our event and selling tickets. But it's interesting because yeah, BevNet reports on CPG brands. They're one of the insider media, sort of the tech crunch of CPG, at least in beverages. They also have Nosh for food. And there's a number of other CPG media and critics. But if you got to have one of those celebrity founders at your event to sell tickets, you get into this weird, you get sort of audience captured, I don't know, celeb captured. You just get raptured aura of the celebrities and you have to stay out till two a. M. Partying with them. It's craziness out there. But beverage media, I think it's just interesting in the backdrop of more a more and more celebrity brands. Although it does feel like we're at peak celebrity brand at this point. And I feel like the more modern celebrity strategy is just invest in companies that have a number of good VCs on the cap table. Be happy with that. You can still [02:13:50] S0: Disagree. [02:13:50] S1: Or a farm. Yeah. Okay. Disagree. Explain. [02:13:53] S0: Think celebrity celebrity brands have always been a thing. They're just way more in your face because now celebrities have their own channels that they can communicate. [02:14:00] S1: I'd say they're less in my face. I I say we're on the decline. Top celebrity brand.
02:14:00 路 John Coogan, Jordi Hays, Vinod Khosla, S5, Farza Majeed
[02:14:00] S1: I'd say they're less in my face. I I say we're on the decline. Top celebrity brand. [02:14:07] S0: No. I'm quoting John Feeney. No. I think it's just getting it's getting easier and easier to start a business. I think you'll see more celebrity brands. I don't necessarily think you'll see more breakout [02:14:15] S1: brands. Yeah. Okay. So your claim is is quantity is increasing. I think [02:14:18] S0: it's probably getting harder. [02:14:19] S1: Quality is decreasing. [02:14:21] S0: Quality More distribution. Yeah. Yeah. Greater greater I mean, there's gonna be some breakout celebrity brands. Yep. There's gonna be big exits. Yep. There's gonna be as many failures as ever. Right? I mean, my favorite example was like Travis Scott, a few years ago, launched a RTD, like, canned cocktail thing. Shut down, I think, within a year. Like Yeah. Maybe maybe maybe more. And so I I think you're just gonna see more and more and more. [02:14:52] S1: Would you put the Johnny Knoxville Neo Cloud in the in the bucket of celebrity brands? [02:15:00] S0: That is something I would like to see. Less Yeah. [02:15:02] S9: Less C [02:15:03] S1: K Y two k. [02:15:04] S0: Less beverage, more neo clouds. [02:15:06] S1: More [02:15:06] S0: neo. I wanna see Johnny Knoxville levered up. [02:15:10] S5: Yeah. [02:15:11] S0: Right? Yeah. I wanna see him [02:15:12] S1: Racking GPUs himself. [02:15:13] S6: Yeah. I want [02:15:14] S1: him like operationally involved too. [02:15:16] S0: Not just like Not just a pretty face. [02:15:18] S1: Endorsement.
02:15:18 路 John Coogan, Jordi Hays, Ranjan Rajagopalan
[02:15:18] S1: Endorsement. [02:15:18] S0: Yeah. Not just a pretty face. So anyways, I think more on the horizon and it's not you know, a lot of I I don't know. I feel like some people don't don't like this but I think it's fine. [02:15:30] S1: It's fine. It's fine. You heard it here first. Jordy Hayes. It's fine. You know what else is fine? [02:15:36] S0: Get used [02:15:36] S1: to The New York Stock Exchange. Than Wanna change the world, raise capital at the New York Stock Exchange. Our next guest might be there soon with Primana Labs. We have Ranjan, who's the cofounder in the waiting room. Let's bring him into the TBPN UltraDome. Welcome to the show. How are you doing? Thank you so much for taking the time. [02:15:53] S11: Doing great, John. Shadi. [02:15:55] S1: Pleased to be here. First time on the show. Please introduce the company. We heard a little bit about it from Vinod, but I wanna hear it from you. [02:16:02] S0: Yeah. Bravo by the way of getting being able to get Vinod to just like personally pitch Yeah. Your company for fifteen minutes on It's on Internet a it's a good, it's a good sales [02:16:13] S1: It's a sales. [02:16:13] S0: Hack. Good pitch.