02:21:49 路 John Coogan, Ranjan Rajagopalan, Jordi Hays
[02:21:49] S1: Interesting. [02:21:49] S11: Working along with CPAs, frontier CPAs, frontier lawyers, and frontier doctors. [02:21:55] S1: Yeah. How are are models getting better at interacting with lean? I've seen a lot of progress in frontier math and the different really hard problems are getting solved. Sometimes they don't use lean and that's sort of a flex. Sometimes they do use Lean and they perform even better then. But is that getting just table stakes now? Because I think your average white collar worker doesn't know how to interact with Lean. [02:22:24] S11: Absolutely. So the models are getting better at proving with lean. Mhmm. But we are building more foundation models along the lines of formalization in the first place. If you say something in English, how do you convert that into a construct in lean? That's where our focus is on. Mhmm. If you think about it, lean is a system which has been around for the last twelve years. Mhmm. It has taken humanity around nine years to formalize a significant portion of math. We are taking that same technology, and we are we are trying to blitz through tax, legal, and health care. That's right. Where we are identifying what is the core knowledge base [02:22:58] S1: Yeah. [02:22:59] S11: And then we are converting it into lean, where you can reason on top of it provably. [02:23:04] S1: That's very cool. [02:23:05] S0: What were you doing before this?
02:23:05 路 Jordi Hays, Ranjan Rajagopalan, John Coogan, Markie Wagner, Jeremy Strong
[02:23:05] S0: What were you doing before this? [02:23:08] S11: I was a machine learning engineer at Google, primarily focusing on Google Maps. Interestingly, I dropped arrows over there because, I was focusing on getting addresses and phone numbers accurately in Google Maps. Sure. If you think about it, Google Maps is like a very, very messy real world domain. Mhmm. And we have been able to make it trustable. A lot of people do trust Google Maps to a very large extent. Yeah. I intend to bring the same level of rigor to multiple other domains along the way. Yes. [02:23:36] S1: Very cool. Well, congratulations. Thank you so much for taking the time to come on the to [02:23:40] S0: meet you. [02:23:40] S1: We'll talk to you soon. Have a good one. [02:23:42] S7: Thank you so much. [02:23:43] S4: Yeah. Cheers. [02:23:44] S1: Let me tell you about Codex. Codex is a powerful work for workspace for getting work done with AI agents whether you're writing code, analyzing data, creating content or automating business workflows. Codex helps you move projects forward from start to finish. [02:23:59] S0: That's right. [02:24:00] S1: So there's a bitter feud going on. [02:24:02] S0: There was a there was a good comment over on the X Chat Yes. He said, we're on the topic of celebrity brands. He said, flip it on its head, Jordy. Brands by average Joe's like a painter or the owner of a lawn care company instead of celebrities. I think there could actually be something here. I think he's joking. But imagine as a brand, you're trying to differentiate. You hire an actor [02:24:27] S1: Yep.
02:24:27 路 John Coogan, Jordi Hays, Sridhar Ramaswamy
[02:24:27] S1: Yep. [02:24:28] S0: That's just playing the role of an average Joe. Hey, this is average Joe electrolytes. [02:24:33] S1: Right? Yeah. [02:24:34] S0: I'm not a I'm not a I'm not a professional athlete. I'm just a normal guy. Yeah. I'm just painting houses. Yeah. Right? Yeah. I'm just painting houses. I get a little dehydrated. I take my average Joe Relatable. It's relatable. [02:24:47] S1: I like it. I like it. [02:24:48] S0: The average Joe I do brand meta. Steve is calling it. [02:24:52] S1: I enjoy it as an idea. I enjoy it as a joke. I do think that there is a version of this, which is if you walk through an marijuana or Whole Foods and you pick up random CPG products and you look on the back, there's often what's called like the love language or whatever. So it's like a couple paragraphs of text. A good example is is it Dots Pretzels or there's some sort of like pretzel twist that's very popular right now. It's a little spicy. It has the the name of the founder and it and it tells the story of like an average Joe. The Buzzball, for example. That is an average Joe brand. It was not a celebrity brand. [02:25:28] S0: Disagree. Explain. There's nothing average about that founder. One of the most elite entrepreneurs. [02:25:33] S1: After she started the company. [02:25:35] S0: I'm gonna make the case that she was always elite. Always good. The buzz the buzz ball woke it up. [02:25:42] S1: Maybe. Maybe. But there are a lot of brands [02:25:45] S8: Yeah.
02:25:45 路 Sridhar Ramaswamy, John Coogan, Jordi Hays, Jeremy Strong, Farza Majeed
[02:25:45] S8: Yeah. [02:25:46] S1: That their whole origin story is like I was just a normal person. I had a problem for myself. I was going for, you know, olive oil and I smashed the bottle so I made a squeezy bottle. Like there's all these stories that aren't celebrity brands at least at the start and they have, you know, rags to riches stories that are told sort of quietly on the back of the packaging and then slowly over time eventually Unilever buys the company and takes that off [02:26:13] S0: I just like thinking of it as like a from the marketing lens a brand that is like doesn't have this like heartwarming story. Yeah. It was just like, yeah, we just hired a guy to be like, yeah. [02:26:25] S4: Just be [02:26:25] S1: the guy. Just be the [02:26:26] S6: average Just [02:26:27] S1: be an elite snowboarder like Nima. Starts to Salt and Stone, you know. He wasn't a celebrity before, although he was a fantastic team boarder. [02:26:34] S0: Anyway. Before we bring in our next guest, Markie, let's put pull up this video. Somebody put up fake tech ads. Going on here? [02:26:44] S1: I don't I love ads, but I hate fraud. So I don't know how to feel about this. This is gonna be peculiar. [02:26:52] S6: I don't [02:26:53] S0: think there's anything wrong here. [02:26:54] S1: With fake tech ads? That's real ad space. That could have been sold, Jordy. You're destroying shareholder value by running fake ads. We would never do that. We did do that early in the days. If you go back to the archive, Doctor. Squatch had that feel. Oh, Vince Vaughn. Vince Vaughn running a
02:26:54 路 John Coogan, Jordi Hays, Trent Simonian
[02:26:54] S1: With fake tech ads? That's real ad space. That could have been sold, Jordy. You're destroying shareholder value by running fake ads. We would never do that. We did do that early in the days. If you go back to the archive, Doctor. Squatch had that feel. Oh, Vince Vaughn. Vince Vaughn running a [02:27:17] S0: We have the video here. [02:27:19] S1: Okay. No. No. No. I know exactly where they're going with this. We put the q in q one one seven seven seven. This is hilarious. What if Texas is upside down? [02:27:35] S0: I mean, this is this is actually how this is how actually how normal people view [02:27:40] S1: What if the drizzler was purple? Firefly. [02:27:44] S0: You pay it. [02:27:46] S1: We pay you. You pay us, we pay you. Fireflow. Wow. What does this say? [02:27:55] S0: Dennis can tell you. [02:27:56] S1: Dennis can tell you. Brain [02:27:59] S0: I like ziplink is now [02:28:01] S1: They put up a lot of these. Wow. They really went hard. Who is behind this? This has to be a tech insider or someone making [02:28:07] S0: ziplink is now frugal. The cloud based online safety you know and love now in the palm of your hand. [02:28:14] S1: They put up so many of these. This is such a great stunt. Is this a if this is a if this is a launching campaign, a launch campaign for a tech brand marketing firm, it's genius. And whoever's behind this should actually be calling every tech company and saying [02:28:30] S12: What if [02:28:30] S1: forks not look like these. We know how to make good ads. [02:28:34] S0: What if forks were spoons?
02:28:34 路 Jordi Hays, John Coogan, Trent Simonian, Markie Wagner, Sridhar Ramaswamy
[02:28:34] S0: What if forks were spoons? [02:28:35] S1: What if forks were spoons? [02:28:36] S12: Go to [02:28:36] S0: cutlery.ai. [02:28:37] S1: What's people been asking that question recently? Anyway, very fun. Let me tell you about Cisco. Where is Cisco? Cisco. Critical infrastructure for the AI era. Unlock seamless real time experiences and new value with Cisco. Our next guest is Markie Wagner from Poetic. She's the founder and CEO [02:28:57] S0: Future hall of [02:28:58] S1: prolific mafia player. What's your favorite role in mafia? [02:29:04] S7: Oh, mafia. I think who doesn't love to be fascist in Mafia? I you know, you always gotta hope you're getting the fascist card but Who is the fascist I in [02:29:13] S1: thought it was just Mafia Townsperson Oh, [02:29:15] S7: I'm the secret head larc. [02:29:17] S1: You're secret head larc. [02:29:18] S8: Yes. Yes. [02:29:21] S7: Yeah. I mean, mafia is always one of mafia. Yeah. You want single time. [02:29:24] S1: It's always power. It's it's less empowering to be the townsperson because you feel like you're just getting killed. You have no superpowers. But running angel or sheriff, that can be fun. But then if you get killed off early, it's the end. I'm just thinking of it because the the latest episode of Mafia episode two from Founders Fund dropped and you're backed by Founders Fund. But since this is your first time on the show, why don't you introduce yourself? Tell us how you wound up in a position to raise money from Founders Fund.