#381 – Chris Lattner: Future of Programming and AI

Chris Lattner is a legendary software and hardware engineer, leading projects at Apple, Tesla, Google, SiFive, and Modular AI, including the development of Swift, LLVM, Clang, MLIR, CIRCT, TPUs, and Mojo. Please support this podcast by checking out our sponsors: – iHerb: https://lexfridman.com/iherb and use code LEX to get 22% off your order – Numerai: https://numer.ai/lex – InsideTracker: https://insidetracker.com/lex to get 20% off EPISODE LINKS: Chris’s Twitter: https://twitter.com/clattner_llvm Chris’s Website: http://nondot.org/sabre/ Mojo programming language: https://www.modular.com/mojo Modular AI: https://modular.com/ PODCAST INFO: Podcast website: https://lexfridman.com/podcast Apple Podcasts: https://apple.co/2lwqZIr Spotify: https://spoti.fi/2nEwCF8 RSS: https://lexfridman.com/feed/podcast/ YouTube Full Episodes: https://youtube.com/lexfridman YouTube Clips: https://youtube.com/lexclips SUPPORT & CONNECT: – Check out the sponsors above, it’s the best way to support this podcast – Support on Patreon: https://www.patreon.com/lexfridman – Twitter: https://twitter.com/lexfridman – Instagram: https://www.instagram.com/lexfridman – LinkedIn: https://www.linkedin.com/in/lexfridman – Facebook: https://www.facebook.com/lexfridman – Medium: https://medium.com/@lexfridman OUTLINE: Here’s the timestamps for the episode. On some podcast players you should be able to click the timestamp to jump to that time. (00:00) – Introduction (06:38) – Mojo programming language (16:55) – Code indentation (25:22) – The power of autotuning (35:12) – Typed programming languages (51:56) – Immutability (1:04:14) – Distributed deployment (1:38:41) – Mojo vs CPython (1:54:30) – Guido van Rossum (2:01:31) – Mojo vs PyTorch vs TensorFlow (2:04:55) – Swift programming language (2:10:27) – Julia programming language (2:15:32) – Switching programming languages (2:24:58) – Mojo playground (2:29:48) – Jeremy Howard (2:40:34) – Function overloading (2:48:59) – Error vs Exception (2:56:39) – Mojo roadmap (3:09:41) – Building a company (3:21:27) – ChatGPT (3:27:50) – Danger of AI (3:31:44) – Future of programming (3:35:01) – Advice for young people

Speaker names marked ? are inferred from speaking time and the show’s known hosts — they are not voice-verified.

• 0:00Lex Fridman?

  The following is a conversation with Chris Latner, his third time on this podcast. As I've said many times before, he's one of the most brilliant engineers in modern computing, having created LLM compiler infrastructure project, the Klang compiler, the Swift programming language, a lot of key contributions to TensorFlow and TPU as part of Google. He's served as Vice President of Autopilot Software at Tesla, was a software innovator and leader at Apple, and now he co-created a new full-stack AI infrastructure for distributed training, inference, and deployment on all kinds of hardware called modular, and a new programming language called Mojo that is a superset of Python, giving you all the usability

• 0:45Lex Fridman?

  of Python but with a performance of C, C++, in many cases Mojo code has demonstrated over 30,000x speedup over Python. If you love machine learning, if you love Python, you should definitely give Mojo a try. This programming language, this new AI framework and infrastructure, and this conversation with Chris is mind-blowing. I love it. It gets pretty technical at times, so I hope you hang on for the ride. And now, a quick few-second mention of each sponsor. Check them out in the description. It's the best way to support this podcast. We've got iHerb for health, Numerae for world's hardest data science tournament, and Inside

• 1:30Lex Fridman?

  Tracker for tracking your biological data. ChooseWise and my friends. Also, if you want to work with our team, our amazing team, who are always hiring, go to lexfridman.com/hiring. And now, onto the full ad reads. As always, no ads in the middle. I try to make this interesting, but if you skip them, if you must, my friends, please still check out the sponsors. I enjoy their stuff, maybe you will too.

• 1:55Lex Fridman?

  This show is brought to you by iHerb, a platform, a website, a place where you can go and get high-quality, selected just for you, health and wellness products for great value, inexpensive, affordable. I get fish oil over there. It's one of the main supplements I've taken for a long, long, long time in pill form. Makes me feel like I'm oiling the machine that is the human body and the human mind. Even just saying that makes me wonder, what is the power of the placebo effect in all of this? I'm actually a big believer in the power of the human mind, coupled with the effectiveness

• 2:35Lex Fridman?

  of medication and supplements and nutrition and diet and exercise, all of it. If you couple the belief that the thing will work with stuff that actually works, it's like a supercharge. It's the mind. There's something about the mind allowing the thing to work. And maybe the belief that it works reduces stress and has kind of secondary and tertiary effects that you can't even comprehend on the entirety of the biological system that is the human body. It's so fascinating. And it's so difficult to do good studies on that. Because the whole point is you want to study the effect of the entirety of the lifestyle

• 3:18Lex Fridman?

  and diet decisions you make on the entirety of the human organism, the billions of organisms that make up a single organism that is you. Anyway, get 22% off with promo code LEX when you go to iHerb.com/LEX. This show is also brought to you by Numerai, a hedge fund that uses AI and machine learning to make investment decisions. They created a tournament, a challenge, for all machine learning gurus to come and to compete against each other, to build the best predictive models for financial markets. The stakes are high. This is the kind of problems in the machine learning space that I really care about.

• 4:02Lex Fridman?

  Real world problems with high stakes, not toy problems, not ImageNet. Now, ImageNet and all that kind of stuff is good for exploring little ideas, the nuances of architectures, training procedures, of cool little ideas of the entirety of the pipeline of how to do machine learning, or for education purposes. But if you want to really develop ideas that work in the real world, you should be working on real world data where the stakes are high. And this is probably one of the hardest tournaments for machine learning in the world. Head over to numer.com/lex to sign up for a tournament and hone your machine learning skills.

• 4:46Lex Fridman?

  That's numer.com/lex for a chance to play against me and win a share of the tournament prize pool. This show is also brought to you by InsideTracker, a service I use to track biological data. As I always say, the entirety of the biological organism that is you, the individual cells, all the life force that makes up the details of the cells and the proteins and the blood and the organs and the individual systems that are interconnected to each other in these incredible, complex ways, that are all asynchronously communicating with each other

• 5:26Lex Fridman?

  through chemistry, through physics, through electrical signals, through mechanical signals, through whatever the hell signals that I can't even find the right words for. It's an incredible system. How is it possible that this thing works at all? I'm looking out into the distance now as I say these words, and my visual cortex is processing all of it and somehow makes sense of all of it. This is incredible. Anyway, measuring data on this incredible organism is good, and companies that allow you to measure it in order to make lifestyle decisions is obviously the future. That's why I support InsideTracker. You can get special savings for a limited time when you go to inside tracker.com/lex.

• 6:14Lex Fridman?

  This is the Lex Fridman Podcast. To support it, please check out our sponsors in the description. And now with your friends, here's Chris Latner.

• 6:38Lex Fridman?

  It's been, I think, two years since we last talked. And in that time, you somehow went and co-created a new programming language called Mojo. So it's optimized for AI. It's a superset of Python. Let's look at the big picture. What is the vision for Mojo?

• 6:55Chris Lattner?

  For Mojo? Well, I think you have to zoom out. So I've been working on a lot of related technologies for many, many years. So I've worked on LVM and a lot of things and mobile and servers and things like this. But the world's changing. And what's happened with AI is we have new GPUs and new machine learning accelerators and other ASICs and things like that that make AI go real fast. At Google, I worked on TPUs. That's one of the biggest larger scale deployed systems that exist for AI. And really, what you see is if you look across all of the things that are happening in the industry, there's this new compute platform coming. And it's not just about CPUs or GPUs or TPUs or NPUs or IPUs or whatever,

• 7:36Chris Lattner?

  all the PU's. It's about how do we program these things? Right? And so for software folks like us, right? It doesn't do us any good if there's this amazing hardware that we can't use. And one of the things you find out really quick is that having the theoretical capability of programming something and then having the world's power and the innovation of all the, all the smart people in the world get unleashed on something can be quite different. And so really where Mojo came from was starting from a problem of we need to be able to take machine learning, take the infrastructure underneath it and make it way more accessible, way more usable, way more understandable by normal people and researchers and other folks that are not themselves like experts in GPUs and things like this. And then through

• 8:21Chris Lattner?

  that journey, we realized, hey, we need syntax for this. We need to do a programming language.

• 8:25Lex Fridman?

  So one of the main features of the language, I say so fully in jest, is that it allows you to have the file extension to be an emoji or the fire emoji, which is one of the first

• 8:42Lex Fridman?

  Emojis used as a file extension I've ever seen in my life. And then you ask yourself the question, why in the 21st century are we not using Unicode for file extensions? This, I mean, it's an epic decision. I think clearly the most important decision in the most, but you could also just use M O J O as the file extension.

• 9:00Chris Lattner?

  Well, so, okay, so take a step back. I mean, come on, Lex, you think that the world's ready for this? This is a big moment in the world, right?

• 9:05Lex Fridman?

  This is, we're releasing this onto the world.

• 9:07Chris Lattner?

  This is innovation.

• 9:09Lex Fridman?

  I mean, it really is kind of brilliant. Emojis are such a big part of our daily lives. Why isn't it not in programming?

• 9:17Chris Lattner?

  Well, and, and like you take a step back and look, look at what file extensions are, right? They're basically metadata, right? And so why are we spending all the screen space on them and all this stuff? Also, you know, you have them stacked up next to text files and PDF files and whatever else, like if you're gonna do something cool, you want it to stand out, right? Emojis are colorful, they're visual, they're, they're beautiful, right?

• 9:37Lex Fridman?

  What's been the response so far from, is there support on like Windows on operating system in displaying like File Explorer?

• 9:44Chris Lattner?

  Yeah, the one problem I've seen is that Git doesn't escape it right. And so it thinks that the fire emoji is unprintable and so it like prints out weird hex things if you use the command line Git tool. But everything else as far as the malware works fine. And I have faith that Git can be improved, so.

• 9:59Lex Fridman?

  And so GitHub is fine.

• 10:01Chris Lattner?

  GitHub is fine. Yep, GitHub is fine, Visual Studio Code, Windows, like all this stuff totally ready because people have internationalization in their normal part of their path. So this is just like taking the next step, right? Somewhere between, oh wow, that makes sense, cool. I like new things to, oh my God, you're killing my baby. Like, what are you talking about? This could never be like, I can never handle this. How am I gonna type this? Like all these things. And so this is something where I think that the world will get there. We don't have to bet the whole farm on this. I think we can provide both paths, but I think it'll be great.

• 10:36Lex Fridman?

  When can we have emojis as part of the code?

• 10:39Chris Lattner?

  Uh, yeah. So I mean, lots of languages provide that. So I think that we have partial support for that. It's probably not fully done yet, but, but yeah, you can, you can do that. For example, in Swift, you can do that for sure. So example we give, gave it Apple was the, the dog cow.

• 10:54Lex Fridman?

  Yeah.

• 10:55Chris Lattner?

  So that's a classical Mac heritage thing. And so you use the dog and the cow emoji together and that could be your variable name. But of course, the internet went and made pile of poop for everything.

• 11:04Lex Fridman?

  Yeah.

• 11:04Chris Lattner?

  So, you know, if you want to name your function pile of poop, then you can totally go to town and see how that gets through code review.

• 11:12Lex Fridman?

  Okay. So, uh, let me just ask a bunch of random questions. Uh, so is Mojo primarily designed for AIs or is it a general purpose programming?

• 11:21Chris Lattner?

  Good question. So it's AI first. And so AI is driving a lot of the requirements. And so, um, modular is building and designing and driving Mojo forward. And it's not because it's an interesting project theoretically to build. It's because we need it. And so at modular, we're really tackling the AI infrastructure landscape and the big problems in AI and the reasons that it is so difficult to use and scale and adopt and deploy and like all these big problems in AI. And so we're coming at it from that perspective. Now, when you do that, when you start tackling these problems, you realize that the, um, solution to these problems isn't actually an AI specific solution. And so while we're doing this, we're building Mojo to be a fully general programming language. And that

• 12:04Chris Lattner?

  means that you can, uh, obviously tackle GPUs and CPUs and like these AI things, but it's also a really great way to build NumPy and other things like that. Or, you know, just if you look at what many Python libraries are today, often they're a layer of Python for the API and they end up being C and C++ code underneath them. That's very true in AI. That's true in lots of other domains as well. And so anytime you see this pattern, that's an opportunity for Mojo to help simplify the world and help people have one thing.

• 12:33Lex Fridman?

  To optimize through simplification by having one thing. So you mentioned modular. Mojo is the programming language. Modular is the whole software stack.

• 12:43Chris Lattner?

  So just over a year ago, we started this company called Modular.

• 12:46Lex Fridman?

  Yeah.

• 12:46Chris Lattner?

  Okay, what Modular is about is it's about taking AI and upleveling it into the next generation. Right? And so if you take a step back, what's gone on in the last five, six, seven, eight years is that we've had things like TensorFlow and PyTorch. And these other systems come in. You've used them. You know this. And what's happened is these things have grown like crazy and they get tons of users. It's in production deployment scenarios. It's being used to power so many systems. I mean, AI is all around us now. Now, it used to be controversial years ago, but now it's a thing. But the challenge with these systems is that they haven't always been thought out with current demands in mind. And so you think about it, when, where were LLMs eight years ago?

• 13:31Chris Lattner?

  Well, they didn't exist, right? AI has changed so much and a lot of what people are doing today are very different than when these systems were built. And meanwhile, the hardware side of this has gotten into a huge mess. There's tons of new chips and accelerators and every, every big company is announcing a new chip every day, it feels like. And so between that, you have like this moving system on one side, moving system on the other side. And it just turns into this gigantic mess, which makes it very difficult for people to actually use AI, particularly in production deployment scenarios. And so what Modular is doing is we're helping build out that software stack to help solve some of those problems. So then people can be more productive and get more AI research into production. Now, what Mojo does is it's a really, really, really important piece of that.

• 14:13Chris Lattner?

  And so that is, you know, part of that engine and part of the technology that allows us to solve these problems.

• 14:18Lex Fridman?

  So Mojo is a programming language that allows you to do the high level programming, the low level programming. They do all kinds of programming in that spectrum that gets you closer and closer to the hardware.

• 14:31Chris Lattner?

  So take a step back. So Lex, what do you love about Python?

• 14:34Lex Fridman?

  Oh, boy. Where do I begin?

• 14:39Lex Fridman?

  What is love? What do I love about Python?

• 14:41Chris Lattner?

  You're a guy who knows love. I know this.

• 14:43Lex Fridman?

  Yes.

• 14:45Lex Fridman?

  How intuitive it is.

• 14:48Lex Fridman?

  How it feels like I'm writing natural language, English.

• 14:54Lex Fridman?

  How when I can not just write, but read other people's code, somehow I can understand it faster. It's more condensed than other languages, like ones I'm really familiar with, like C++ and C. There's a bunch of sexy little features.

• 15:11Chris Lattner?

  Yeah.

• 15:12Lex Fridman?

  We'll probably talk about some of them, but list comprehensions and stuff like this.

• 15:17Chris Lattner?

  Well, so and, and don't forget the, the entire ecosystem of all the packages.

• 15:20Lex Fridman?

  Oh, yeah, that's probably huge.

• 15:22Chris Lattner?

  Cause there's always something, if you want to do anything, there's always a package.

• 15:25Lex Fridman?

  Yeah. So it's not just the ecosystem of the packages and the ecosystem of the humans that do it. That, that's a really, that's an interesting dynamic.

• 15:35Chris Lattner?

  That's huge.

• 15:36Lex Fridman?

  I think something about the, the usability and the ecosystem makes the thing viral. It grows and then it's a virtuous cycle, I think.

• 15:44Chris Lattner?

  Well, and there, there's many things that went into that. Like, so I think that ML was very good for Python. And so I think that Tensiflo and PyTorch and these systems embracing Python really took and helped Python grow. But I think that the major thing underlying it is that Python's like the universal connector. Right? It really helps bring together lots of different systems. So you can compose them and build out larger systems without having to understand how it works. But then what is the problem with Python?

• 16:11Lex Fridman?

  Well, I guess you could say several things, but probably that it's slow.

• 16:15Chris Lattner?

  I think that's usually what people complain about, right? And so, so I mean, other people complain about tabs and spaces versus curly braces or whatever. But I mean, th- those people are just wrong because it is actually just better to use indentation.

• 16:29Lex Fridman?

  Wow. Strong words. So actually I had a small tangent. Let's actually take that. Let's take all kinds of tangents.

• 16:35Chris Lattner?

  Oh, come on, Lex. You can push me on it. I can take it.

• 16:37Lex Fridman?

  Design, design. Listen, I've recently left Emacs for VS Code.

• 16:41Chris Lattner?

  Okay.

• 16:42Lex Fridman?

  The kind of hate mail I had to receive because on the way to doing that, I also said, I've considered Vim.

• 16:47Chris Lattner?

  Yep.

• 16:48Lex Fridman?

  And chose not to and went with VS Code and just.

• 16:51Chris Lattner?

  You're touching on deep religions, right?

• 16:54Lex Fridman?

  Anyway, tabs is an interesting design decision. And so you've really written a new programming language here. Yes, it is a, a superset of Python, but you can make a bunch of different interesting decisions here.

• 17:06Chris Lattner?

  Totally. Yeah.

• 17:06Lex Fridman?

  And you chose actually to stick with Python as a, in terms of some of the syntax.

• 17:13Chris Lattner?

  Well, so, so let me explain why. Right? So. I mean, you can explain this in many rational ways. I think that the indentation is beautiful, but that's not a rational explanation. Right. So, but I can defend it rationally. Right. So first of all, Python one has millions of programmers.

• 17:30Lex Fridman?

  Yeah.

• 17:30Chris Lattner?

  It's huge. It's everywhere. It owns machine learning. Right. And so factually, it is the thing. Right. Second of all, if you look at it, C code, C++ code, Java, whatever, Swift, curly brace languages also run through formatting tools and get indented. And so if they're not indented correctly, first of all, we'll twist your brain around. It can lead to bugs. There's notorious bugs that have happened across time where the indentation was wrong or misleading and it wasn't formatted right. And so it turned into an issue. Right. And so what ends up happening in modern, large scale code bases is people run automatic formatters. So now what you end up with is indentation and curly braces.

• 18:11Chris Lattner?

  Well, if you're going to have,

• 18:14Chris Lattner?

  you know, the notion of grouping, why not have one thing? Right. And get rid of all the clutter and have a more beautiful thing. Right. Also, you look at many of these languages. It's like, okay, well, you can have curly braces or you can omit them if there's one statement, or you just like enter this entire world of complicated design space that objectively you don't need if you have Python style indentation.

• 18:33Lex Fridman?

  So yeah, I would love to actually see statistics on errors made because of indentation. Like how many errors are made in Python versus in C++ that have to do with basic formatting, all that kind of stuff. I would love to see.

• 18:45Chris Lattner?

  I think it's probably pretty minor because once you get like you use VS Code, I do too. So if you get VS Code set up, it does the indentation for you generally. Right. And so you don't, you know, it's actually really nice to not have to fight it. And then what you can see is the editor is telling you how your code will work by indenting it, which I think is pretty cool.

• 19:03Lex Fridman?

  I honestly don't think I've ever, I don't remember having an error in Python because I intended stuff wrong.

• 19:11Chris Lattner?

  So, I mean, I think that there's, again, this is a religious thing. And so I can joke about it and I love, I love to kind of, you know, I realize that this is such a polarizing thing and everyone wants to argue about it. And so I like poking at the bear a little bit. Right. But, but frankly, right, come back to the first point, Python one. Like it's huge. It's an AI. It's the right thing for us. Like we see Mojo as being an incredible part of the Python ecosystem. We're not looking to break Python or change it or quote unquote, fix it. We love Python for what it is. Our view is that Python is just not done yet. And so if you look at, you know, you mentioned Python being slow. Well, there's a couple of different things that go into that, which we can talk about if you want. But one of them is it just doesn't have those features that you would use to do C-like programming.

• 19:55Chris Lattner?

  And so if you say, okay, well, I'm forced out of Python into C for certain use cases. Well, then what we're doing is we're saying, okay, well, why, why is that? Can we just add those features that are missing from Python back up to Mojo? And then you can have everything that's great about Python, all the things you're talking about that you love, plus not be forced out of it when you do something a little bit more computationally intense or weird or hardware-y or whatever it is that you're doing.

• 20:20Lex Fridman?

  Well, a million questions I want to ask, but high level again, is it compiled? There's an interpreter language, so Python is just in time compilation. What's, what's Mojo?

• 20:31Chris Lattner?

  So Mojo, a complicated answer, does all the things. So it's interpreted, it's chick compiled, and it's statically compiled. And so this is for a variety of reasons. So one of the things that makes Python beautiful is that it's very dynamic. And because it's dynamic, one of the things they added is that it has this powerful meta-programming feature. And so if you look at something like PyTorch or TensorFlow or, or, I mean, even a simple, simple use case, like you define a class that has the plus method, right? You can overload the dunder methods like dunder add, for example, and then the plus method works on your class. And so it has very nice and very expressive, dynamic meta-programming features.

• 21:14Chris Lattner?

  In Mojo, we want all those features come in, like we don't want to break Python. We want it all to work, but the problem is, is you can't run those super dynamic features on an embedded processor or on a GPU, right? Or if you could, you probably don't want to just because of the performance. And so we entered this question of saying, okay, how do you get the power of this dynamic meta-programming into a language that has to be super efficient in specific cases? And so what we did was we said, okay, we'll take that interpreter. Python has an interpreter in it, right? Take the interpreter and allow it to run at compile time.

• 21:49Chris Lattner?

  And so now what you get is you get compile time meta programming. And so this is super interesting and super powerful because one of the big advantages you get is you get Python style expressive APIs. You get the ability to have overloaded operators. And if you look at what happens inside of like PyTorch, for example, with automatic differentiation and eager mode and like all these things, they're using these really dynamic and powerful features at runtime, but we can take those features and lift them so that they run at compile time.

• 22:16Lex Fridman?

  So you're because C++ has meta programming with templates, but it's really messy.

• 22:23Chris Lattner?

  It's super messy. It's always, it was accidentally, I mean, different people have different interpretations. My interpretation is that it was made accidentally powerful. It was not designed to be Turing complete, for example, but that was discovered kind of along the way accidentally. And so there have been a number of languages in the space. And so they usually have templates or code instantiation, code copying, features of various sorts. Some more modern languages or some more newer languages, let's say, like, you know, they're fairly unknown, like Zig, for example, says, okay, well, let's take all of those types that you can run it, all those things you can do at runtime and allow them to happen at compile time.

• 23:06Chris Lattner?

  And so one of the problems with C++ I mean, which is one of, one of the problems with C++

• 23:11Lex Fridman?

  There we go.

• 23:12Chris Lattner?

  Is

• 23:12Lex Fridman?

  Wrong words. We're gonna offend everybody too.

• 23:14Chris Lattner?

  Oh, it's okay. I mean, everybody hates me for a variety of reasons anyways, I'm sure, right? I've written enough

• 23:20Lex Fridman?

  It's just the way they show love.

• 23:21Chris Lattner?

  I have written enough C++ code to earn a little bit of grumpiness with C++. But, um, but one of the problems with it is that the meta programming system templates is just a completely different universe from the normal runtime programming world. And so if you do meta programming and programming, it's just like a different universe, different syntax, different concepts, different stuff going on. And so again, one of our goals with Mojo is to make things really easy to use, easy to learn. And so there's a natural stepping stone. And so as you do this, you say, okay, well, I have to do programming at runtime. I have to do programming at compile time.

• 23:57Chris Lattner?

  Why are these different things?

• 23:59Lex Fridman?

  How hard is that to pull it off? Because that sounds to me as a fan of meta programming in C++ even. How hard is it to pull that off? That sounds really, really exciting because you can do the same style of programming at compile time and at runtime. That's really, really exciting.

• 24:13Chris Lattner?

  Yep, yep. And so, I mean, in terms of the compiler implementation details, it's hard. I won't be shy about that. It's super hard. It requires, I mean, what Mojo has underneath the covers is a completely new approach to the design of the compiler itself. And so this builds on these technologies like MLIR that you mentioned, but it also includes other like caching and other interpreters and compilers and other stuff like that.

• 24:37Lex Fridman?

  So you have like an interpreter inside the compiler?

• 24:38Chris Lattner?

  Within the compiler, yes.

• 24:41Chris Lattner?

  And so it really takes the standard model of programming languages and kind of twists it and unifies it with the runtime model. Right, which I think is really cool. And to me, the value of that is that, again, many of these languages have meta programming features, like they grow macros or something, right? Lisp, right?

• 24:59Lex Fridman?

  Yes.

• 25:00Chris Lattner?

  I know your roots, right? You know, and this is a powerful thing, right? And so, you know, if you go back to Lisp, one of the most powerful things about it is that it said that the meta programming and the programming are the same. Right, and so that made it way simpler, way more consistent, way easier to understand, reason about, and it made it more composable. So if you build a library, you can use it both at runtime and compile time, which is pretty cool.

• 25:22Lex Fridman?

  Yeah, and then for machine learning, I think meta programming, I think we could generally say is extremely useful. And so you get features, I mean, I'll jump around, but there's the feature of auto tuning and adaptive compilation just blows my mind.

• 25:38Chris Lattner?

  Yeah, well, so, okay, so let's come back to that.

• 25:40Lex Fridman?

  All right.

• 25:40Chris Lattner?

  So what is, what is, what is machine learning? Like, what is a machine learning model? Like, you take a PyTorch model off the internet, right? It's really interesting to me because what PyTorch and what TensorFlow and all these frameworks are kind of pushing compute into is they're pushing into like this abstract specification of a compute problem, which then gets mapped in a whole bunch of different ways. Right, and so this is why it became a meta programming problem, is that you want to be able to say, cool, I have, I have this neural net. Now run it with batch size 1,000, right? Do, do, do a mapping across batch. Or, okay, I want to take this problem now run it across 1,000 CPUs or GPUs, right? And so like this, this problem of like, Describe the compute and then map it and do things and transform it are like,

• 26:25Chris Lattner?

  actually, it's very profound. And that's one of the things that makes machine learning systems really special.

• 26:30Lex Fridman?

  Maybe can you describe auto tuning and how do you pull off? I mean, I guess adaptive compilation is what we're talking about as meta programming. How do you pull off auto tune? I mean, is that is that as profound as I think it is? It just seems like a really like, you know, we mentioned list comprehensions to me from a quick glance at Mojo, which, by the way, I have to absolutely like dive in as I realize how amazing this is, I absolutely must dive in. That looks like just an incredible feature for machine learning people.

• 27:01Chris Lattner?

  Yeah. Well, so what is auto tuning? So take a step back. Auto tuning is a feature in Mojo. It's not so very, very little of what we're doing is actually research. Like many of these ideas have existed in other systems and other places. And so what we're doing is we're pulling together good ideas, remixing them and making them into hopefully a beautiful system. Right? And so auto tuning, the observation is that it turns out hardware systems, algorithms are really complicated. Turns out, maybe you don't actually want to know how the hardware works. Right? A lot of people don't. Right? And so there are lots of really smart hardware people. I know a lot of them where they know everything about, okay, that the cache size is this and the number of registers is that. And if you use this length of vector, it's going to be super efficient because it maps directly onto what

• 27:46Chris Lattner?

  it can do. And like, all this kind of stuff for the GPU has SMs and has a warp size of whatever. Right? All the stuff that goes into these things where the tile size of a TPU is 128, like these, these factoids, right?

• 27:58Chris Lattner?

  My belief is that most normal people, and I love hardware people also, I'm not trying to offend literally everybody in the internet, but most programmers actually don't want to know this stuff. Right? And so if you come at it from a perspective of how do we allow people to build both more abstracted, but also more portable code? Because, you know, it could be that the vector length changes or the cache size changes, or it could be that the tile size of your matrix changes or the number, you know, an A100 versus an H100 versus a Volta versus a whatever GPU have different characteristics. Right? A lot of the algorithms that you run are actually the same, but the parameters, these magic numbers you have to fill in end up being really fiddly numbers that an expert has to go figure out. And so what auto tuning does is says, okay, well, guess what? There's a lot of compute out there.

• 28:44Chris Lattner?

  Right? So instead of having humans go randomly try all the things or do a grid search or go search some complicated multidimensional space,

• 28:52Chris Lattner?

  how about we have computers do that, right? And so what autotuning does is you can say, hey, here's my algorithm. If it's a matrix operation or something like that, you can say, okay, I'm going to carve it up into blocks. I'm going to do those blocks in parallel and I want this, this with 128 things that I'm running on, I want to cut it this way or that way or whatever. And you can say, hey, go see which one's actually empirically better on the system.

• 29:15Lex Fridman?

  And then the result of that, you cache for that system.

• 29:17Chris Lattner?

  Yep.

• 29:18Lex Fridman?

  You save it.

• 29:19Chris Lattner?

  And so come back to twisting your compiler brain, right? So not only does the compiler have an interpreter that's used to do meta programming, that compiler, that interpreter, that meta programming now has to actually take your code and go run it on a target machine.

• 29:35Chris Lattner?

  See, see which one it likes the best and then stitch it in and then keep going, right?

• 29:38Lex Fridman?

  So part of the compilation is machine specific.

• 29:41Chris Lattner?

  Yeah. Well, so I mean, this is an optional feature, right? So you don't have to use it for everything. But yeah, if you, if you're, so one of, one of the things that we're in the quest of is ultimate performance.

• 29:51Lex Fridman?

  Yes.

• 29:52Chris Lattner?

  Right? And ultimate performance is important for a couple of reasons, right? So if you're in enterprise, you're looking to save costs and compute and things like this. Ultimate performance translates to, you know, fewer servers. Like if you care about the environment, hey, better performance leads to more efficiency. Right? I mean, you could joke and say like, you know, Python's bad for the environment. And so if you move to Mojo, it's like at least 10x better, just out of the box and keep going, right?

• 30:18Chris Lattner?

  But, but performance is also interesting because it leads to better products. And so in the space of machine learning, right? If you reduce the latency of a model, so it runs faster. So every time you query the server running the model, it takes less time. Well, then the product team can go and make the model bigger. Well, that's actually makes it so you have a better experience as a customer. And so a lot of people care about that.

• 30:39Lex Fridman?

  So for autotuning, for like tile size, you mentioned 128 for TPU, you would specify like a bunch of options to try, just in the code.

• 30:47Chris Lattner?

  Yep.

• 30:47Lex Fridman?

  Just a simple statement and then you just set and forget and know depending wherever it compiles, it'll actually be the fastest.

• 30:54Chris Lattner?

  And, and yeah, exactly. And the beauty of this is that it helps you in a whole bunch of different ways, right? So if you're building, so often what will happen is that, you know, you've written a bunch of software yourself, right? You, you wake up one day, you say, I have an idea. I'm going to go cut up some code. I get to work. I forget about it. And move on with life. I come back six months or a year or two years or three years later, you dust it off and you go use it again in a new environment. And maybe your GPU is different. Maybe you're running on a server instead of a laptop, maybe whatever. And so the problem now is you say, okay, well, I mean, again, not everybody cares about performance. But if you do, you say, okay, well, I want to take advantage of all these new features. I don't want to break the old thing, though. Right. And so the typical way of handling this kind of stuff before is, you know,

• 31:38Chris Lattner?

  if you're talking about C templates or you're talking about C with macros, you end up with if deaths, you get like all these weird things get layered in, make the code super complicated. And then how do you test it? Right. It becomes this crazy complexity, multi dimensional space you have to worry about. And, you know, that just doesn't scale very well.

• 31:56Lex Fridman?

  Actually, let me just jump around before I go to some specific features, like the increase in performance here that we're talking about can be just insane. You write that Moja can provide a 35,000x speed up over Python. How does it do that?

• 32:14Chris Lattner?

  Yeah, so it can even do more, but we'll get to that. So, so first of all, when we say that we're talking about what's called C Python. It's the default Python that everybody uses when you type Python 3. That's like typically the one you use, right? C Python is an interpreter. And so interpreters, they have an extra layer of like byte codes and things like this that they have to go read, parse, interpret, and make some kind of slow from that perspective. And so one of the first things we do is we move to a compiler. And so just moving to a compiler, getting the interpreter out of the loop is two to five to 10x speed up, depending on the code. So just out of the gate, just using more modern techniques.

• 32:56Chris Lattner?

  Now, if you do that, one of the things you can do is you can start to look at how C Python started to lay out data. And so one of the things that C Python did, and this isn't part of the Python spec necessarily, but this is just sets of decisions, is that if you take an integer, for example, it'll put it in an object. Because in Python, everything's an object. And so they do the very logical thing of keeping the memory representation of all objects the same. So all objects have a header, they have like payload data. And what this means is that every time you pass around an object, you're passing around a pointer to the data. Well, this has overhead. It turns out that modern computers don't like chasing pointers very much and things like this. It means that you have to allocate the data, means you have

• 33:41Chris Lattner?

  to reference count it, which is another way that Python uses to keep track of memory. And so this has a lot of overhead. And so if you say, okay, let's try to get that out of the heap, out of a box, out of an indirection, and into the registers.

• 33:58Chris Lattner?

  That's, that's another 10x.

• 34:00Lex Fridman?

  So it adds up if you, if you're reference counting every single, every, every single thing you create, that adds up.

• 34:05Chris Lattner?

  Yep. And if you look at, you know, people complain about the Python goal. This is one of the things that hurts parallelism. That's because of the reference counting. Right. And so the goal and reference counting are very tightly intertwined in Python. It's not the only thing, but it's very tightly intertwined. And so then you lean into this and you say, okay, cool. Well, modern computers, they can do more than one operation at a time. And so they have vectors. What is a vector? Well, a vector allows you to take one, instead of taking one piece of data, doing an add or multiply, and then pick up the next one, you can now do four, or eight, or 16, or 32 at a time. Right? Well, Python doesn't expose that because of reasons. And so now you can say, okay, well, you can adopt that. And now you have threads. Now you have like additional things, like you can control memory hierarchy. And so what Mojo allows you to do is it allows you to start taking

• 34:48Chris Lattner?

  advantage of all these powerful things that have been built into the hardware over time. And it gives, the library gives very nice features. So you can say, just parallelize this, do this in parallel. Right? So it's very, very powerful weapons against slowness, which is why people have been, I think, having fun, like just taking code and making it go fast, because it's just kind of an adrenaline rush to see like how fast you can get things.

• 35:12Lex Fridman?

  Before I talk about some of the interesting stuff with parallelization, all that, let's, let's first talk about like the basics. We talked indentation. Right? So this thing looks like Python. It's sexy and beautiful like Python, as I mentioned. Is it a typed language? So what's the role of types?

• 35:28Chris Lattner?

  Yeah, good question. So Python has types. It has strings, has integers, has dictionaries, and like all that stuff. But they all live at runtime. Right? And so, because all those types live at runtime in Python, you never, you don't have to spell them. Python also has like this whole typing thing going on now, and a lot of people use it.

• 35:47Lex Fridman?

  Yeah.

• 35:48Chris Lattner?

  I'm not talking about that. That's, that's kind of a different thing. We can go back to that if you want. But, but typically, the You know, you just say, I take, I have a def and my def takes two parameters. I'm going to call them A and B and I don't have to write a type. Okay. So that is great, but what that does is that forces what's called a consistent representation. So these things have to be a pointer to an object with the object header and they all have to look the same. And then when you dispatch a method, you go through all the same different paths, no matter what the receiver, whatever that type is. So what Mojo does is it allows you to have more than one kind of type. And so what it does is allows you to say, okay, cool. I have, I have an object and objects behave like Python does. And so it's fully dynamic and that's all great. And for many things, classes like that's all very powerful and very important.

• 36:34Chris Lattner?

  But if you want to say, hey, it's an integer and it's 32 bits or 64 bits, or whatever it is, or it's a floating point value. It's 64 bits. Well, then the compiler can take that and it can use that to do way better optimization. And it turns out, again, getting rid of the interactions, that's huge. And you can get better code completion because you have, because compiler knows what the type is. And so it knows what operations work on it. And so that's actually pretty huge. And so what Mojo does allows you to progressively adopt types into your program. And so you can start, again, it's compatible with Python. And so then you can add however many types you want, wherever you want them. And if you don't want to deal with it, you don't have to deal with it.

• 37:12Chris Lattner?

  And so one of, one of, you know, our opinions on this is that it's not that types are the right thing or the wrong thing. It's that they're a useful thing.

• 37:23Lex Fridman?

  Well, so it's kind of optional. It's not strict typing and you don't have to specify a type.

• 37:27Chris Lattner?

  Exactly.

• 37:28Lex Fridman?

  Okay. So it's starting from the thing that Python's kind of reaching towards right now with trying to inject types into it.

• 37:35Chris Lattner?

  Yeah, with a very different approach, but yes, yeah.

• 37:37Lex Fridman?

  What's the different approach? I'm actually one of the people that have not been using types very much in Python.

• 37:44Chris Lattner?

  So that's okay. Why did you say?

• 37:47Lex Fridman?

  It just, well, because I know the importance. It's like adults use strict typing. And so I refuse to grow up in that sense. It's a, it's a kind of rebellion, but I just know that.

• 38:00Lex Fridman?

  It probably reduces the amount of errors even just for, forget about performance improvements. It probably reduces errors when you do strict typing.

• 38:07Chris Lattner?

  Yeah. So I mean, I think it's interesting if you look at that, right? And the reason I'm giving you a hard time is that, that there's this, this cultural norm, this pressure, this like, there has to be a right way to do things, like, you know, grownups only do it one way. And if you don't do that, you should feel bad.

• 38:21Lex Fridman?

  Yes.

• 38:21Chris Lattner?

  Right? Like, some people feel like Python's a guilty pleasure or something. And it's like, when it gets serious, I need to go rewrite it, right? Well, I mean, cool. I understand history and I understand kind of where this comes from, but I don't think it has to be a guilty pleasure.

• 38:34Lex Fridman?

  Yeah.

• 38:35Chris Lattner?

  So if you look at that, you say, why do you have to rewrite it? Well, you have to rewrite it to deploy. Well, why do you want to deploy? Well, you care about performance, you care about predictability, or you want, you know, a tiny thing on the server that has no dependencies. Or, you know, you have objectives that you're trying to attain. So what if Python can achieve those objectives? So if you want types, well, maybe you want types because you want to make sure you're passing in the right thing. Sure, you can add a type. If you don't care, you're prototyping some stuff, you're hacking some things out, you're like pulling some ram code off the internet. It should just work, right? And you shouldn't be like pressured, you shouldn't feel bad about doing the right thing or the thing that feels good. Now, if you're in a team, right?

• 39:16Chris Lattner?

  You're working at some massive internet company and you have 400 million lines of Python code. Well, they, they may have a house rule that you use types.

• 39:24Lex Fridman?

  Yeah.

• 39:24Chris Lattner?

  Right? Because it makes it easier for different humans to talk to each other and understand what's going on and bugs at scale, right? And so there, there are lots of good reasons why you might want to use types. But that doesn't mean that everybody should use them all the time, right? So what Mojo does is it says, cool, well, allow people to use types. And if you use types, you get nice things out of it, or you get better performance and things like this, right? But Mojo is a full compatible superset of Python. Right? And so that means it has to work without types. It has to support all the dynamic things, has to support all the packages, it has to support four comprehension, list comprehensions and things like this, right? And so that, that, that starting point, I think is really important. And I think that, again, you can look at why I care so much about this.

• 40:08Chris Lattner?

  And there, there's many different aspects of that, one of which is the world went through a very challenging migration from Python 2 to Python 3.

• 40:17Chris Lattner?

  Right, this migration took many years and it was very painful for many teams, right? And there's a lot of, lot of things that went on in that. I'm not an expert in all the details and I honestly don't want to be. I don't want the world to have to go through that. Right, and you know, people can ignore Mojo and if it's not their thing, that's, that's cool. But if they want to use Mojo, I don't want them to have to rewrite all their code.

• 40:37Lex Fridman?

  I mean, this, okay, the superset part is, it's just, I mean, there's so much brilliant stuff here. That definitely is, is incredible. We'll talk about that. But first of all, how's the typing implemented differently in, in Python versus Mojo? So this heterogeneous flexibility, you said, is differently implemented?

• 40:58Chris Lattner?

  Yeah, so I'm, I'm not a full expert in the whole backstory on types in Python. So I'll give you, I'll give you that. I can give you my understanding. My understanding is basically, like many dynamic languages, the ecosystem went through a phase where people went from writing scripts to writing large scale, huge code bases in Python. And at scale, it kind of helps have types. People want to be able to reason about interfaces, what, what do you expect a string or an int? Or like, what, what, these basic things, right? And so what the Python community started doing is it started saying, okay, let's have tools on the side. Checker tools, right, that go and like enforce invariance, check for bugs, try to identify things. These are called static analysis tools generally.

• 41:42Chris Lattner?

  And so these tools run over your code and try to look for bugs. What ended up happening is there's so many of these things, so many different weird patterns and different approaches on specifying the types and different things going on that the Python community realized and recognized, hey, hey, hey, there's a thing here. And so what they started to do is they started to standardize the syntax for adding types to Python. Now, one of the challenges that they had is that they're coming from kind of this fragmented world where there's lots of different tools, they have different trade offs and interpretations and the types mean different things. And so if you look at types in Python, according to the Python spec, the types are ignored. Right. So according to the Python spec, you can write pretty much anything in a tight

• 42:21Chris Lattner?

  position. Okay. And you can technically, you can write any expression. Okay. Now, that's beautiful, because you can extend it. You can do cool things. You can write, build your own tools. You can build your own house, winter, or something like that. Right. But it's also a problem, because any existing Python program may be using different tools, and they have different interpretations. And so if you adopt somebody's package into your ecosystem, try around the tool you prefer, it may throw out tons of weird errors and warnings and problems, just because it's incompatible with how these things work. Also, because they're added late, and they're not checked by the Python interpreter is always kind of more of a hint than it is a requirement. Also, the C Python implementation can't use them for performance. And so it's really

• 43:05Lex Fridman?

  That's the big one, right? So you can't utilize the for the compilation for the just in type compilation.

• 43:09Chris Lattner?

  Yep, exactly. And this this all comes back to the design principle of it's it's kind of they're kind of hints. They're kind of the definitions a little bit murky. It's unclear exactly the interpretation in a bunch of cases. And so because of that, you can't actually, even if you want to, it's really difficult to use them to say like, it is going to be an int. And if it's not, it's a problem, right? A lot of code would break if you did that. So so in Mojo, right? So you can still use those kind of type annotations. It's fine. But in Mojo, if you declare a type and you use it, then it means it is going to be that type. And the compiler helps you check that and force it. And it's safe. And it's not it's not a like, best effort hint kind of a thing.

• 43:48Lex Fridman?

  So if you try to shove a string type thing into an integer,

• 43:52Chris Lattner?

  You get an error.

• 43:52Lex Fridman?

  From the compiler compile time. Nice. Okay, what kind of basic types are there?

• 43:59Chris Lattner?

  Yeah, so Mojo is pretty hardcore in terms of what it tries to do in the language, which is the philosophy there is that we again, if you if you look at Python, right? Python is a beautiful language, because it's so extensible, right? And so all of the different things in Python, like for loops and plus and like all these things can be accessed through these underbar underbar methods. Okay, so you have to say, okay, if I make something that is super fast, I can go all the way down to the metal. Why do I need to have integers built into the language?

• 44:35Chris Lattner?

  And so what Mojo does is says, okay, well, we can have this notion of strux. So you have classes in Python, now you can have strux. Classes are dynamic, strux are static. Cool, we can get high performance, we can write C++ kind of code with strux if you want. These things mix and work beautifully together. But what that means is that you can go and influence strings and ints and floats and arrays and all that kind of stuff in the language. Right, and so that's really cool because, you know, to me as a ideal, idealizing compiler, compiler language type of person, what I want to do is I want to get magic out of the compiler and put in the libraries. Because if somebody can, you know, if we can build an integer that's beautiful and it has an amazing API, it does all the things you'd expect an integer to do.

• 45:19Chris Lattner?

  But you don't like it, maybe you want a big integer, maybe you want like sideways integer, I don't know, like what all the space of integers are. Then, then you can do that and it's not a second-class citizen. And so if you look at certain other languages like C++ one I also love and use a lot. Int is hardcoded in the language. But complex is not. And so it's kind of weird that you have this STD complex class, but you have int. And complex tries to look like a natural numeric type and things like this. But integers and floating point have these like special promotion rules and other things like that that are magic and they're hacked into the compiler.

• 46:01Chris Lattner?

  And because of that, you can't actually make something that works like the built-in types.

• 46:05Lex Fridman?

  Is there something provided as a standard? Because, you know, because it's AI first. You know, numerical types are so important here. So is there something like a nice standard implementation of integer and float?

• 46:19Chris Lattner?

  Yeah, so we're still building all that stuff out. So we provide integers and floats and all that kind of stuff. We also provide like buffers and tensors and things like that that you'd expect in an ML context. Honestly, we need to keep designing and redesigning and working with the community to build that out and make that better. That's not our strength right now. Give us six months or a year, and I think it'll be way better. But but the power of putting in the library means that we can have teams of experts that aren't compiler engineers that can help us design and refine and drive us forward.

• 46:46Lex Fridman?

  So one of the exciting things we should mention here is that this is this is new and fresh. This cake is unbaked. It's almost baked. You can tell it's delicious, but it's not fully ready to be consumed.

• 47:00Chris Lattner?

  Yep, that's very fair. It is very useful, but it's very useful if you're a super low level programmer right now. And what we're doing is we're working our way up the stack. And so the way I would look at Mojo today in May and 2023 is that it's like a 0.1. So I think that, you know, a year from now, it's gonna be way more interesting to a variety of people. But what we're doing is we're we decide to release it early so that people can get access to it and play with it. And we can build it with the community. We have a big roadmap, fully published, being transparent about this. And a lot of people are involved in this stuff. And so what we're doing is we're really optimizing for building the thing the right way. And building it the right way is kind of interesting, working with the community, because everybody wants it yesterday.

• 47:45Chris Lattner?

  And so it's sometimes it's kind of, you know, there's some dynamics there. But yeah, I think it's the right thing.

• 47:52Lex Fridman?

  So there's a discord also, so the dynamics is pretty interesting. Sometimes the community probably can be very chaotic and introduce a lot of stress. Guido famously quit over the stress of the walrus operator. I mean, it's, you know, it broke.

• 48:08Chris Lattner?

  The straw that broke the camel's back.

• 48:09Lex Fridman?

  Exactly. And so like, it could be very stressful to develop. But can you just, a tangent upon a tangent, is it stressful to to to work through the design of various features here, given that the community is so richly involved?

• 48:25Chris Lattner?

  Well, so I've been doing open development and community stuff for decades now. Somehow this has happened to me. So I've I've learned some tricks, but the the thing that always gets me is I want to make people happy. Right? And so this is maybe not all people all happy all the time. But generally, I want I want people to be happy, right? And so the challenge is that, again, we're tapping into some long. Some deep seated, long tensions and pressures, both in the Python world, but also in the AI world and the hardware world and things like this. And so people just want us to move faster. Right. And so, again, our decision was let's release this early. Let's get people used to it or access to it and play with it. And like, let's, let's build in the open, which

• 49:08Chris Lattner?

  we could have, you know, had the, the language monk sitting in the cloister up on the hilltop, like beavering away, trying to build something. But in my experience, you get something that's way better if you work with the community. Right. And so, yes, it can be frustrating, can be challenging for lots of people involved. And, you know, if you, I mean, if you mentioned our Discord, we have over 10,000 people on the Discord, 11,000 people or something. Keep in mind, we released Mojo like two weeks ago. Yeah. So, um, so it's very cool. But what that means is that, um, you know, 10, 11,000 people all will want something different. Right. And so what we've done is we've tried to say, okay, cool. Here's our roadmap. Here, here. And the roadmap isn't completely

• 49:50Chris Lattner?

  arbitrary. It's based on, here's the logical order in which to build these features or add, add these capabilities and things like that. And what we've done is we spun really fast on like bug fixes. And so we actually have very few bugs, which is cool. I mean, actually for a project in the state, but then what we're doing is we're dropping in features very deliberately.

• 50:09Lex Fridman?

  I mean, this is fun to watch because you got the two gigantic communities of like hardware, like systems engineers, and then you have the machine learning Python people that are like higher level. Yeah. And it's just too like, like army, like, uh,

• 50:25Chris Lattner?

  They've been at war. Yeah. They've been at war. Right. And so, so here's,

• 50:30Lex Fridman?

  Tolkien novel or something. Okay.

• 50:31Chris Lattner?

  So here's the test. Again, like, it's, it's super funny for, for something that's only been out for two weeks, right? People are so impatient. Right. But, okay, cool. Let's fast forward a year. Like in a year's time, Mojo will be actually quite amazing and solve tons of problems and be very good. Um, people still have these problems. Right. And so you, you, you look at this and you say, and the way I look at this at least is to say, okay, well, we're solving big, longstanding problems. To me, I, again, working on many different problems, I want to make sure we do it right. Right? There's like a responsibility you feel because if you mess it up, there's very few opportunities to do projects like this and have them really have impact on the world. If we do it right, then maybe we can take those feuding armies and actually heal some of those wounds.

• 51:16Lex Fridman?

  Yeah, this is like, this feels, this feels like a speech by George Washington or Abraham Lincoln or something.

• 51:23Chris Lattner?

  And you look at this and it's like, okay, well, how different are we?

• 51:25Lex Fridman?

  Yeah.

• 51:26Chris Lattner?

  We all want beautiful things. We all want something that's nice. We all want to be able to work together. We all want our stuff to be used, right? And so if we can help heal that, now, I'm not optimistic that all people will use Mojo and they'll stop using C++. Like, that's not my goal, right? But, um, but if we can heal some of that, I think that'd be pretty cool.

• 51:42Lex Fridman?

  Yeah, and, and we start by putting the people who like braces into the Gulag. No.

• 51:47Chris Lattner?

  So, so there are proposals for adding braces to Mojo and we just

• 51:51Lex Fridman?

  Interesting.

• 51:51Chris Lattner?

  We tell them no.

• 51:52Lex Fridman?

  Okay.

• 51:55Lex Fridman?

  Politely. Yeah, anyway, so there's a lot of amazing features on the roadmap and those ready implemented. It'd be awesome. I could just ask you a few things.

• 52:02Chris Lattner?

  Yeah, go for it.

• 52:03Lex Fridman?

  So, uh, the, the other performance improvement comes from immutability. So what's the, what's this var and this let thing that we got going on? Well, what's immutability?

• 52:14Chris Lattner?

  Yeah, so one of the things that is, uh, useful, and it's not always required, but it's useful, is knowing whether something can change out from underneath you. Right? And so in Python, you have a pointer to an array, right? And so you pass that pointer to an array around to things. If you pass into a function, they may take that and scroll it away in some other data structure. And so you get your array back and you go to use it. Now somebody else is like putting stuff in your array. How do you reason about that? It gets to be very complicated, at least lots of bugs, right? And so one of the things that, you know, again, this is not something Mojo forces on you, but something that Mojo enables is a thing called value semantics. And what value semantics do is they take

• 52:57Chris Lattner?

  Collections like arrays, like dictionaries, also tensors and strings and things like this that are much higher level and make them behave like proper values. And so it makes it look like if you pass these things around, you get a logical copy of all the data. And so if I pass you an array, it's your array. You can go do what you want to it. You're not going to hurt my array. Now, that is an interesting and very powerful design principle. It defines away a ton of bugs. You have to be careful to implement it in an efficient way.

• 53:26Lex Fridman?

  Is there a performance hit that's significant?

• 53:30Chris Lattner?

  Generally not, if you implement it the right way, but it requires a lot of very low level getting the language right bits.

• 53:38Lex Fridman?

  I assume there'd be a huge performance hit because it's a really, the benefit is really nice because you don't get into.

• 53:43Chris Lattner?

  Absolutely. Well, the trick is, is you can't do, you can't do copies. So you have to provide the behavior of copying without doing the copy.

• 53:53Lex Fridman?

  Yeah.

• 53:55Lex Fridman?

  Is that, how do you do that?

• 53:56Chris Lattner?

  It's not magic. It's just, it's actually pretty cool. Well, so first, before we talk about how that works, let's talk about how it works in Python, right? So in Python, you define a person class, or maybe a person class is a bad idea. You define a database class, right? And database class has an array of records, something like that, right? And so the problem is that if you pass in a record or a class instance into the database, it'll take a hold of that object and then it assumes it has it. And if you're passing an object in, you have to know that that database is going to take, take it. And therefore you shouldn't change it after you put in the database, right? This is.

• 54:30Lex Fridman?

  You just kind of have to know that.

• 54:31Chris Lattner?

  You just have to kind of know that, right? And so you roll out version one of the database, you just kind of have to know that. Of course, Lex uses his own database, right?

• 54:39Lex Fridman?

  Yeah.

• 54:39Chris Lattner?

  Right? Because you built it. You understand how this works, right? Somebody else joins the team. They don't know this.

• 54:44Lex Fridman?

  Yes.

• 54:44Chris Lattner?

  Right? And so now they suddenly get bugs. You're having to maintain the database. You shake your fist. You argue the 10th time this happens, you're like, okay, we have to do something different, right? And so what you do is you go change your Python code and you change your database class to copy the record every time you add it. And so what ends up happening is you say, okay, I will do what's called a defensive copy inside the database. And then that way, if somebody passes something in, I will have my own copy of it and they can go do whatever and they're not going to break my thing. Okay, this is usually the two design patterns. If you look in PyTorch, for example, this is cloning a tensor. Like, there's a specific thing and you have to know where to call it. And if you don't call in the right place, you get these bugs. And this is state of the art, right? So a different approach.

• 55:29Chris Lattner?

  So it's used in many languages. So I've worked with it in Swift. Is you say, okay, well, let's provide value semantics. And so we want to provide the view that you get a logically independent copy. But we want to do that lazily. And so what we do is you say, okay, if you pass something into a function, it doesn't actually make a copy. What it actually does is it just increments the reference to it. And if you pass it around, you stick in your database. It can go in the database, you own it. And then you come back out of the stack, nobody's copied anything. You come back out of the stack and then the caller lets go of it. Well, then you've just handed it off to the database. You've transferred it and there's no copies made. Now, on the other hand, if, you know, your coworker goes and hands you a record

• 56:13Chris Lattner?

  and you pass it in, you stick it in the database and then you go to town and you start modifying it. What happens is you get a copy lazily on demand. And so what this does, this gives you copies only when you need them. And it also, so it defends away the bugs, but also generally reduces the number of copies in practice.

• 56:30Lex Fridman?

  And so But the implementation details are tricky here.

• 56:33Chris Lattner?

  Yeah, so this is, yes.

• 56:35Lex Fridman?

  Something with reference counting, but to make it performant

• 56:40Lex Fridman?

  across a number of different kinds of objects.

• 56:44Chris Lattner?

  Yeah, well, so you need a couple of things. And so there's many, so this concept has existed in many different worlds. And so again, it's not novel research at all, right? The magic is getting the design right so that you can do this in a reasonable way. Right. And so there's a number of components that go into this. One is when you're passing around, so we're talking about Python and reference counting and the expense of doing that. When you're passing values around, you don't want to do extra reference counting for no good reason. And so you have to make sure that you're efficient and you transfer ownership instead of duplicating references and things like that, which is a very low level problem. You also have to adopt this and you have to build these data structures. And so if you say, you know, Mojo has to be compatible with Python. So of course, the default list is a reference semantic list

• 57:29Chris Lattner?

  that works the way you'd expect in Python. But then you have to design a value semantic list. And so you just have to implement that and then you implement the logic within. And so the, the role of the language here is to provide all the low level hooks that allow the author of the type to be able to get and express this behavior without forcing it into all cases or hard coding this into the language itself.

• 57:50Lex Fridman?

  But there's a ownership, so you're constantly transfer, you're tracking who owns the thing.

• 57:54Chris Lattner?

  Yes. And so there's a whole system called ownership. And so this is related to work done in the Rust community. Also, the Swift community has done a bunch of work and there's a bunch of different other languages that have all kind of, C++ actually has copy constructors and destructors and things like that. And so, and I mean, C++ has everything. So it has move constructors and has like this whole world of things. And so this is, uh, this is a body of work that's kind of been developing for many, many years now. And so Mojo takes some of the best ideas out of all these systems and remixes it in a nice way so that you get the power of something like the Rust programming language, but you don't have to deal with it when you don't want to, which is a major thing in terms of teaching and learning and being able to use and scale these systems.

• 58:38Lex Fridman?

  How does that play with argument conventions? What are they? Why are they important? How does the value semantics, how does the transfer ownership work with, with the arguments when they're passed into?

• 58:48Chris Lattner?

  Yeah. So, so if you go deep into systems programming land, so this isn't, again, this is not something for everybody, but if you go deep into systems programming land, what you encounter is you encounter these types that get weird. So if you're used to Python, you think about everything, I can just copy it around, I can go change it and mutate it and do these things and it's all cool. If you get into systems programming land, you get into these things like I have an atomic number, or I have a mutex, or I have a uniquely owned database handle, things like this, right? So these types you can't necessarily copy. Sometimes you can't necessarily even move them to a different address. And so what Mojo allows you to do is it allows you to express, hey, I don't want to get a copy

• 59:32Chris Lattner?

  of this thing. I want to actually just get a reference to it. And by doing that, what you can say is you can say, okay, if I'm defining something weird, like a atomic number or something, it's like, it has to be, so an atomic number is a, an Arian memory that multiple threads can access at a time without synchronous, without, without locks. Right? And so, uh, and so like the definition of atomic numbers, multiple different things have to be poking at that, therefore they have to agree on where it is. So you can't just like move it out from underneath one because it kind of breaks what it means. And so that's, that's an example of a type that you can't even, you can't copy, you can't move it like once you create it has to be where it was, right? Now, if you look at many other examples, like a database handle, right? So, okay, well, what happens?

• 1:00:17Chris Lattner?

  How do you copy a database handle? Do you copy the whole database? That's not something you necessarily want to do.

• 1:00:24Chris Lattner?

  There's a lot of types like that where you want to be able to say that they are uniquely owned. So there's always one of this thing. And or if, if I create a thing, I don't copy it. And so what Mojo allows you to do is it allows you to say, hey, I want to pass around a reference to this thing without copying it. And so it has borrowed conventions. So you can say, you can use it, but you don't get to change it. You can pass it by mutable reference. And so if you do that, then you can, you get a reference to it, but you can change it. And so it manages all that kind of stuff.

• 1:00:57Lex Fridman?

  So it's, uh, it's just a really nice implementation of like C++ has, you know, the different kinds of pointers.

• 1:01:05Chris Lattner?

  Yeah.

• 1:01:05Lex Fridman?

  Smart, smart, different, different kinds of implementations of smart pointers that you can explicitly define this allows you. But you're saying that's more like the weird case versus the common case.

• 1:01:15Chris Lattner?

  Well, it depends on where, I mean, I mean, I don't, I don't think I'm a normal person. So I mean, I'm not one to call other people weird.

• 1:01:23Chris Lattner?

  But the, uh, but you know, if you talk to a normal Python, a typical Python programmer, you're typically not thinking about this, right? This is a lower level of abstraction. Now, if you talk to a C++ programmer, certainly if you talk to a Rust programmer, again, they're not weird. They're delightful, like these are all good people, right? Those, those folks will think about all the time, right? And so I look at this as there's a spectrum between very deep, low level systems. I'm going to go poke the bits and care about how they're laid out in memory all the way up to application and scripting and other things like this. And so it's not that anybody's right or wrong. It's about how do we build one system that scales?

• 1:01:59Lex Fridman?

  By the way, the, the idea of an atomic number has been something that always brought me deep happiness. Because the flip side of that, the, the idea that

• 1:02:13Lex Fridman?

  Threads can just modify stuff asynchronously. Just the whole idea of concurrent programming is a source of infinite stress for me.

• 1:02:23Chris Lattner?

  Well, so this is where you jump into, you know, again, you zoom out and get out of program languages or compilers and you just look what the industry has done. My mind is constantly blown by this, right? And you look at what, you know, Moore's law, Moore's law has this idea that like computers for a long time, single thread performance just got faster and faster and faster and faster for free. But then physics and other things intervened and power consumption, like other things started to matter. And so what ended up happening is we went from single core computers to multi-core. Then we went to accelerators, right? And this, this trend towards specialization of hardware is only going to continue. And so for years, us programming language nerds and compiler people have been saying,

• 1:03:07Chris Lattner?

  okay, well, how do we tackle multi-core, right? For a while it was like multi-core is the future. We have to get on top of this thing. Then it was multi-core is the default. What are we doing with this thing? And then it's like, there's chips with hundreds of cores in them. What happened, right? And so I'm super inspired by the fact that, you know, in the face of this, you know, those machine learning people invented this idea of a tensor, right? And what is a tensor? A tensor is an, like an arithmetic and algebraic concept. It's like an abstraction around a gigantic parallelizable data set, right? And because of that, and because of things like TensorFlow and PyTorch, we're able to say, okay, we'll express the math of the system.

• 1:03:49Chris Lattner?

  This enables you to do automatic differentiations, enables you to do like all these cool things. And, and it's, it's an abstract representation because you have that abstract representation, you can now map it onto these parallel machines without having to control, okay, put that byte here, put that byte there, put that byte there. And this has enabled an explosion in terms of AI compute, accelerators, like all the stuff. And so that's super, super exciting.

• 1:04:14Lex Fridman?

  What about the, the deployment, the execution across multiple machines? So you write that the modular compute platform dynamically partitions models with billions of parameters and distributes their execution across multiple machines, enabling unparalleled efficiency. By the way, the use of unparalleled in that sentence. Anyway, enabling unparalleled efficiency scale and reliability for the largest workloads. So how do you do this abstraction of distributed deployment of large models?

• 1:04:49Chris Lattner?

  Yeah. So one of the really interesting tensions. So there's a whole bunch of stuff that goes into that. I'll pick a random walk through it. If you, if you go back and replay the history of machine learning. Right. I mean, the brief, the brief, most recent history of machine learning, because this is, as you know, very deep. I, I knew Lex when he had an AI podcast.

• 1:05:10Lex Fridman?

  Right?

• 1:05:10Chris Lattner?

  Yep.

• 1:05:12Chris Lattner?

  So, so if you look at just tense flow and PyTorch, which is pretty recent history in the big picture, right? But tense flow is all about graphs. PyTorch, I think, pretty unarguably ended up winning. And why did it win? Mostly because of usability. Right. And the usability of PyTorch is, I think, huge. And I think, again, that's a huge testament to the power of taking abstract, theoretical, technical concepts and bringing it to the masses. Right. Now, the challenge with what the tense of versus the PyTorch design points was that tense flows kind of difficult to use for researchers, but it was actually pretty good for deployment. PyTorch is really good for researchers. It kind of not super great for deployment. Right. And so I think that we as an industry have been struggling.

• 1:05:58Chris Lattner?

  And if you look at what deploying a machine learning model today means is that you'll have researchers who are, I mean, wicked smart, of course, but they're wicked smart at model architecture and data and calculus. Like they're wicked smart in various domains. They don't want to know anything about the hardware or deployment or C++ or things like this. Right. And so what's happened is you get people who train the model, they throw over, throw it over the fence. And then you have people that try to deploy the model.

• 1:06:26Chris Lattner?

  Well, every time you have a team A does X, they throw it over the fence and team Y does some, team B does Y, like you have a problem because of course it never works the first time. And so you throw over the fence, they figure out, okay, it's too slow, won't fit, doesn't use the right operator, the tool crashes, whatever the problem is, then they have to throw it back over the fence. And every time you throw a thing over a fence, it takes three weeks of project managers and meetings and things like this. And so what we've seen today is that getting models in production can take weeks or months. Like it's not atypical, right? I talked to lots of people and you talk about like VP of software at some internet company trying to deploy a model. And they're like, why do I need a team of 45 people?

• 1:07:11Chris Lattner?

  Like it's so easy to train a model. Why, why can't I deploy it? Right? And if you dig into this, every layer is problematic. So if you look at the language piece, I mean, this is tip of the iceberg. It's a very exciting tip of the iceberg for folks, but you've got Python on one side and C++ on the other side. Python doesn't really deploy. I mean, can theoretically, technically in some cases, but often a lot of production teams will want to get things out of Python because they get better performance and control and whatever else. So Mojo can help with that. If you look at serving, so you talk about gigantic models. Well, a gigantic model won't fit on one machine. And so now you have this model, it's written in Python, it has to be rewritten in C++.

• 1:07:54Chris Lattner?

  Now it also has to be carved up so that half of it runs on one machine, half of it runs on another machine. Or maybe it runs on 10 machines. Also now suddenly the complexity is exploding, right? And the reason for this is that if you, if you look into TensorFlow, PyTorch, these systems, they weren't really designed for this world, right? They were designed for, you know, back in the day when we were starting and doing things where it was a different, much simpler world. Like you want to run ResNet 50 or some ancient model architecture like this. It was just a, it was a completely different world. Training on one GPU. Exactly. Doing. AlexNet. Yeah, AlexNet, right? The major breakthrough and.

• 1:08:34Chris Lattner?

  And the world has changed, right? And so now the challenge is that TensorFlow, PyTorch, these systems, they weren't actually designed for LLMs. Like, that was not, that was not a thing. And so what, where TensorFlow actually has amazing power in terms of scale and deployment and things like that. And I think Google is, I mean, maybe not unmatched, but they're like incredible in terms of their capabilities and gigantic scale. Many researchers using PyTorch, right? And so PyTorch doesn't have those same capabilities. And so what Modular can do is it can help with that. Now, if you take a step back and you say like, what is Modular doing, right? So Modular has like a bitter enemy that we're fighting against in the industry. And it's one of these things where everybody knows it, but nobody is usually willing to talk about it.

• 1:09:18Chris Lattner?

  The bitter enemy. The bitter thing that we have to destroy, that we're all struggling with, and it's like all around, it's like fish can't see water, is complexity. Sure, yes. Complexity. Right. That was very philosophical of you. That was very sad. And so if you look at it, yes, it is on the hardware side. Yes. All these, all these accelerators, all these software stacks that go with the accelerator, all these, like, there's massive complexity over there. You look at what's happening on the modeling side, massive amount of complexity. Like, things are changing all the time. People are inventing, turns out, the research is not done, right? And so people want to be able to move fast. Transformers are amazing, but there's a ton of diversity even within transformers. And what's the next transformer, right?

• 1:10:00Chris Lattner?

  And you look into serving, also huge amounts of complexity. Turns out that all the cloud providers, right, have all their very weird but very cool hardware for networking and all this kind of stuff. And it's all very complicated. People aren't using that. You look at classical serving, right? There's this whole world of people who know how to write high-performance servers with zero copy networking and like all, all this fancy asynchronous I/O and like all these fancy things in the, in the serving community, very little that has pervaded into the machine learning world. Right. And why is that? Well, it's because, again, these systems have been built up over many years. They haven't been rethought. There hasn't been a first principles approach to this.

• 1:10:41Chris Lattner?

  And so what Modular is doing is we're saying, okay, we've built many of these things, right? So I've worked on TensorFlow and TPUs and things like that. Other folks on our team like worked on PyTorch Core. We've worked on Onyx runtime. We've worked on many of these other systems. And so built the systems like the Apple accelerators and all that kind of stuff. Like our team is quite amazing. And so one of the things that roughly everybody at Modular is grumpy about is that when you're working on one of these projects, you have a first order goal. Get the hardware to work. Get the system to enable one more model. Get this product out the door. Enable the specific workload or make it solve this problem for this product team, right? And nobody's been given a chance to actually do that step back.

• 1:11:25Chris Lattner?

  And so we as an industry, we didn't take two steps forward. We took like 18 steps forward in terms of all this really cool technology across compilers and systems and runtimes and heterogeneous compute, like all this kind of stuff. And like all this technology has been, you know, I wouldn't say beautifully designed, but it's been proven in different quadrants. Like, you know, you look at Google with TPUs, massive, huge exaflops of compute strapped together into machines that researchers are programming in Python in a notebook. That's huge. That's amazing. That's incredible. Right. It's incredible. And so you look at the technology that goes into that and the algorithms are actually quite general. And so lots of other hardware out there and lots of other teams out there don't have the sophistication

• 1:12:09Chris Lattner?

  or maybe the years working on it or the budget or whatever that Google does, right? And so they should be getting access to same algorithms, but they just don't have that, right? And so what Modular is doing is we're saying, cool, this is not research anymore. Like we've, we've built auto tuning in many systems. We've built programming languages, right? And so like have, have, you know, implemented C++ have implemented Swift, have implemented many of these things. And so, you know, this, it's hard, but it's not research. And you look at accelerators. Well, we know there's a bunch of different weird kind of accelerators, but they actually cluster together. Right. And you look at GPUs. Well, there's a couple of major vendors of GPUs and they maybe don't always get along, but their architectures are very similar.

• 1:12:52Chris Lattner?

  You look at CPUs. CPUs are still super important for the deployment side of things. And you see new architectures coming out from all the cloud providers and things like this, and they're all super important to the world, right? But they don't have the 30 years of development that the entrenched people do, right? And so what modular can do is we're saying, okay, all this complexity, like, it's not, it's not bad complexity. It's actually innovation, right? And so it's innovation that's happening and it's for good reasons. But I have sympathy for the poor software people, right? I mean, again, I'm generally a software person too. I love hardware. But software people want to build applications and products and solutions that scale over many years.

• 1:13:33Chris Lattner?

  They don't want to build a solution for one generation of hardware with one vendor's tools. Right. And because of this, they need something that scales with them. They need something that works on cloud and mobile, right? Because, you know, their product manager said, hey, I want it to be, have lower latency and it's better for personalization or whatever they decide, right? Products evolve. And so the challenge with the machine learning technology and the infrastructure that we have today in the industry is that it's all these point solutions. And because there are all these point solutions, it means that as your product evolves, you have to like switch different technology stacks or switch to a different vendor. And what that does is that slows down progress.

• 1:14:12Lex Fridman?

  So basically, a lot of the things we've developed in those little silos for machine learning tasks, you want to make that the first class citizen of a general purpose programming language that can then be compiled across all these kinds of hardware.

• 1:14:26Chris Lattner?

  Well, so it's not really about a programming language. I mean, the programming language is a component of the mission, right? And the mission is, are not literal, but our joking mission is to save the world from terrible AI software.

• 1:14:37Lex Fridman?

  Excellent.

• 1:14:39Chris Lattner?

  So, so, you know, if you look at this mission, you need a syntax. So that's, so yeah, she need a programming language, right? And, and like, we wouldn't have to build the programming language if one existed. Right? So if Python was already good enough, then cool, we would just used it, right? We're not just doing very large scale, expensive engineering projects for the sake of it. Like it's to solve a problem, right? It's also about accelerators. It's also about exotic numerics and float 16 and matrix multiplications and convolutions and like this, this kind of stuff. Within the stack, there are things like kernel fusion. It's a esoteric, but really important thing that leads to much better performance and much more general research hackability together.

• 1:15:24Lex Fridman?

  And that's enabled by the ASICs. That's enabled by certain hardware. So it's like, where's the dance between?

• 1:15:32Lex Fridman?

  I mean, there's several questions here, like, how do you add a piece of hardware to this stack?

• 1:15:36Chris Lattner?

  Yeah.

• 1:15:36Lex Fridman?

  If a new piece of, like, if I have this genius invention of a specialized accelerator.

• 1:15:42Chris Lattner?

  Yeah.

• 1:15:42Lex Fridman?

  How do I add that to the modular framework? And also, how does modular as a standard start to define the kind of hardware that should be developed?

• 1:15:52Chris Lattner?

  Yeah, so let me take a step back and talk about status quo. Okay. And so if you go back to TensorFlow one, PyTorch one, this kind of timeframe, and these have all evolved and gotten way more complicated. So let's go back to the glorious, simple days, right? These things basically were CPUs and CUDA. And so what you do is you say, go do a dense layer and a dense layer has a matrix multiplication in it, right? And so when you say that, you say, go do this big operation of matrix multiplication. And if it's on a GPU, kickoff CUDA kernel. If it's on a CPU, go do like an Intel algorithm or something like that with the Intel MK. Okay. Now, that's really cool if you're either Nvidia or Intel, right?

• 1:16:37Chris Lattner?

  But then more hardware comes in, right? And, and on one access, you have more hardware coming in. On the other hand, you have an explosion of innovation in AI. And so what happened with both TensorFlow and PyTorch is that the explosion of innovation in AI has led to, it's not just about matrix multiplication and convolution. These things have now like 2,000 different operators. And on the other hand, you have, I don't know how many pieces of hardware there are out there. It's a lot. Okay, it's, it's not, it's not even hundreds, it's probably thousands. Okay. And across all of edge and across like all, all the different things.

• 1:17:10Lex Fridman?

  That are used at scale.

• 1:17:11Chris Lattner?

  Yeah, exactly.

• 1:17:12Lex Fridman?

  I mean, it's not just like.

• 1:17:14Chris Lattner?

  AI is everywhere.

• 1:17:15Lex Fridman?

  Yeah, it's not a handful of TPU alternatives.

• 1:17:17Chris Lattner?

  Correct.

• 1:17:18Lex Fridman?

  It's, it's.

• 1:17:18Chris Lattner?

  It's every, every phone, often with many different.

• 1:17:21Lex Fridman?

  Right.

• 1:17:22Chris Lattner?

  Chips inside of it from different vendors from like it's AI is everywhere. It's a thing, right?

• 1:17:28Lex Fridman?

  Why are they all making their own chips? Like, why, why is everybody making their own thing?

• 1:17:33Chris Lattner?

  Uh, well, so because.

• 1:17:33Lex Fridman?

  Is that a good thing? For sure.

• 1:17:35Chris Lattner?

  So Chris's philosophy on hardware.

• 1:17:37Lex Fridman?

  Yeah.

• 1:17:37Chris Lattner?

  Right, so my philosophy is that there isn't one right solution. Right, and so I think that, again, we're at the end of Moore's law. Specialization happens.

• 1:17:46Lex Fridman?

  Yeah.

• 1:17:47Chris Lattner?

  If you, if you're building, if you're training GPT five, you want some crazy supercomputer data center thingy. If you're making a smart camera that runs on batteries, you want something that looks very different. If you're building a phone, you want something that looks very different. If you have something like a laptop, you want something that looks maybe similar, but a different scale. Right, and so AI ends up touching all of our lives, robotics, right? And like lots of different things. And so as you look into this, these have different power envelopes. There's different trade offs in terms of the algorithms. There's new innovations and sparsity and other data formats and things like that. And so hardware innovation, I think, is a really good thing. Right, and what I'm interested in is unlocking that innovation.

• 1:18:30Chris Lattner?

  There's also like analog and quantum and like all the, the, the really weird stuff, right? And so if somebody can come up with a chip that uses analog computing and it's 100x more power efficient, think what that would mean in terms of the daily impact on the products we use. That'd be huge. Now, if you're building an analog computer, you may not be a compiler specialist.

• 1:18:52Lex Fridman?

  Right.

• 1:18:52Chris Lattner?

  These are different skillsets, right? And so you can hire some compiler people if you're running a big company, maybe. But it turns out, these are really like exotic new generation of compilers. Like this, this is a different thing, right? And so if you, if you take a step back out and come back to what is the status quo? Status quo is that. If you're Intel or you're Nvidia, you continue, you keep up with the industry and you chase and okay, there's 1900 now, there's 2000 now, there's 2100 and you have a huge team of people that are like trying to keep up and tune and optimize. And even when one of the big guys comes out with a new generation of their chip, they have to go back and rewrite all these things, right? So really, it's only powered by having hundreds of people that are all like frantically trying to keep up. And what that does

• 1:19:35Chris Lattner?

  is that keeps out the little guys. And sometimes the not so little guys, the big guys that are also just not, not in those dominant positions. And so, and so what has been happening, and so a lot of, you talk about the rise of new exotic crazy accelerators, is people have been trying to turn this from a, let's go write lots of special kernels problem into a compiler problem. And so we and I contributed to this as well. We initially went into a like, let's go make this compiler problem phase, let's call it. And much of the industry is still in this phase, by the way. So it's, I wouldn't say this phase is over. And so the idea is to say, look, okay, what a compiler does is it provides a much more general, extensible, hackable interface for dealing with the general

• 1:20:20Chris Lattner?

  case, right? And so within machine learning algorithms, for example, people figured out that, hey, if I do a matrix multiplication, I do a ReLU, right? The classic activation function, it is way faster to do one pass over the data and then do the ReLU on the output where I'm writing out the data, because ReLU is just a maximum operation, right? Maximal zero. And so it's an amazing optimization. Take Matmul, ReLU, squished together in one operation. Now I have Matmul ReLU. Well, wait a second. If I do that now, I just went from having, you know, two operators to three. But now I figure out, okay, well, there's a lot of activation functions. What

• 1:21:01Chris Lattner?

  about leaky ReLU? What about, like, like a million things that are out there, right? And so as I start fusing these in, now I get permutations of all these algorithms, right? And so what the compiler people said is they said, hey, well, that's cool. Well, I will go enumerate all the algorithms and I will enumerate all the pairs and I will actually generate a kernel for you. And I think that this has been very, very useful for the industry. This is one of the things that powers Google TPUs, PyTorch 2's, like rolling out really cool compiler stuff with Triton, this other technology and things like this. And so the compiler people are kind of coming into their fore and saying like, awesome, this is a compiler problem, we'll compiler it. Here's the problem. Not everybody's compiler person. I love compiler people, trust me,

• 1:21:43Chris Lattner?

  right? But not everybody can or should be a compiler person. Turns out that there are people that know analog computers really well, or they know some GPU internal architecture thing really well, or they know some crazy sparse numeric interesting algorithm that is the cusp of research, but they're not compiler people. And so, one of the challenges with this new wave of technology trying to turn everything into a compiler is, again, is excluded a ton of people. And so you look at what does Mojo do? What does the modular stack do? This brings programmability back into this world. Like it enables, I wouldn't say normal people, but like a new, you know, a different kind of delightful nerd that cares about numerics, or cares about hardware, cares about things like this, to be able

• 1:22:25Chris Lattner?

  to express that in the stack and extend the stack without having to actually go hack the compiler itself.

• 1:22:30Lex Fridman?

  So extend the stack on the, on the algorithm side?

• 1:22:33Chris Lattner?

  Yeah.

• 1:22:34Lex Fridman?

  And then on the hardware side?

• 1:22:36Chris Lattner?

  Yeah. So again, go back to like the simplest example of int, right? And so what both Swift and Mojo and other things like this did is we said, okay, pull magic out of the compiler and put it in the standard library. Right? And so what modular is doing with the engine that we're providing and like this, this very deep technology stack, right? Which goes into heterogeneous runtimes and like a whole bunch of really cool, really cool things. This, this whole stack allows that stack to be extended and hacked and changed by researchers and by hardware innovators and by people who know things that we don't know. Cause you know, modular has some smart people, but we don't have all the smart people, it turns out.

• 1:23:14Lex Fridman?

  What are heterogeneous runtimes?

• 1:23:15Chris Lattner?

  Yeah. So, uh, so what is heterogeneous, right? So heterogeneous just means many different kinds of things together. And so the simple, simplest example you might come up with is a CPU and a GPU. And so it's a simple heterogeneous computer to say, I will run my data loading and preprocessing and other algorithms on the CPU. And then once I get it into the right shape, I shove it into the GPU. I do a lot of matrix multiplications and convolutions and things like this. And then I get it back out and I do some reductions and summaries and they shove it across the wire to, across the network to another machine. Right? And so you've got now what are effectively two computers, a CPU and a GPU, talking to each other, working together in a heterogeneous system.

• 1:23:59Chris Lattner?

  But that was 10 years ago. Okay, you look at a modern cellphone. Modern cellphone, you've got CPUs. And they're not just CPUs. There's like big dot little CPUs. And so there's multiple different kinds of CPUs that are working together. They're multi-core. You've got GPUs. You've got neural network accelerators. You got dedicated hardware blocks for for media. So for video decode and JPEG decode and things like this. And so you've got this massively complicated system. And this isn't just cell phones. Every laptop these days is doing the same thing. And all these blocks can run at the same time and need to be choreographed. Right. And so, again, one of the cool things about machine learning is it's moving things to like data flow graphs

• 1:24:42Chris Lattner?

  and higher level of abstractions and tensors and these things that it doesn't specify. Here's how to do the algorithm. It gives the system a lot more flexibility in terms of how to translate or map or compile it onto the system that you have. And so what you need, you know, the bottomest part of the layer there is a way for all these devices to talk to each other. And so this is one thing that, you know, I'm very passionate about. I'm, I mean, you know, I'm a nerd, but, um, but all these, all these machines and all these systems are effectively parallel computers running at the same time, sending messages to each other. And so they're all fully asynchronous. Well, this is actually a small version of the same problem we have in a data center. Right in a data center, you now have multiple different machines, sometimes very specialized,

• 1:25:25Chris Lattner?

  sometimes with GPUs or TPUs in one node and sometimes with disks in other nodes. And so you get a much larger scale heterogeneous computer. And so what ends up happening is you have this like multi-layer abstraction of hierarchical parallelism, hierarchical asynchronous communication. And making that, again, the enemy, my enemy is complexity. By getting that away from being different specialized systems at every different part of the stack and having more consistency and uniformity. I think we can help lift the world and make it much simpler and actually get used.

• 1:25:57Lex Fridman?

  But how do you leverage like the strengths of the different specialized systems? So looking inside the smartphone.

• 1:26:02Chris Lattner?

  Yeah.

• 1:26:03Lex Fridman?

  Like there's, there's what, like, I don't know, five, six computers essentially inside the smartphone. How do you? Without trying to minimize the explicit, making it explicit which which computer is supposed to be used for which operation.

• 1:26:18Chris Lattner?

  Yeah, so there's, there's a pretty well-known algorithm and what you're doing is you're looking at two, two factors. You're looking at the factor of sending data from one thing to another, right? Because it takes time to get it from that side of the chip to that side of the chip and things like this. And then you're looking at what is the time it takes to do an operation on a particular block. So take CPUs. CPUs are fully general. They can do anything, right? But then you have a neural net accelerator that's really good at matrix multiplications. Okay. And so you say, okay, well, if my workload is all matrix multiplications, I start up, I send the data over to the neural net thing, it goes and does matrix multiplications. When it's done, it sends me back the result. All is good. Right? And so the simplest thing is just saying, do matrix, do matrix operations over there. Right? But then you realize you

• 1:27:03Chris Lattner?

  get a little bit more complicated because you can do matrix multiplications on a GPU, you can do it on a neural net accelerator, you can do it on CPU, and they'll have different trade-offs and costs. And it's not just matrix multiplication. And so what you actually look at is you look at, I have generally a graph of compute. I want to do a partitioning. I want to look at the communication, the bissection bandwidth and like the overhead and the sending of all these different things and, and build a model for this and then decide, okay, it's an optimization problem of where do I want to place this compute?

• 1:27:35Lex Fridman?

  So the old school theoretical computer science problem of scheduling. And then how does presumably it's possible to somehow magically include autotune into this?

• 1:27:48Chris Lattner?

  Absolutely. So, I mean, in my opinion, this is an opinion. This is not, not everybody would agree with this, but in my opinion, the world benefits from simple and predictable systems at the bottom that you can control. But then, once you have a predictable execution layer, you can build lots of different policies on top of it. Right? And so one policy can be that the human programmer says, do that here, do that here, do that here, do that here, and like fully manually controls everything. And the system should just do it, right? Then you quickly get in the mode of like, I don't want to have to tell it to do it.

• 1:28:23Lex Fridman?

  Yeah.

• 1:28:23Chris Lattner?

  And so the next logical step that people typically take is they write some terrible heuristic. Oh, if it's a major small location, do it over there. Or if it's floating point, do it on the GPU. If it's integer, do it on the CPU, like something like that, right? And, and then you, you then get into this mode of like, people care more and more and more. And you say, okay, well, let's actually like make the heuristic better. Let's get into auto-tune. Let's actually do a search of the space to decide, well, what is actually better? Right? Well, then you get into this problem where you realize this is not a small space. This is a many dimensional, hyper dimensional space that you cannot exhaustively search. So do you know of any algorithms that are good at searching very complicated spaces for?

• 1:29:08Lex Fridman?

  Don't tell me you're going to turn this into a machine learning problem.

• 1:29:11Chris Lattner?

  So then you turn into a machine learning problem. And then you have a space of genetic algorithms and reinforcement learning and like all, all these, all these.

• 1:29:17Lex Fridman?

  But can you include that into the stack, into the, into the module stack?

• 1:29:21Chris Lattner?

  Yeah, yeah.

• 1:29:22Lex Fridman?

  And where's it sit? Where does it live? Is it a separate thing or is it part of the compilation?

• 1:29:26Chris Lattner?

  So you start from simple unpredictable models. And so you can have full control and you can have coarse grain knobs that like nudge, nudge systems. So you don't have to do this. But if you really care about getting the best, you know, the last ounce out of a problem, then you can use additional tools. And there are the cool things is you don't want to do this every time you run a model. You want to figure out the right answer and then cache it. And once you do that, you can get, you can say, okay, cool. Well, I can get up and running very quickly. I can get good execution out of my system. I can decide if something's important. And if it's important, I can go throw a bunch of machines at it and do a big expensive search over the space using whatever technique I feel like it's really up to the problem. And then when I get the right answer, cool, I can just start using it.

• 1:30:11Chris Lattner?

  And so you can get out of this this trade off between, okay, am I going to like spend forever doing a thing? Or do I get up and running quickly? And it's a quality result like these? These are actually not in contention with each other if the system's designed to scale.

• 1:30:25Lex Fridman?

  You started and did a little bit of a whirlwind overview of how you get 35,000 X speed up or more over Python. Jeremy Howard did a really great presentation about sort of the basic, like, look at the code, here's how you get the speed up. Like you said, that's something we could probably developers can do for their own code to see how you can get these gigantic speed up. But can you maybe speak to the machine learning task in general? How do you how do you make some of this code fast? Some specifics like what would you say is the main bottleneck for machine learning tasks? So are we talking about Matmul, matrix multiplication? How do you make that fast?

• 1:31:08Chris Lattner?

  So I mean, if you just look at the Python problem, right? You can say, how do I make Python faster? And there's been a lot of people that have been working on the, okay, how do I make Python 2X faster, 10X faster, or something like that? Right? And there've been a ton of projects in that vein, right? Mojo started from the, what can the hardware do? Like, what is the limit of physics? What is the speed of light? What is it? Like, how fast can this thing go? And then how do I express that? Yeah. Right. And so it wasn't, it wasn't anchored relatively on make Python a little bit faster. It's saying, cool, I know what the hardware can do, let's unlock that. Right now, when you

• 1:31:43Lex Fridman?

  And just say how gutsy that is to be in the meeting and as opposed to trying to see how do we get the improvement? It's like, what can the physics do?

• 1:31:51Chris Lattner?

  I mean, maybe I'm a special kind of nerd, but you look at that, what is the limit of physics? How fast can these things go? Right? When you start looking at that, typically, it ends up being a memory problem. Right? And so today, particularly with these specialized accelerators, the problem is that you can do a lot of math within them, but you get bottleneck sending data back and forth to memory, whether it be local memory, or distant memory, or disk, or whatever it is. And and that that bottleneck particularly is the training sizes get large as you start doing tons of inferences all over the place. Like, that becomes a huge bottleneck for people, right? So again, what happened is we went through a phase of many years where people took the special

• 1:32:34Chris Lattner?

  case and hand tuned it and tweaked it and tricked it out and they knew exactly how the hardware worked and they knew the model and they made it, they made it fast. Didn't generalize. And so you can make, you know, Resonate 50 or some, or AlexNet or something, Inception V1, like you can, you can do that, right? Because the models are small, they fit in your head, right? But as the models get bigger, more complicated, as the machines get more complicated, it stops working, right? And so this is where things like kernel fusion come in. So what is kernel fusion? This is this idea of saying, let's avoid going to memory and let's do that by building a new hybrid kernel and a numerical algorithm that actually keeps things in the accelerator instead of having

• 1:33:16Chris Lattner?

  to write all the way out to memory. What's happened with, with these accelerators now is you get multiple levels of memory, like in a GPU, for example, you'll have global memory and local memory and like all these things. If you zoom way into how hardware works, the register file is actually a memory. So the registers are like an L0 cache. And so a lot of taking advantage of the hardware ends up being fully utilizing the full power in all of its capability. And this has a number of problems, right? One of which is, again, the complexity disaster, right? There's too much hardware. Even if you just say, let's look at the chips from one line of vendor like

• 1:33:57Chris Lattner?

  Apple or Intel or whatever it is, each version of the chip comes out with new features and they change things so that it takes more time or less time to do different things. And you can't rewrite all the software whenever a new chip comes out, right? And so this is where you need a much more scalable approach. And this is what Mojo and what the modular stack provides is it provides this infrastructure and the system for factoring all this complexity and then allowing people to express algorithms. You talk about auto tuning, for example, express algorithms in a more portable way so that when a new chip comes out, you have, you don't have to rewrite it all. So to me, like, you know, I kind of joke, like, what is a compiler? Well, there's many ways to explain that. You convert thing A into thing B and you convert source code to machine code.

• 1:34:41Chris Lattner?

  Like, you can talk about many, many things that compilers do. But to me, it's about a bag of tricks. It's about a system and a framework that you can hang complexity. It's a system that can then generalize and it can work on problems that are bigger than in one human's head. Right? And so what that means, what a good stack and what the modular stack provides is the ability to walk up to it with a new problem and it'll generally work quite well. And that's something that a lot of machine learning infrastructure and tools and technologies don't have. Typical state of the art today is you walk up, particularly if you're deploying. If you walk up with a new model, you try to push it through the converter and the converter crashes. That's crazy.

• 1:35:25Chris Lattner?

  The state of ML tooling today is not anything that a C programmer would ever accept. Right? And it's always been this kind of flaky set of tooling. It's never been integrated well and it's been, uh, never worked together and because it's not designed together. It's built by different teams. It's built by different hardware vendors. It's built by different systems. It's built by different internet companies that are trying to solve their, their problems. Right? And so that means that we get this fragmented, terrible mess of complexity.

• 1:35:53Lex Fridman?

  So, I mean, the specifics of, Jeremy showed this. There's the vectorize function, which I guess is built in to the, into Mojo.

• 1:36:04Chris Lattner?

  Vectorize, as he showed, is built into the library.

• 1:36:07Lex Fridman?

  Into the library, instead of library. Vectorize, paralyze, which vectorizes more low level, paralyze is higher level. There's the tiling thing, which is how he demonstrated the auto-tune, I think.

• 1:36:21Chris Lattner?

  So, so think, think about this in like levels, hierarchical levels of abstraction. Right? And so at the very, if you zoom all the way into a computer problem, you have one floating point number. Right? And so then you say, okay, I want to be, I can do things one at a time in an interpreter. It's pretty slow, right? So I can get to doing one, one at a time in a compiler. I can see that I can get to doing four or eight or 16 at a time with vectors. That's called vectorization. Then you can say, hey, I have a whole bunch of different, you know, what, what a multi-core computer is, is this basically a bunch of computers? Right? So they're all independent computers that can talk to each other and they share memory.

• 1:37:02Chris Lattner?

  And so now what parallelize does, it says, okay, run multiple instances of this on different computers. And now they can all work together on a problem. Right? And so what you're doing is you're saying, keep going out to the next level out. And, and as you do that, how do I take advantage of this? So tiling is a memory optimization. Right? It says, okay, let's make sure that we're keeping the data close to the compute part of the problem. Instead of sending it all back and forth through memory every, every time I load a block.

• 1:37:30Lex Fridman?

  And the size of the block size is, is all, that's how you get to the auto tune to make sure it's optimized.

• 1:37:35Chris Lattner?

  Yeah. Well, so all of these, the details matter so much to get good performance. This is another funny thing about machine learning and high performance computing that is very different than C compilers we all grew up, grew up with where, you know, if you get a new version of GCC or a new version of clang or something like that, you know, maybe something will go 1% faster. Right? And so compiler engineers will work really, really, really hard to get half a percent out of your C code, something like that. But when you're talking about an accelerator or an AI application, or you're talking about these kinds of algorithms. And these are things people used to write in Fortran, for example, right? If you get it wrong, it's not 5% or 1%. It could be 2X or 10X. Right?

• 1:38:20Chris Lattner?

  If you think about it, you really want to make use of the full memory you have, the cache, for example. But if you use too much space, it doesn't fit in the cache. Now you're going to be thrashing all the way back out to main memory. And these can be 2X, 10X, major performance differences. And so this is where getting these magic numbers and these things right is really actually quite important.

• 1:38:41Lex Fridman?

  So you mentioned that Moji is a superset of Python.

• 1:38:47Lex Fridman?

  Can you run Python code as if it's Mojo code?

• 1:38:54Chris Lattner?

  Yes, yes. So, and so, and this has two sides of it. So Mojo is not done yet. So I'll give you disclaimer. Mojo is not done yet, but already we see people that take small pieces of Python code, move it over. They don't change it and you can get 12x speedups. Like somebody was just tweeting about that yesterday, which is pretty cool, right? And again, interpreters, compilers, right? And so without changing any code, without also, this is not with, this is not jit compiling or doing anything fancy. This is just basic stuff, move it straight over. Now Mojo will continue to grow out and as it grows out, it will have more and more and more features and our North Star is to be a full superset of Python. And so you can bring over basically arbitrary Python code and have it just work.

• 1:39:38Chris Lattner?

  And it may not always be 12x faster, but, but it should be at least as fast and way faster in many cases is the goal, right? Now it'll take time to do that and Python is a complicated language. There's not just the obvious things, but there's also non-obvious things that are complicated. Like we have to be able to talk to C Python packages, to talk to the C API. And there's a bunch of, there's a bunch of pieces to.

• 1:40:02Lex Fridman?

  So you have to, I mean, just to make explicit, the obvious may not be so obvious until you think about it. So, you know, to run Python code, that means you have to run all the Python packages and libraries.

• 1:40:14Chris Lattner?

  Yeah, yeah.

• 1:40:15Lex Fridman?

  So that means what? What's the relationship between Mojo and C Python, the interpreter that's presumably would be tasked with getting those packages to work?

• 1:40:27Chris Lattner?

  Yep. So in the fullness of time, Mojo will solve for all the problems and you'll be able to move Python packages over and run them in Mojo.

• 1:40:35Lex Fridman?

  Without the C Python?

• 1:40:37Chris Lattner?

  Without C Python someday. Yeah. Right. It's not today, but someday. And that'll be a beautiful day because then you'll get a whole bunch of advantages and you'll get massive speedups and things like this.

• 1:40:46Lex Fridman?

  But you can do that one at a time, right? You can move packages one at a time.

• 1:40:49Chris Lattner?

  Exactly. But, but we're not willing to wait for that. Python is too important. The ecosystem is too broad. We want to both be able to build Mojo out. We also want to do it the right way without time, like without intense time pressure. We're obviously moving fast, but, and so what we do is we say, okay, well, let's make it so you can import an arbitrary existing package.

• 1:41:12Chris Lattner?

  Arbitrary, including like you write your own on your local disk, whatever. It's not, it's not like a standard, like an arbitrary package and import that using C. Python, because C Python already runs all the packages, right? And so what we do is we built an integration layer where we can actually use C. Python, again, I'm practical and to actually just load and use all the existing packages as they are. The downside of that is you don't get the benefits of Mojo for those packages. Right? And so they'll run as fast as they do in the traditional C. Python way. But what that does is that gives you an incremental migration path. And so if you say, hey, cool. Well, here's a, you know, the Python ecosystem is vast. I want all of it to just work, but there's certain things that are really important.

• 1:41:55Chris Lattner?

  And so if I, if I'm doing weather forecasting or something, well, I want to be able to load all the data. I want to be able to work with it. And then I have my own crazy algorithm inside of it. Well, normally I'd write that in C++. If I can write in Mojo and have one system that scales, well, that's way easier to work with.

• 1:42:12Lex Fridman?

  Is it hard to do that, to have that layer that's running C. Python? Because is there some communication back and forth?

• 1:42:20Chris Lattner?

  Yes, it's complicated. I mean, this, this is what we do. So, I mean, we make it look easy, but it is, it is complicated. But what, what we do is we use the C. Python existing interpreter. So it's running its own byte codes and that's how it provides full compatibility. And then it gives us C. Python objects and we use those objects as is. And so that way we're fully compatible with all the C. Python objects and all the, the, you know, it's not just the Python part. It's also the C packages, the C libraries underneath them because they're often hybrid. And so we can fully run and we're fully compatible with all that. And the way we do that is that we have to play by the rules, right? And so we, we keep objects in that representation when they're coming from that world.

• 1:43:02Lex Fridman?

  What's the representation that's being used?

• 1:43:04Chris Lattner?

  In memory. We'd have to know a lot about how the C. Python interpreter works. It has, for example, reference counting, but also different rules on how to pass pointers around and things like this, super low level Fidley. And it's not like Python, it's like how the interpreter works. Okay. And so that gets all exposed out and then you have to define wrappers around the low level C code. Right? And so. What this means is you have to know not only C, which is a different world from Python, obviously. Not only Python.

• 1:43:35Lex Fridman?

  But the wrappers.

• 1:43:36Chris Lattner?

  But the interpreter and the wrappers and the implementation details and the conventions. And it's just this really complicated mess. And when you do that, now suddenly you have a debugger that debugs Python. They can't step into C code. So you have this two world problem. Right. And so by pulling this all into Mojo, what you get is you get one world. You get the ability to say, cool, I have untyped, very dynamic, beautiful, simple code. Okay, I care about performance for whatever reason, right? There's lots of reasons you could, you, you might care. And so then you add types, you can parallelize things, you can vectorize things. You can use these techniques, which are general techniques to solve a problem. And then you can do that by staying in the system. And if you're, you have that, that one Python package is really important to you.

• 1:44:21Chris Lattner?

  You can move it to Mojo. You get massive performance benefits on that and other, other advantages. You know, if you like sack types, it's nice if they're enforced. Some people like that, right? Rather than being hints. So there's other advantages too. And then, um, and then you can do that incrementally as you go.

• 1:44:40Lex Fridman?

  So one different perspective on this will be, um, why Mojo instead of making C Python faster, redesigning C Python?

• 1:44:50Chris Lattner?

  Yeah. Well, I mean, you could argue Mojo is redesigning C Python. But, but, uh, but why not make C Python faster and better and other things like that? There's lots of people working on that. So actually there's a team at Microsoft that is really improving. I think C Python 3.11 came out in October or something like that. And it was, you know, 15% faster, 20% faster across the board, which is pretty huge, given how mature Python is and things like this. And so, um, that's awesome. I love it.

• 1:45:22Chris Lattner?

  Doesn't run GPU. It doesn't do AI stuff like it doesn't do vectors, doesn't do things. Um, 20% is good, 35,000 times is better. Right? So like they're, they're, they're, they're definitely, I'm a huge fan of that work, by the way. And it composes well with what we're doing. And so it's not, it's not like we're fighting or anything like that. It's actually just general, it's goodness for the world, but it's just a different path. Right? And again, we're not working forwards from making Python a little bit better. We're working backwards from what is the limit of physics.

• 1:45:52Lex Fridman?

  What's the process of, um, reporting Python code to Mojo? Is there, um, what's involved in that? In the process, is there tooling for that?

• 1:46:02Chris Lattner?

  Not yet. So, um, we're missing some basic features right now. And so we're continuing to drop out new features like on a weekly basis. But, um, you know, at the fullness of time, give us a year and a half, maybe two years.

• 1:46:15Lex Fridman?

  Is it an automatable process?

• 1:46:17Chris Lattner?

  So when, when we're ready, it will be very automatable. Yes.

• 1:46:21Lex Fridman?

  Is it automatable, like, is it possible to automate? In the general case, the Python to Mojo conversion?

• 1:46:28Chris Lattner?

  Yeah.

• 1:46:28Lex Fridman?

  You're saying it's possible?

• 1:46:30Chris Lattner?

  Well, so, and this is why, I mean, among other reasons why we use tabs.

• 1:46:34Lex Fridman?

  Yes.

• 1:46:35Chris Lattner?

  Right? So first of all, by being a superset.

• 1:46:37Lex Fridman?

  Yep.

• 1:46:38Chris Lattner?

  You, it's like C versus C++. Can you move C code to C++?

• 1:46:43Lex Fridman?

  Yes.

• 1:46:43Chris Lattner?

  Yeah. Right? And you move, you, you can move C code to C++ and, uh, then you can adopt classes. You can add, adopt templates, you can adopt other references or whatever C++ features you want. After you move C to C code to C++ like you can't use templates in C. Right? And so if you leave it to C, fine, you can't use the cool features, but it still works. Right? And C and C++ could work together. And so that's the analogy, right? Now, um, here, right, you, you, you, uh, there, there's not a, Python is bad and Mojo is good.

• 1:47:17Chris Lattner?

  Right, Mojo just gives you superpowers, right? And so if you want to stay with Python, that's cool. But the tooling should be actually very beautiful and simple because we're doing the hard work of defining a superset.

• 1:47:30Lex Fridman?

  Right, so you're, right, so there's several things to say there, but also the conversion tooling should probably give you hints as to like how you can improve the code.

• 1:47:38Chris Lattner?

  And then, yeah, exactly. Once you're in the new world, then you can build all kinds of cool tools to say like, hey, should you adopt this feature? Or like, and we haven't built those tools yet, but I fully expect those tools will exist. And then you can like, you know, quote, quote, modernize your code or however you want to look at it, right? So, I mean, one of the things that I think is really interesting about Mojo is that there have been a lot of projects to improve Python over the years. Everything from, you know, getting Python run on the Java virtual machine. PyPy, which is a Gitch compiler, there's tons of these projects out there that have been working on improving Python in various ways. They fall into one or two camps. So PyPy is a great example of a camp that is trying to be compatible with Python. Even there, not really, it doesn't work with all the C packages and stuff like that.

• 1:48:23Chris Lattner?

  But, but they're trying to be compatible with Python. There's also another category of these things where they're saying, well, Python is too complicated. And, you know, I'm gonna cheat on the edges and it, you know, like integers in Python can be an arbitrary sized integer. If you care about it fitting in a, going fast in a register in a computer, that's really annoying, right? And so you can, you can choose to pass on that, right? You can say, well, people don't really use big integers that often, therefore I'm gonna just not do it and it'll be fine. Not, not a Python superset. Or you can do the hard thing and say, okay, this is Python. You can't be a superset of Python without being a superset of Python.

• 1:49:04Chris Lattner?

  And that's a really hard technical problem, but it's, in my opinion, worth it, right? And it's worth it because it's not about any one package, it's about this ecosystem. It's about what Python means for the world and it also means we don't want to repeat the Python two to Python three transition. Like, we want, we want people to be able to adopt this stuff quickly. And so by doing that work, we can help lift people.

• 1:49:27Lex Fridman?

  Yeah, the challenge, it's really interesting, technical philosophical challenge of really making a language a superset of another language.

• 1:49:37Lex Fridman?

  It's breaking my brain a little bit.

• 1:49:39Chris Lattner?

  Well, it paints you into corners. So again, I'm very happy with Python. So joking, all joking aside, I think that the annotation thing is not the actual important part of the problem.

• 1:49:49Lex Fridman?

  Yes.

• 1:49:50Chris Lattner?

  Right. But the, the fact that Python has amazing dynamic meta programming features and they translate to beautiful static meta programming features, I think is profound. I think that's huge, right? And so Python, I've talked with Guido about this. It's, it's like, it was not designed to do what we're doing. That was not the reason they built it this way, but because they really cared and they were very thoughtful about how they designed the language, it scales very elegantly in the space. But if you look at other languages, for example, C and C++ right? If you're building a superset, you get stuck with the design decisions of the subset. Right? And so, you know, C++ is way more complicated because of C and the legacy than

• 1:50:33Chris Lattner?

  it would have been if they would have theoretically designed a from scratch thing. And there's lots of people right now that are trying to make C++ better and re-simplify C++ is gonna be great. We'll just change all the syntax. But if you do that, now suddenly you have zero packages. You don't have compatibility.

• 1:50:49Lex Fridman?

  So what are the, if you could just linger on that, what are the biggest challenges of keeping that superset status? What are the things you're struggling with? Is it all boiled down to having a big integer?

• 1:51:03Chris Lattner?

  No, I mean, it's

• 1:51:04Lex Fridman?

  What are the other things?

• 1:51:05Chris Lattner?

  Usually it's the, it's a long tail of weird things. So let me give you a war story.

• 1:51:10Lex Fridman?

  Okay.

• 1:51:10Chris Lattner?

  So war story in the space is you go way back in time, project I worked on is called Clang. Clang, what it is, is a C C++ parser, right? And when I started working on Clang, it must've been like 2006 or something, 2007, 2006, when I first started working on it, right? It's funny how time flies.

• 1:51:33Lex Fridman?

  Yeah.

• 1:51:33Chris Lattner?

  The, I started that project and I'm like, okay, well, I want to build a C parser, C++ parser for LVM. It's gonna be, the GCC is yucky. You know, this is me in earlier times. It's yucky. It's unprincipled. It has all these weird features, like all these bugs, like. It's yucky. So I'm going to build a standard compliant C and C plus parser. It's gonna be beautiful. It'll be amazing, well engineered, all the cool things an engineer wants to do. And so I started implementing and building it out and building it out and building it out. And then I got to include standard I O dot H. And all of the headers in the world use all the GCC stuff.

• 1:52:16Chris Lattner?

  Okay, this and so again, come back away from theory, back to reality, right? I had, I was at a fork in the road. I could have built an amazingly beautiful academic thing that nobody would ever use. Or I could say, well, it's yucky in various ways. All these design mistakes, accents of history, the legacy at that point GCC was like over 20 years old. Which, by the way, now LVM's over 20 years old. So it's funny how time catches up to you, right? And so you say, okay, well, what is easier, right? I mean, as an engineer, it's, it's actually much easier for me to go implement

• 1:52:57Chris Lattner?

  long tail compatibility weird features, even if they're distasteful and just do the hard work and like figure it out, reverse engineer, understand what it is, write a bunch of test cases, like try to understand the behavior. It's way easier to do all that work as an engineer than it is to go talk to all C programmers and get, argue with them and try to get them to rewrite their code.

• 1:53:16Lex Fridman?

  Yeah.

• 1:53:17Chris Lattner?

  Right? And

• 1:53:18Lex Fridman?

  Cause that breaks a lot more things.

• 1:53:20Chris Lattner?

  Yeah. And you have realities like nobody actually understands how the code works. Because it was written by the person who quit 10 years ago. Right? And so this, this software is kind of frustrating that way, but it's, that's how the world works.

• 1:53:36Lex Fridman?

  Yeah, unfortunately, it can never be this perfect, beautiful thing.

• 1:53:41Chris Lattner?

  Well, there, there are occasions in which you get to build, like, you know, you invent a new data structure or something like that, or there's this beautiful algorithm that's just like, makes you super happy. And I, I love that moment, but, but when you're working with people and you're working with code and dusty deck code bases and things like this, right? It's not about what's theoretically beautiful. It's about what's practical, what's real, what people will actually use. And I don't meet a lot of people that say, I want to rewrite all my code. Just for the sake of it.

• 1:54:10Lex Fridman?

  By the way, there could be interesting possibilities and we'll probably talk about it where AI can help rewrite some code. That might be farther out future, but it's a really interesting one. How that could create more, be a tool in the battle against this monster of complexity that you mentioned.

• 1:54:27Chris Lattner?

  Yeah.

• 1:54:30Lex Fridman?

  You mentioned Guido, the benevolent dictator for life of Python. What does he think about Mojo? Have you talked to him much about it?

• 1:54:38Chris Lattner?

  I have talked with him about it. He found it very interesting. We actually talked with Guido before it launched and so he was aware of it before it went public. I have a ton of respect for Guido for a bunch of different reasons. You talk about Walrus operator and like Guido is pretty amazing in terms of steering such a huge and diverse community and like driving it forward. And I think Python is what it is, thanks to him. And so to me, it was really important, starting to work on Mojo, to get his feedback and get his input and get his eyes on this. Right now, a lot of what Guido was, is, was and is, I think, concerned about is, have we not fragmented the community?

• 1:55:21Lex Fridman?

  Yeah.

• 1:55:21Chris Lattner?

  We don't want a Python 2 to Python 3 thing. Like, that was, that was really painful for everybody involved. And so we spent quite a bit of time talking about that and some of the tricks I learned from Swift, for example. So in the migration from Swift, we managed to like, not just convert Objective C into a slightly prettier Objective C, which we did. We then converted, not entirely, but almost an entire community to completely different language. Right? And so there's a bunch of tricks that you learn along the way that are directly relevant to what we do. And so this is where, for example, the leverage C Python while bringing up the new thing. Like, that, that approach is, I think, proven and then comes from experience. And so Guido was very interested in, like, okay, cool.

• 1:56:05Chris Lattner?

  Like, I think that Python is really his legacy. It's his baby. I have tons of, tons of respect for that. Incidentally, I see Mojo as a member of the Python family. I'm not trying to take Python away from Guido and from the Python community.

• 1:56:19Chris Lattner?

  And so to me, it's really important that we're a good member of that community. And so yeah, I think that, again, you would have to ask Guido this, but I think that he was very interested in this notion of like, cool, Python gets beaten up for being slow.

• 1:56:33Chris Lattner?

  Maybe there's a path out of that.

• 1:56:36Chris Lattner?

  Right? And that, you know, if the future is Python, right? I mean, look, look at the, the, the far outside

• 1:56:45Chris Lattner?

  case on this, right? And I'm not saying this is Guido's perspective, but you know, there's this path of saying like, okay, well, suddenly Python can suddenly go all the places it's never been able to go before. Right? And that means that Python can go even further and can have even more impact on the world.

• 1:57:00Lex Fridman?

  So in some sense, mojo could be seen as Python 4.0.

• 1:57:06Chris Lattner?

  I would not say that. I think that would drive a lot of people really crazy.

• 1:57:09Lex Fridman?

  Because of the PTSD of the 3.0, 2.0.

• 1:57:12Chris Lattner?

  I'm willing to annoy people about Emacs versus Vim or about tab versus spaces.

• 1:57:15Lex Fridman?

  Not that one.

• 1:57:16Chris Lattner?

  I don't know. That might be a little bit far even for me. Like my, my skin may not be that thick.

• 1:57:20Lex Fridman?

  But the, the point is the step to it being a superset and allowing all of these capabilities, I think, is the evolution of a language. It feels like an evolution of a language. So he, he's interested by the ideas that you're playing with, but also concerned about the fragmentation. So how, what are the ideas you've learned? What are you thinking about? How do we avoid fragmenting the community where the, the Pythonistas and the,

• 1:57:47Lex Fridman?

  I don't know what to call the mojo people.

• 1:57:50Chris Lattner?

  Magicians.

• 1:57:51Lex Fridman?

  Magicians. I like it. Can coexist happily and, and share code and basically just have these big code bases that are using C Python and more and more moving towards mojo.

• 1:58:04Chris Lattner?

  Well, so again, these are lessons I learned from Swift and, and here we face very similar problems, right? And Swift, you have Objective C, super dynamic.

• 1:58:14Chris Lattner?

  They're very different syntax. Right? But you're talking to people who have large scale code bases. I mean, Apple's got the biggest, largest scale code base of Objective C code, right? And so, you know, none of the companies, none of the iOS developers, none of the other developers want to rewrite everything all at once. And so you want to be able to adopt things piece at a time. And so a thing that I found that worked very well in the Swift community was saying, okay, cool. And this is when Swift was very young and she said, okay, you have a million line of code Objective C app. Don't rewrite it all. But when you implement a new feature, go implement that new class. Using Swift, right? And so now this turns out is a very wonderful thing for an app developer,

• 1:58:58Chris Lattner?

  but it's a huge challenge for the compiler team and the systems people that are implementing this, right? And this comes back to what is this trade off between doing the hard thing that enables scale versus doing the theoretically pure and ideal thing, right? And so Swift adopted and built a lot of different machinery to deeply integrate with the Objective-C runtime. And we're doing the same thing with Python, right? Now, what happened in the case of Swift is that Swift's language got more and more and more mature over time, right? And incidentally, Mojo is a much simpler language than Swift in many ways. And so I think that Mojo will develop way faster than Swift for a variety of reasons. But as the language gets more mature, in parallel with that, you have new people starting new projects, right? And so when

• 1:59:42Chris Lattner?

  the language is mature and somebody's starting a new project, that's when they say, okay, cool, I'm not dealing with a million lines of code. I'll just start and use the new thing for my whole stack. Now, the problem is, again, you come back to we're communities and we're people that work together. You build a new subsystem or a new feature or a new thing in Swift, or you build a new thing in Mojo, then you want to be end up being used on the other side, right? And so then you need to work on integration back the other way. And so it's not just Mojo talking to Python, it's also Python talking to Mojo, right? And so what I would love to see, and I don't want to see this next month, right? But what I want to see over the course of time is, I would love to see people that are building

• 2:00:23Chris Lattner?

  these packages, like NumPy, or TensorFlow, or these packages that are half Python, half C++? And if you say, okay, cool, I want to get out of this Python C++ world into a unified world, and so I can move to Mojo, but I can't give up all my Python clients, because they're like, these libraries get used by everybody, and they're not all going to switch all, you know, all at once, and maybe never, right? Well, so the way we should do that is we should vend Python interfaces to the Mojo types. And that's what we did in Swift and worked great. I mean, it was a huge implementation challenge for the compiler people, right? But there's only a dozen of those compiler people and there are millions of users.

• 2:01:08Chris Lattner?

  And so it's a very expensive, capital intensive, like skill set intensive problem. But once you solve that problem, it really helps adoption. It really helps the community progressively adopt technologies. And so I think that this approach will work quite well with with the Python and the Mojo world.

• 2:01:24Lex Fridman?

  So for a package ported to Mojo and then create a Python interface?

• 2:01:29Chris Lattner?

  Yep.

• 2:01:31Lex Fridman?

  So how do just to linger on these packages, NumPy, PyTorch, TensorFlow?

• 2:01:37Chris Lattner?

  Yeah.

• 2:01:37Lex Fridman?

  How do they play nicely together? So is Mojo supposed to be, let's talk about the machine learning ones. Is Mojo kind of vision to replace PyTorch and TensorFlow to incorporate it? What's what's the relationship in this?

• 2:01:52Chris Lattner?

  All right, so. So take a step back. So I wear many hats. So you're you're angling in on the Mojo side.

• 2:02:00Lex Fridman?

  Yes.

• 2:02:01Chris Lattner?

  Mojo is a programming language and so it can help solve the C, C++ Python feud that's happening.

• 2:02:08Lex Fridman?

  The fire emoji got me, I'm sorry. We should be talking modular, yes, yes.

• 2:02:12Chris Lattner?

  Yes, okay, so the fire emoji is amazing. I love it. It's it's a big deal. The other side of this is the fire emoji is in service of solving some big AI problems.

• 2:02:22Lex Fridman?

  Yes.

• 2:02:22Chris Lattner?

  Right, and so the big AI problems are again this fragmentation, this hardware nightmare, this this explosion of new potential, but that's not getting felt by the industry, right? And so when you look at how does the modular engine help TensorFlow and PyTorch, right? It's not replacing them, right? In fact, when I talk to people, again, they don't like to rewrite all their code. You have people that are using a bunch of PyTorch, a bunch of TensorFlow. They have models that they've been building over the course of many years, right? And when I talk to them, there's a few exceptions, but generally they don't want to rewrite all their code. Right. And so what we're doing is we're saying, okay, well, you don't have to rewrite all your code. What happens is the modular engine goes in there and goes underneath TensorFlow and PyTorch.

• 2:03:05Chris Lattner?

  It's fully compatible and just provides better performance, better predictability, better tooling. It's a better experience that helps lift TensorFlow and PyTorch and make them even better. I love Python. I love TensorFlow. I love PyTorch, right? This is about making the world better because we need AI to go further.

• 2:03:22Lex Fridman?

  But if I have a process that trains a model and I have a process that performs inference on that model and have the model itself, what should I do with that in the long arc of history? In terms of if I use PyTorch to train it, should I rewrite stuff in Mojo? Would that, if I care about performance?

• 2:03:42Chris Lattner?

  Oh, so I mean, again, it depends. So if you care about performance, then writing in Mojo is going to be way better than writing in Python. But if you look at, if you look at LLM companies, for example, you look at OpenAI rumored, and you look at many of the other folks that are working on many of these, many of these LLMs and other like innovative machine learning models. On the one hand, they're innovating in the data collection and the model billions of parameters and the model architecture and the RLHF and the, like, all the, all the cool things that people are talking about. But on the other hand, they're spending a lot of time writing CUDA curls.

• 2:04:19Chris Lattner?

  And so you say, wait a second, how much faster could all this progress go if they were not having to handwrite all these CUDA curls? Right. And so there are a few technologies that are out there and people have been working on this problem for a while. And, and they're trying to solve subsets of the problem again, kind of fragmenting the space. And so what Mojo provides for these kinds of companies is the ability to say, cool, I can have a unifying theory. Right. And again, the, the better together, the unifying theory, the, the two world problem or the three world problem or the N world problem, like, this is the thing that is slowing people down. And so as we help solve this problem, I think it'll be very helpful for making this whole cycle go faster.

• 2:04:56Lex Fridman?

  So obviously, we've talked about the transition from Objective C to Swift. If design this programming language, and you've also talked quite a bit about the use of Swift for machine learning context.

• 2:05:10Lex Fridman?

  Why have you decided to move away from maybe an intense focus on Swift for the machine learning context versus sort of designing a new programming language that happens to be a super

• 2:05:24Chris Lattner?

  You're saying this is an irrational set of life choices I make?

• 2:05:28Lex Fridman?

  Did you go to the desert and did you meditate on it? Okay, alright. No, it was bold, it was bold and needed and I think, I mean, it's just bold and sometimes to take those leaps is a difficult leap to take.

• 2:05:40Chris Lattner?

  Yeah, well, so, okay, I mean, I think there's a couple of different things. So, actually, I left Apple back in 2017, like January 2017. So it's been a number of years that I left Apple and the reason I left Apple was to do AI.

• 2:05:56Chris Lattner?

  Okay, so, and again, I won't comment on Apple and AI, but the, at the time, right, I wanted to get into and understand and understand the technology, understand the applications, the workloads. And so I was like, okay, I'm going to go dive deep into applied and AI and then the technology underneath it, right?

• 2:06:15Chris Lattner?

  I found myself at Google.

• 2:06:17Lex Fridman?

  And that was like when TPUs were

• 2:06:19Chris Lattner?

  Yep.

• 2:06:19Lex Fridman?

  waking up.

• 2:06:20Chris Lattner?

  Exactly. And so I found myself at Google and Jeff Dean, who's a rock star, as you know, right? And the, and in 2017, Tensflow is like really taking off and doing incredible things. And I was attracted to Google to help them with the TPUs, right? And TPUs are an innovative hardware accelerator platform. Have now, I mean, I think proven massive scale and like done incredible things, right? And so one of the things that this led into is a bunch of different projects, which I'll skip over, right? One of which was this Swift for Tensflow project, right? And so that project was a research project. And so the idea of that is say, okay, well, let's look at innovative new programming models where we can get a fast programming language.

• 2:07:03Chris Lattner?

  We can get automatic differentiation into the language. Let's push the boundaries of these things in a research setting, right? Now, that project, I think, lasted two, three years. There's some really cool outcomes of that. So one of, one of the things that's really interesting is I published a talk at an LVM conference in 2018, and this seems like so long ago, about graph programming abstraction, which is basically the thing that's in PyTorch 2. And so PyTorch 2, with all this Dynamo Rio thing, it's all about this graph program abstraction thing from Python bytecode. And so a lot of the research that was done ended up pursuing and going out through the industry and influencing things. And I think it's super exciting and awesome to see that. But the Swift for TensorFlow project itself did not work out

• 2:07:48Chris Lattner?

  super well. And so there's a couple of different problems with that, one of which is that you may have noticed Swift is not Python. There's a few people that write Python code.

• 2:07:59Lex Fridman?

  Yes.

• 2:08:00Chris Lattner?

  And so it turns out that all of ML is pretty happy with Python.

• 2:08:04Lex Fridman?

  It's actually a problem that other programming languages have as well, that they're not Python. We'll probably maybe briefly talk about Julia, who's a very interesting, beautiful programming language, but it's not Python.

• 2:08:16Chris Lattner?

  Exactly. Well, and so, and so like if you're saying, I'm going to solve a machine learning problem where all the programmers are Python programmers.

• 2:08:24Lex Fridman?

  Yeah.

• 2:08:24Chris Lattner?

  And you say, the first thing you have to do is switch to a different language. Well, your new thing may be good or bad or whatever, but if it's a new thing, the adoption barrier is massive.

• 2:08:35Lex Fridman?

  It's still possible.

• 2:08:36Chris Lattner?

  Still possible. Yeah, absolutely. The world changes and evolves and there's definitely room for new and good ideas, but it just makes it so much harder. Right. And so, lesson learned, Swift is not Python, and people are not always in search of like learning a new thing for the sake of learning a new thing. And if you want to be compatible with all the world's code, turns out, meet the world where it is. Right. Second thing is that, you know, a lesson learned is that Swift, as a very fast and efficient language, kind of like Mojo, but a different, a different take on it still, really worked well with eager mode. And so eager mode is something that PyTorch does, and it proved out really well. And it enables

• 2:09:17Chris Lattner?

  really expressive and dynamic and easy to debug programming. TensorFlow at the time was not set up for that. Let's say that was not.

• 2:09:27Lex Fridman?

  The timing is also important in this world.

• 2:09:29Chris Lattner?

  Yeah, yeah. TensorFlow is a good thing and it has many, many strengths, but you could say Swift for TensorFlow is a good idea, except for the Swift and except for the TensorFlow part.

• 2:09:42Lex Fridman?

  So it's because it's not Python and TensorFlow because it's not

• 2:09:45Chris Lattner?

  It wasn't set up for eager mode at the time. Yeah.

• 2:09:47Lex Fridman?

  It was 1.0.

• 2:09:48Chris Lattner?

  Exactly. And so one of the, so one of the things about that is in the context of it being a research project, I'm very happy with the fact that we built a lot of really cool technology. We learned a lot of things. I think the ideas went on to have influence in other systems like PyTorch. A few people use that I hear, right? And so I think that's super cool. And for me personally, I learned so much from it. Right? And I think a lot of the engineers that worked on it also learned a tremendous amount. And so, you know, I think that that's just really exciting to see. And, and, you know, I'm sorry that the project didn't work out. I wish it did, of course, right? But, um, uh, but, you know, it's, it's, it's a research project. And so you're there to learn from it.

• 2:10:27Lex Fridman?

  Well, it's interesting to think about the evolution of programming as we come up with these whole new set of algorithms and machine learning and artificial intelligence and what's going to win out. Because it could be a new programming language.

• 2:10:43Chris Lattner?

  Yeah.

• 2:10:44Lex Fridman?

  It could be, um, I mean, we, I just mentioned Julia. I think there's a lot of ideas behind Julia that Mojo shares. What, what are your thoughts about Julia in general?

• 2:10:58Chris Lattner?

  So I would, I will have to say that when we launched Mojo, the, one of the biggest things I didn't predict was the response from the Julia community. And so I was not, I mean, I've, okay, let me take a step back. I've known the Julia folks for a really long time. They were, they're an adopter of LVM a long time ago. They've been pushing state of the art in a bunch of different ways. Julia is a really cool system. I had always thought of Julia as being mostly a scientific computing focused environment, right? And, and I thought that was its focus. I neglected to understand that one of their missions is to like, help make Python work end to end. And so I think that was my, my error for not understanding that. And so I could have been maybe more sensitive to that. But,

• 2:11:44Chris Lattner?

  um, but there's major differences between what Mojo is doing and what Julia is doing. So as you say, Julia is not Python. Right? And so one of the things that a lot of the Julia people came out and said is like, okay, well, if we put a ton of more energy and 10 more money or engineering or whatever into Julia, maybe that would be better than starting Mojo. Right? Well, I mean, maybe that's true, but it still wouldn't make Julie into Python. So if you work backwards from the goal of let's build something for Python programmers without requiring them to relearn syntax, then Julia just isn't there, right? I mean, that's a different thing, right? And so if you anchor on, I love Julia and I want Julia to go further, then you can,

• 2:12:28Chris Lattner?

  you can look at it from a different lens. But the lens we were coming at was, hey, everybody is using Python. Python isn't, syntax isn't broken. Let's take what's great about Python and make it even better. And so it was just a different starting point. So I think Julia is a great language. The community is a lovely community. They're doing really cool stuff, but it's just a different, slightly different angle.

• 2:12:48Lex Fridman?

  But it does seem that Python is quite sticky. Is there some philosophical thing you could say about why Python, by many measures, seems to be the most popular programming language in the world?

• 2:13:01Chris Lattner?

  Well, I can tell you things I love about it. Maybe that's one way to answer the question, right? So huge package ecosystem, super lightweight and easy to integrate. It has very low startup time.

• 2:13:12Lex Fridman?

  So what startup time you mean, like learning curve or what?

• 2:13:15Chris Lattner?

  Yeah, so if you, if you look at certain other languages, you say like go, and it just takes like Java, for example, takes a long time to compile all the things. And, and then the, the VM starts up and the garbage collectors kicks in and then it revs its engines and then it can plow through a lot of internet stuff or whatever, right? Python is like scripting, like it's, it just goes, right? Python has very low compile time, like so you're not sitting there waiting. Python integrates in notebooks in a very elegant way that makes exploration super interactive and it's awesome, right? Python is also, it's like almost the glue of computing because it has such a simple object representation, a lot of things plug into it. That dynamic meta programming thing we were talking about also enables really expressive and beautiful APIs, right?

• 2:14:00Chris Lattner?

  So there's lots of reasons that you can look at technical things that Python has done and say like, okay, wow, this is actually a pretty amazing thing. And any one of those you can neglect. People all just talk about indentation and ignore like the fundamental things. But then you also look at the community side, right? So Python owns machine learning. Machine learning is pretty big.

• 2:14:21Lex Fridman?

  Yeah, and it's growing.

• 2:14:22Chris Lattner?

  And it's growing, right? And it's growing in importance, right? And so.

• 2:14:25Lex Fridman?

  And there's a reputation and prestige to machine learning to where like if you're a new programmer, you're thinking about like, which programming language do I use? Well, I should probably care about machine learning, therefore, let me try Python and kind of builds and builds and builds.

• 2:14:39Chris Lattner?

  And you even go, go back before that, like my kids learn Python, right? Not because I'm telling them to learn Python, but because.

• 2:14:47Lex Fridman?

  Were they rebelling against you or what?

• 2:14:49Chris Lattner?

  Well, they also learn Scratch, right? And things like this too. But it's because Python is taught everywhere, right? Because it's easy to learn, right? And because it's pervasive, right?

• 2:14:58Lex Fridman?

  Back in my day, we learned Java and C++.

• 2:15:01Chris Lattner?

  Yeah.

• 2:15:03Lex Fridman?

  Well, uphill both directions. But yes, I guess Python is the main language of teaching software engineering in schools now.

• 2:15:09Chris Lattner?

  Yeah. Well, and if you look at, if you look at this, there's these growth cycles, right? If you look at what causes things to become popular and then gain in popularity, there's reinforcing feedback loops and things like this. And I think Python has done, again, the whole community has done a really good job of building those growth loops and help propel the ecosystem. And I think that, again, you look at what you can get done with just a few lines of code. It's amazing.

• 2:15:32Lex Fridman?

  So this kind of self-building loop is interesting to understand because when you look at Mojo, what it stands for, some of the features, it seems sort of clear that this is a good direction for programming languages to evolve in the machine learning community. But it's still not obvious that it will because of this, whatever the engine of popularity, of virality. Is there something you could speak to? Like, how, how do you get people to switch?

• 2:16:03Chris Lattner?

  Yeah. Well, I mean, I think that the, the, the viral growth loop is to switch people to Unicode. I think the Unicode file extensions are what I'm betting on. I think that's going to be the thing.

• 2:16:12Lex Fridman?

  Yeah. Tell the kids that you could use the fire emoji and they'd be like, what?

• 2:16:16Chris Lattner?

  Exactly. Well, in all seriousness, like, I mean, I think there's really, I'll give you two opposite answers. One is, I hope if it's useful, if it solves problems and if people care about those problems being solved. They'll adopt the tech, right? That's the, that's kind of the simple answer. And when you're looking to get tech adopted, the question is, is it solving an important problem people need solved? And is the adoption cost low enough that they're willing to make the switch and cut over and do, do the pain upfront so that they can actually do it, right? And so hopefully Mojo will be that for a bunch of people. And, you know, people building these hybrid packages are suffering. It's really painful.

• 2:17:00Chris Lattner?

  And so I think that we have a good shot of helping people. But the other side is like, it's okay if people don't use Mojo. Like it's not my job to say like, everybody should do this. Like, I'm not saying Python is bad. Like, I hope Python, C Python, like all these implementations. Cause Python ecosystem is not just C Python. It's also a bunch of different implementations with different trade offs. And this ecosystem is really powerful and exciting, as are other programming languages. It's not like TypeScript or something is gonna go away, right? And so it's not, there's not a winner take all thing. And so I hope that Mojo is exciting and useful to people, but if it's not, that's also fine.

• 2:17:33Lex Fridman?

  But I also wonder what the, the use case for why you should try Mojo would be. So practically speaking, it seems like, uh, so there's entertainment. There's the dopamine hit of saying, holy shit, this is 10 times faster.

• 2:17:53Lex Fridman?

  This little piece of code is 10 times faster in Mojo.

• 2:17:55Chris Lattner?

  Out of the box before you get to 35,000.

• 2:17:58Lex Fridman?

  Exactly. I mean, just even that, I mean, that's the dopamine hit that, uh, every programmer sort of dreams of is, uh, the optimization. It's, it's also the drug that can pull you in and have you waste way too much of your life optimizing and over optimizing, right?

• 2:18:18Lex Fridman?

  But so what, uh, what do you see would be like comedy? It's very hard to predict, of course, but, um, you know, if you look 10 years from now, Mojo is, uh, super successful. What do you think would be the thing where people like try it and then use it regularly and it kind of grows and grows and grows?

• 2:18:36Chris Lattner?

  Well, so you talk about dopamine hit. And so again, humans are not one thing. And some people love rewriting their code and learning new things and throwing themselves in the deep end and try out anything. In my experience, most people don't, like they're too busy. They have other things going on.

• 2:18:55Chris Lattner?

  By number, most people don't like this. I want to rewrite all my code.

• 2:19:00Chris Lattner?

  But even those people, the too busy people, the people that don't actually care about the language, that just care about getting stuff done, those people do like learning new things, right? And so you talk about the dopamine rush of 10x faster. Wow, that's cool. I want to do that again. Well, it's also like, here's, here's the thing I've heard about in a different domain. And I don't have to rewrite all my code. I can learn a new trick. Right? Well, that's called growth. And so, and so one thing that I think is cool about Mojo, and again, this will take a little bit of time for, for example, the blog posts and the books and like all that kind of stuff develop and the language needs to get further along. But what we're doing, you talk about types, like you can say, look, you can start with the world you already know, and you can progressively

• 2:19:43Chris Lattner?

  learn new things and adopt them where it makes sense. If you never do that, that's cool. You're not a bad person. If you, if you get really excited about it, want to go all the way in the deep end and rewrite everything and like whatever, that's cool, right? But I think the middle path is actually the more likely one where it's, you know, you, you come out with a new, a new idea and you discover, wow, that makes my code way simpler, way more beautiful, way faster, way whatever. And I think that's what people like. Now, if you fast forward and you said like 10 years out, right? I can give you a very different answer on that, which is, I mean, if you go back and look at what computers look like 20 years ago, every 18 months, they got faster for free. Right?

• 2:20:26Chris Lattner?

  2x faster every 18 months. It was like clockwork. It was, it was free, right? You go back 10 years ago, and we entered in this world where suddenly we had multi-core CPUs and we had GPUs. And if you squint and turn your head, what a GPU is, is it's just a many-core, very simple CPU thing, kind of, right? And so, and 10 years ago, it was CPUs and GPUs and graphics.

• 2:20:51Chris Lattner?

  Today, we have CPUs, GPUs, graphics, and AI. Because it's so important, because the compute is so demanding, because of the smart cameras and the watches and all the different places the AI needs to work in our lives, it's caused this explosion of hardware. And so, part of my thesis, part of my belief of where computing goes, if you look out 10 years from now, is it's not going to get simpler. Physics isn't going back to where we came from. It's only going to get weirder from here on out. Right. And so, to me, the exciting part about what we're building is it's about building that universal platform, which the world can continue to get weird, because again, I don't think it's avoidable, it's physics. But we can help lift people, scale, do things with it, and they don't have to rewrite their

• 2:21:36Chris Lattner?

  code every time a new device comes out. And I think that's pretty cool. And so, if Mojo can help with that problem, then I think that it will be, hopefully, quite interesting and quite useful to a wide range of people, because there's so much potential and like, there's so, you know, maybe analog computers will become a thing or something, right? And we need to be able to get into a mode where we can move this programming model forward, but do so in a way where we're lifting people and growing them, instead of forcing them to rewrite all their code and exploding them.

• 2:22:04Lex Fridman?

  Do you think there'll be a few major libraries that go Mojo first?

• 2:22:08Chris Lattner?

  Uh, well, so I mean, the modular engine's all Mojo. So, again, come back to, like, we're not building Mojo because it's fun, we're building Mojo because we had to to solve these accelerated problems.

• 2:22:20Lex Fridman?

  That's the origin story, but I mean, ones that are currently in Python.

• 2:22:23Chris Lattner?

  Yeah, so I think that a number of these projects will. And so, one of the things, again, this is just my best guess, like, each of the package maintainers also has, I'm sure, plenty of other things going on. People don't, like, really don't like rewriting code just for the sake of rewriting code. But sometimes, like, people are excited about, like, adopting a new idea.

• 2:22:41Lex Fridman?

  Yeah.

• 2:22:42Chris Lattner?

  And it turns out that while rewriting code is generally not people's first Thing. Turns out that redesigning something while you rewrite it and using a rewrite as an excuse to redesign can lead to the 2.0 of your thing that's way better than the 1.0. Right? And so I have no idea. I can't predict that. But there's a lot of these places where, again, if you have a package that is half C and half Python, right, it just solve the pain, make it easier to move things faster, make it easy to debug and evolve your tech. Adopting Mojo kind of makes sense to start with, and then it gives you this opportunity to rethink these things.

• 2:23:18Lex Fridman?

  So the two big gains are that there's a performance gain. And then there's the portability to all kinds of different devices.

• 2:23:28Chris Lattner?

  And there's safety, right? So you talk about real types. I mean, not saying this is for everybody, but that's actually a pretty big thing, right?

• 2:23:35Lex Fridman?

  Yeah, types are.

• 2:23:36Chris Lattner?

  And so there's a bunch of different aspects of what, you know, what value Mojo provides. And so, I mean, it's funny for me, like, I've been working on these kinds of technologies and tools for too many years now. But you look at Swift, right? And we talked about Swift for tense flow, but Swift as a programming language, right? Swift's now 13 years old from when I started it.

• 2:23:59Lex Fridman?

  Yeah.

• 2:23:59Chris Lattner?

  So because I started in 2010, if I remember. And so that that project, and I was involved with it for 12 years or something, right? That that project has gone through its own really interesting story arc, right? And it's a mature, successful, used by millions of people system, right? Certainly not dead yet, right? But but also going through that story arc, I learned a tremendous amount about building languages, about building compilers, about working with community and things like this. And so that experience, like I'm helping channel and bring directly into Mojo. And, you know, other systems, same thing, like, apparently, I like building, building and iterating and evolving things. And so you look at this LVM thing I worked on 20 years ago, you look at MLIR, right? And so a lot

• 2:24:41Chris Lattner?

  of the lessons learned in LVM got fed into MLIR. And I think that MLIR is a way better system than LVM was. And, you know, Swift is a really good system, and it's, it's, it's amazing. But I hope that Mojo will take the next step for step forward in terms of design.

• 2:24:58Lex Fridman?

  In terms of running Mojo, people can play with it. What's Mojo Playground?

• 2:25:03Chris Lattner?

  Yeah.

• 2:25:03Lex Fridman?

  And From the interface perspective and from the hardware perspective, what's this incredible thing running on?

• 2:25:12Chris Lattner?

  Yeah, so right now, so here we are two weeks after launch.

• 2:25:15Lex Fridman?

  Yes.

• 2:25:15Chris Lattner?

  We decided that, okay, we're, we have this incredible set of technology that we think might be good, but we have not given it to lots of people yet. And so we were very conservative and said, let's put it in a workbook so that if it crashes, we can do something about it. We can monitor and track that, right? And so, again, things are still super early, but we're having like one person a minute sign up with over 70,000 people. Two weeks in, it's kind of crazy.

• 2:25:43Lex Fridman?

  So you, you can sign up to much of Playground and you can use it in the cloud.

• 2:25:48Chris Lattner?

  Yeah.

• 2:25:49Lex Fridman?

  In your browser.

• 2:25:50Chris Lattner?

  And so what that's running on, right? Yeah, what that's running on is that's running on cloud VMs. And so you share a machine with a bunch of other people, but it turns out there's a bunch of them now because there's a lot of people. And so what you're doing is you're getting free compute and you're getting to play with this thing in kind of a, a limited, controlled way so that we can make sure that it doesn't totally crash and be embarrassing, right?

• 2:26:12Lex Fridman?

  Yeah.

• 2:26:13Chris Lattner?

  So now a lot of the feedback we've gotten is people want to download it locally. So we're working on that right now. And so that's

• 2:26:18Lex Fridman?

  That's the goal, to be able to download locally.

• 2:26:20Chris Lattner?

  Yeah, that's what everybody expects. And so we're working on that right now. And so we just want to make sure that we do it right. And I think this is, this is one of the lessons I learned from Swift also, by the way, is that when we launched Swift, gosh, it feels like forever ago, it was 2014. And we, I mean, it was super exciting. I and we, the team, had worked on Swift for a number of years in secrecy. Okay. And we, four years into this development, roughly, of working on this thing, at that point, about 250 people at Apple knew about it.

• 2:26:52Lex Fridman?

  Yeah.

• 2:26:53Chris Lattner?

  Okay, so it was secret. Apple's good at secrecy and it was a secret project. And so we launched this at W W C, a bunch of hoopla and excitement, and said, developers, you're going to be able to develop and submit apps to the App Store in three months.

• 2:27:06Lex Fridman?

  Yeah.

• 2:27:07Chris Lattner?

  Well, several interesting things happened, right? So first of all, we learned that A, it had a lot of bugs. It was not actually production quality and it was extremely stressful in terms of like trying to get it working for a bunch of people. And so what happened is we went from zero to, you know, I don't know how many developers Apple had at the time, but a lot of developers overnight. And they ran into a lot of bugs and it was really embarrassing and it was very stressful for everybody involved, right? It was also very exciting because everybody was excited about that. The other thing I learned is that when that happened, roughly every software engineer who did not know about the project at Apple, their head exploded when it was launched because they didn't know it was coming. And so they're like, wait, what is this? I signed up to work for Apple because I love Objective C.

• 2:27:51Chris Lattner?

  Why is there a new thing? Right? And so now what that meant practically is that the push from launch to first of all, the fall, but then to 2.0 and 3.0 and like all the way forward was super painful for the engineering team and myself. It was very stressful. The developer community was very grumpy about it because they're like, okay, well, wait a second. You're changing and breaking my code and like, we have to to fix the bugs. And it was just like a lot of tension and friction on all sides. There's a lot of technical debt in the compiler because we have to run really fast. You have to go implement the thing and unblock the use case and do the thing. And, and you know, it's not right, but you'd never have time to go back and do it. Right? And I'm very proud of the Swift team because

• 2:28:35Chris Lattner?

  they've come, I mean, we, but they came so far and made so much progress over, over the time since launch. It's pretty incredible. And Swift is a very, very good thing. But I just don't want to do that again. Right? And so

• 2:28:49Lex Fridman?

  So iterate more through the development process.

• 2:28:53Chris Lattner?

  And so what we're doing is we're not launching it when it's hopefully zero dot nine with no testers. We're launching it and saying it's zero dot one. Right? And so we're setting expectations of saying like, okay, well, don't use this for production. Right? If you're interested in what we're doing, we'll do it in an open way and we can do it together. But don't use it in production yet. Like, we'll get there, but let's, let's do it the right way. And I'm also saying, we're not in a race. The thing that I want to do is build the world's best thing.

• 2:29:21Lex Fridman?

  Yeah.

• 2:29:22Chris Lattner?

  Right? Because if you do it right and it lifts the industry, it doesn't matter if it takes an extra two months.

• 2:29:27Lex Fridman?

  Yeah.

• 2:29:28Chris Lattner?

  Like, two months is worth waiting. And so doing it right and not being overwhelmed with technical debt and things like this is like, again, war wounds, lessons learned, whatever you want to say, I think is absolutely the right thing to do. Even though right now, people are very frustrated that, you know, you can't download it or that it doesn't have feature X or something like this.

• 2:29:48Lex Fridman?

  And so what have you learned in the, in a little bit of time since it's been released into the wild that people have been complaining about feature X or Y or Z? What have they been complaining about? What they have been excited about, like,

• 2:30:04Chris Lattner?

  Yeah.

• 2:30:05Lex Fridman?

  almost like detailed things versus a big vision? I think everyone would be very excited about the big vision.

• 2:30:10Chris Lattner?

  Yeah, yeah. Well, so I mean, I've been very pleased. I mean, in fact, I mean, we've, we've been massively overwhelmed with response, which is a good problem to have. It's kind of like a success disaster.

• 2:30:20Lex Fridman?

  Yeah.

• 2:30:20Chris Lattner?

  In a sense, right? And so, I mean, if you go back in time, when we started Modular, which is just not yet a year and a half ago. So it's still a pretty new company, new team, small but very good team of people. Like, we started with extreme conviction that there's a set of problems that we need to solve. And if we solve it, then people will be interested in what we're doing. Right? But, but again, you're building in basically secret, right? You're trying to figure it out. It's, the creation's a messy process. You're having to go through different paths and understand what you want to do and how to explain it. Often when you're doing disruptive and new kinds of things. Just knowing how to explain it is super difficult, right?

• 2:31:02Chris Lattner?

  And so when we launched, we hope people would be excited. But you know, I'm, I'm an optimist, but I'm also like, don't want to get ahead of myself. And so when people found out about Mojo, I think their heads exploded a little bit. Right? And you know, here, here's a, I think a pretty credible team that has built some languages and some tools before. And so they have some lessons learned and are tackling some of the deep problems in the Python ecosystem and giving it the love and attention that it should be getting. And I think people got very excited about that. And so if you look at that, I mean, I think people are excited about ownership and taking a step beyond Rust. Right? And there's people that are very excited about that. And there's people that are excited about, uh, you know, just like I made game of life go 400 times faster. Right? And things like that. And that's really cool.

• 2:31:47Chris Lattner?

  There are people that are really excited about the, okay, I really hate writing stuff in C++. Save me.

• 2:31:52Lex Fridman?

  Like systems engineers, they're like stepping up like, yeah, yes.

• 2:31:55Chris Lattner?

  And so that's, that's, that's, that's me, by the way. Also, um, I really want to stop writing C++ but the, um,

• 2:32:03Lex Fridman?

  I get third person excitement when people tweet, yeah, I made this code game of life or whatever faster. And you're like, yeah.

• 2:32:11Chris Lattner?

  Yeah. And, and also like, um, I would also say that, um, let me, let me cast blame out to people who deserve it.

• 2:32:20Lex Fridman?

  Sure.

• 2:32:20Chris Lattner?

  These terrible people who convinced me to do some of this.

• 2:32:23Lex Fridman?

  Yes.

• 2:32:24Chris Lattner?

  Jeremy Howard.

• 2:32:25Lex Fridman?

  Yes.

• 2:32:25Chris Lattner?

  That guy.

• 2:32:27Lex Fridman?

  Well, he's been pushing for this kind of thing.

• 2:32:29Chris Lattner?

  He's wanted this for years.

• 2:32:31Lex Fridman?

  Yeah, he's wanted this for a long, long time.

• 2:32:32Chris Lattner?

  For years.

• 2:32:33Lex Fridman?

  And for people who don't know Jeremy Howard, he's like, he's like one of the most legit people in the machine learning community. He's, uh, he's a grassroots. He really teaches, he's an incredible educator, he's an incredible teacher, but also legit, uh, in terms of a machine learning engineer himself. And he's been running the fast.ai and looking, I think, for, uh, exactly what you've done with Mojo.

• 2:32:55Chris Lattner?

  Exactly. And so, and so, um, I mean, the first time, so I met Jeremy pretty early on. But the first time I sat up and I'm like, this guy is ridiculous. Is when I was at Google and we were bringing up TPUs and we had a whole team of people. And we're, there was this competition called Dawn Bench of who can train, uh, ImageNet fastest.

• 2:33:18Lex Fridman?

  Right?

• 2:33:18Chris Lattner?

  Yes. And Jeremy and one of his researchers. Crushed Google by not through sheer force of the amazing amount of compute and the number of TPUs and stuff like that, that he just decided that progressive imagery sizing was the right way to train the model and if you're epox faster and make the whole thing go go vroom, right? And I'm like, this guy is incredible. And so you can say, anyways, come back to, you know, where's Mojo coming from? Chris, finally, listen to Jeremy. It's all his fault.

• 2:33:50Lex Fridman?

  Well, there's a kind of very refreshing, pragmatic view that he has about machine learning that I don't know if it's like this mix of a desire for efficiency, but ultimately grounded in desire to make machine learning more accessible to a lot of people. I don't know what that is. I guess that's coupled with efficiency and performance, but it's not just obsessed about performance.

• 2:34:18Chris Lattner?

  So a lot of AI and AI research ends up being that it has to go fast enough to get scale. So a lot of people don't actually care about performance, particularly on the research side, until it allows them to have more, a bigger data set, right? And so suddenly now you care about distributed compute and like all these exotic HPC, like you don't actually want to know about that. You just want to be able to do more experiments faster and do so with bigger data sets, right? And so Jeremy has been really pushing the limits. And one of the things I'll say about Jeremy, and there's many things I could say about Jeremy, because I'm a fanboy of his, but he, it fits in his head. And Jeremy actually takes the time where many people don't to really dive deep into why is the beta parameter of the atom optimizer equal to this?

• 2:35:03Lex Fridman?

  Yeah.

• 2:35:03Chris Lattner?

  Right? And he'll go survey and understand what are all the activation functions and the trade offs and why is it that everybody that does, you know, this model pick that thing?

• 2:35:13Lex Fridman?

  So the why, not just trying different values, like really what is going on here?

• 2:35:18Chris Lattner?

  Right. And so as a consequence of that, like he's always, he, again, he makes time, but he, he spends time to understand things at a depth that a lot of people don't. And as you say, he then brings it and teaches people and he's, his mission is to help lift, you know, his website says, making AI uncool again. Like it's about, like, forget about the hype, it's actually practical and useful. Let's teach people how to do this. Right? Now, the problem Jeremy struggled with is that he's pushing the envelope. Right. Research isn't about doing the thing that is staying on the happy path or the the well paved road, right? And so a lot of the systems today have been these really fragile fragmented things or special case in this happy path. And if you fall off the happy path, you get eaten by an alligator.

• 2:36:03Lex Fridman?

  So what about, so Python has this giant ecosystem of packages and there's a package repository. Do you have ideas of how to do that well for Mojo?

• 2:36:16Chris Lattner?

  Yeah.

• 2:36:16Lex Fridman?

  How to do a repository of packages?

• 2:36:18Chris Lattner?

  Well, so that's another really interesting problem that I knew about, but I didn't understand how big of a problem it was. Python packaging, a lot of people have very big pain points and a lot of scars with Python packaging.

• 2:36:30Lex Fridman?

  Oh, you mean, so there's several things to say?

• 2:36:32Chris Lattner?

  Building and distributing and managing dependencies and versioning and all this stuff.

• 2:36:37Lex Fridman?

  So from the perspective of if you want to create your own package?

• 2:36:40Chris Lattner?

  Yes. And then, or you want to build on top of a bunch of other people's packages and then they get updated and things like this. Now, I'm not an expert in this, so I don't know the answer. I think this is one of the reasons why it's great that we work as a team and there's other really good and smart people involved. But one of my, one of the things I've heard from smart people who've done a lot of this is that the packaging becomes a huge disaster when you get the Python and C together. And so if you have this problem where you have code split between Python and C, now not only do you have to package the C code, you have to build the C code. C doesn't have a package manager, right? C doesn't have a dependency versioning management system, right?

• 2:37:23Chris Lattner?

  And so I'm not experienced in the state of the art and all the different Python package managers, but my understanding is that's a massive part of the problem. And I think Mojo solves that part of the problem directly heads on. Now, one of the things I think we'll do with the community, and this isn't, again, we're not solving all the world's problems at once, we have to be kind of focused to start with, is that I think that we will have an opportunity to reevaluate packaging, right? And so I think that we can come back and say, okay, well, given the new tools and technologies and the cool things we have that we've built up, because we have not just syntax, we have an entirely new compiler stack that works in a new way, maybe there's other innovations we can bring together and maybe we can help solve that problem.

• 2:38:04Lex Fridman?

  So almost a tangent to that question from the user perspective of packages. It was always surprising to me that it was not easier to sort of explore and find packages. You know, with with pip install and it just it feels, it's an incredible ecosystem.

• 2:38:24Chris Lattner?

  It's huge.

• 2:38:25Lex Fridman?

  It's just interesting that it wasn't made, it's still, I think, not made easier to discover packages to do like a search and discovery, as YouTube calls it.

• 2:38:37Chris Lattner?

  Well, I mean, it's kind of funny because this is one of the challenges of these like intentionally decentralized communities. And so I don't know what the right answer is for Python. I mean, there are many people that were, I don't even know the right answer for Mojo. So there are many people that would have much more informed opinions than I do. But but it's interesting if you look at this, right? Open source communities. You know, there's Git. Git is a fully decentralized, and they could do it any way they want. But then there's GitHub, right? And GitHub centralized, commercial in that case, right? Thing really help pull together and help solve some of the discovery problems and help build a more consistent community. And so maybe there's opportunities for.

• 2:39:19Lex Fridman?

  For something like a GitHub.

• 2:39:21Chris Lattner?

  Yeah.

• 2:39:22Lex Fridman?

  Although even GitHub, I might be wrong on this, but the the search and discovery for GitHub is not that great. Like, I still use Google Search.

• 2:39:30Chris Lattner?

  Yeah, well, I mean, maybe that's because GitHub doesn't want to replace Google Search, right? I think there is room for specialized solutions to specific problems.

• 2:39:40Lex Fridman?

  Sure.

• 2:39:41Chris Lattner?

  I don't know. I don't know the right answer for GitHub either. That's they can go figure that out.

• 2:39:45Lex Fridman?

  But the point is to have an interface that's usable, that's accessible to people of all different skill levels.

• 2:39:51Chris Lattner?

  Well, and again, like, what are the benefit of standards, right? Standards allow you to build these next level up ecosystem, and next level up infrastructure, and next level up things. And so, again, come back to, I hate complexity. C, C plus Python is complicated. It makes everything more difficult to deal with. It makes it difficult to port, move code around, work with. All these things get more complicated. And so, I mean, I'm not an expert, but maybe Mojo can help a little bit by helping reduce the amount of C in this ecosystem and make it therefore scale better.

• 2:40:21Lex Fridman?

  So any kind of packages that are hybrid in nature would be a natural fit to move to Mojo.

• 2:40:27Chris Lattner?

  Which is a lot of them, by the way.

• 2:40:28Lex Fridman?

  Yeah. A lot of them, especially that are doing some interesting stuff, computation wise. Let me ask you about some features.

• 2:40:36Chris Lattner?

  Yeah.

• 2:40:37Lex Fridman?

  So we talked about, obviously, indentation, that it's a typed language or optionally typed. Is that the right way to say it?

• 2:40:45Chris Lattner?

  It's either optionally or progressively.

• 2:40:46Lex Fridman?

  Progressively.

• 2:40:47Chris Lattner?

  I think, so, so, so people have very strong opinions on the right word to use.

• 2:40:51Lex Fridman?

  Yeah.

• 2:40:52Chris Lattner?

  I don't know.

• 2:40:52Lex Fridman?

  I look forward to your letters. So there's the, the var versus let, but let is for constants.

• 2:40:59Chris Lattner?

  Yeah.

• 2:41:00Lex Fridman?

  Var is an optional.

• 2:41:02Chris Lattner?

  Yeah, var, var makes it mutable, so you can reassign.

• 2:41:05Lex Fridman?

  Okay. Then there's a function overloading.

• 2:41:10Chris Lattner?

  Oh, okay, yeah.

• 2:41:11Lex Fridman?

  There's, I mean, there's a lot of source of happiness for me, but function overloading, that's, I guess, is that, is that for performance, or is that, why does Python not have function overloading?

• 2:41:24Chris Lattner?

  So I can speculate. So Python is a dynamic language. The way it works is that,

• 2:41:32Chris Lattner?

  Python and Objective C are actually very similar worlds if you ignore syntax. And so Objective C is straight line derived from Smalltalk. A really venerable, interesting language that much of the world has forgotten about, but the people that remember it, love it generally. And the way that Smalltalk works is that every object has a dictionary in it. And the dictionary maps from the name of a function or the name of a value within an object to its implementation. And so the way you call a method in Objective C is you say, go look up, the way I call foo is I go look up foo, I get a pointer to the function back and then I call it. Yeah, that's how Python works.

• 2:42:14Chris Lattner?

  Right. And so now the problem with that is that the dictionary within a Python object, all the keys are strings. And it's a dictionary.

• 2:42:22Lex Fridman?

  Yeah.

• 2:42:22Chris Lattner?

  So you can only have one entry per name.

• 2:42:24Lex Fridman?

  You think it's as simple as that?

• 2:42:25Chris Lattner?

  I think it's as simple as that. And so now, why do they never fix this? Like, why do they not change it to not be a dictionary? Why do they not change, like, do other things? Well, you don't really have to in Python because it's dynamic. And so you can say, I get into the function. Now, if I got passed an integer, do some dynamic tests for it. If it's a string, go do another thing. There's another additional challenge, which is even if you did support overloading, you're saying, okay, well, here's a version of a function for integers and a function for strings. Well, you'd have, even if you could put it in that dictionary, you'd have to have the caller do the dispatch. And so every time you call the function, you'd have to say like, is it an integer? Is it a string? And so you'd have to figure out where to do that test.

• 2:43:06Chris Lattner?

  And so in a dynamic language, overloading is something you don't have to have. So, but now you get into a typed language. And, you know, in Python, if you subscript with an integer, then you get typically one element out of a collection. If you subscript with a range, you get a different thing out. Right? And so often in typed languages, you'll want to be able to express the fact that, cool, I have different behavior depending on what I actually pass into this thing. If you can model that, it can make it safer and more predictable and faster and like all these things.

• 2:43:41Lex Fridman?

  It somehow feels safer, yes, but also feels empowering. Like in terms of clarity, like you don't have to design whole different functions.

• 2:43:50Chris Lattner?

  Yeah, well, this is also one of the challenges with the existing Python typing systems is that in practice, like you take subscript, like in practice, a lot of these functions, they don't have one signature, right? They actually have different behavior in different cases. And so this is why it's difficult to like retrofit this into existing Python code and make it play well with typing. You kind of have to design for that.

• 2:44:15Lex Fridman?

  Okay, so there's a interesting distinction that people that program Python might be interested in is def versus fn. So it's two different ways to define a function. And FN is a stricter version of def. What's the coolness that comes from the strictness?

• 2:44:34Chris Lattner?

  So here you get into what is the trade off with the superset?

• 2:44:37Lex Fridman?

  Yes.

• 2:44:38Chris Lattner?

  Okay, so superset, you have to, or you really want to be compatible. You've like, if you're doing a superset, you've decided compatibility with existing code is the important thing. Even if some of the decisions they made were maybe not what you choose.

• 2:44:52Lex Fridman?

  Yeah.

• 2:44:52Chris Lattner?

  Okay.

• 2:44:54Chris Lattner?

  So that means you put a lot of time in compatibility and it means that you get locked into decisions of the past. Even if they may not have been a good thing, right? Now, systems programmers typically like to control things. Right? And they, they want to make sure that, you know, not, not in all cases, of course, and no, and even systems programmers are not one thing. Right? But, but often you want predictability. And so one of, one of the things that Python has, for example, as you know, is that if you define a variable, you just say x equals four. I have a variable named x. Now I say some long method, some, some long name equals 17. Print out some long name. Oops, I typo'd it. Right? Well, the compiler, the Python compiler doesn't know in all cases, what you're defining and what you're using.

• 2:45:38Chris Lattner?

  And did you typo the use of it or the definition? Right? And so for people coming from type languages, again, I'm not saying they're right or wrong, but that drives them crazy because they want the compiler to tell them you typoed the name of this thing. Right? And so what FN does is it turns on, as you say, it's a strict mode. And so it says, okay, well, you have to actually declare intentionally declare your variables before you use them. That gives you more predictability, more error checking and things like this, but you don't have to, you don't have to use it. And this is a way that Mojo is both compatible because def's work the same way that def's have already always worked. But it provides a new alternative that gives you more control and allows certain kinds of people that have a different philosophy to be able to express that and get that.

• 2:46:23Lex Fridman?

  But usually if you're writing Mojo code from scratch, you'll be using FN.

• 2:46:28Chris Lattner?

  It depends, again, it depends on your mentality, right? It's not, it's not that def is Python and FN is Mojo. Mojo has both and it loves both, right? It really depends on.

• 2:46:38Lex Fridman?

  That is just strict.

• 2:46:39Chris Lattner?

  Yeah, exactly. Are you, are you playing around and scripting something out? Is it a one-off throwaway script? Cool, like Python is great at that.

• 2:46:47Lex Fridman?

  I will still be using FN, but yeah.

• 2:46:49Chris Lattner?

  Well, so.

• 2:46:49Lex Fridman?

  I love strictness.

• 2:46:50Chris Lattner?

  Okay, well, so.

• 2:46:51Lex Fridman?

  Control, power.

• 2:46:53Chris Lattner?

  You also like suffering, right?

• 2:46:55Lex Fridman?

  Yes.

• 2:46:56Chris Lattner?

  How many, how many pull-ups?

• 2:47:00Lex Fridman?

  I've lost count at this, at this point.

• 2:47:03Chris Lattner?

  So, and that's cool. I love you for that.

• 2:47:05Lex Fridman?

  Yeah.

• 2:47:06Chris Lattner?

  Some, and I love other people who like strict things, right? But, but I don't want to say that that's the right thing because Python's also very beautiful for hacking around and doing stuff and research and these other cases where you may not want that.

• 2:47:17Lex Fridman?

  See, I just feel like, ah, maybe I'm wrong in that, but it feels like strictness leads to faster debugging. So in terms of going from, even on a small project from zero to completion, it's just, I guess it depends how many bugs you generate usually.

• 2:47:32Chris Lattner?

  Well, so, I mean, it's, again, lessons learned in looking at the ecosystem. It's really, I mean, I think it's, if you study some of these languages over time, like the Ruby community, for example. Now, Ruby is a pretty well-developed, pretty established community, but along their path, they really invested in unit testing. So I think that the Ruby community has really pushed forward the state-of-the-art of testing because they didn't have a type system that caught a lot of bugs at compile time, right? And so you can have the best of both worlds. You can have good testing and good types, right? And things like this, but, but I thought that that was really interesting to see how certain challenges get solved. And in Python, for example, the interactive notebook kind of experiences and stuff like this are really amazing. If you typo something, it doesn't matter. It just tells you, it's fine, right?

• 2:48:17Chris Lattner?

  And so I think that the trade-offs are very different if you're building a, you know, a large-scale production system versus you're building and exploring a notebook and.

• 2:48:25Lex Fridman?

  Speaking of control, the hilarious thing, if you look at code I write just for myself for fun, it's like littered with asserts everywhere.

• 2:48:34Lex Fridman?

  It's a kinda.

• 2:48:35Chris Lattner?

  Yeah, you'd like text.

• 2:48:37Lex Fridman?

  It's basically saying, uh, in a dictatorial way, this should be true now, otherwise everything stops.

• 2:48:45Chris Lattner?

  Well, and that is a sign. Again, I love you, man. But that is a sign of somebody who likes control.

• 2:48:52Lex Fridman?

  Yeah.

• 2:48:52Chris Lattner?

  And so, yes, I think that you'll like FN. I think you'll like Mojo.

• 2:48:56Lex Fridman?

  Therapy session. Yes, I definitely will. Uh, speaking of asserts, uh, exceptions are called errors. Why is it called errors?

• 2:49:05Chris Lattner?

  So we, I mean, we, we use the same, we're the same as Python, right? But, um, we implement it a very different way. Right? And so if you look at, um, other languages, like we'll pick on C++ our favorite, right? C++ has a thing called zero cost exception handling. Okay. And this is, in my opinion, something to learn lessons from.

• 2:49:27Lex Fridman?

  It's a nice polite way of saying.

• 2:49:29Chris Lattner?

  And so, um, and so zero cost exception handling, the way it works is that it's called zero cost because if you don't throw an exception, there's supposed to be no overhead for the non error code. And so it takes the error path out of the, uh, the common path. It does this by making throwing an error extremely expensive. And so if you actually throw an error with a C++ compiler using exceptions, has to go look up in tables on the side and do all this stuff. And so throwing an error could be like 10,000 times more expensive than referring from a function, right? Also, it's called zero cost exceptions, but it's not zero cost by any stretch of the imagination because it massively blows out your code, your binary.

• 2:50:13Chris Lattner?

  It also adds a whole bunch of different paths because of destructors and other things like that that exist in C++. And it reduces the number of optimizations. It has like all these effects. And so this thing that was called zero cost exceptions, it really ain't.

• 2:50:30Chris Lattner?

  Now, if you fast forward to newer languages, and this includes Swift and Rust and Go and now Mojo.

• 2:50:40Chris Lattner?

  Well, and Python's a little bit different because it's interpreted. And so like, it's got a little bit of a different thing going on. But if you look at it, if you look at compiled languages,

• 2:50:48Chris Lattner?

  many newer languages say, okay, well, let's not do that zero cost exception handling thing. Let's actually treat and throwing an error the same as returning a variant, returning either the normal result or an error. Now programmers generally don't want to deal with all the typing machinery and like pushing around a variant. And so you use all the syntax that Python gives us, for example, try and catch, you know, functions that raise and things like this, you can put a raises decorator on your function, stuff like this. And if you want to control that, and then the language can provide syntax for it, but under the hood, the way the computer executes it, throwing an error is basically as fast as returning something.

• 2:51:33Lex Fridman?

  Interesting. So it's exactly the same way from a compiled perspective.

• 2:51:36Chris Lattner?

  And so this is actually, I mean, it's a fairly nerdy thing, right? Which is why I love it. But the, this has a huge impact on the way you design your APIs. Right? So in C++, huge communities turn off exceptions because the cost is just so high, right? And so the zero cost cost is so high, right? And so that means you can't actually use exceptions in many libraries. Right? And even for the people that do use it, well, okay, how and when do you want to pay the cost? If I try to open a file, should I throw an error? Well, what if I'm probing around looking for something, right? I'm looking it up in many different paths. Well, if it's really slow to do that, maybe I'll add another function.

• 2:52:21Chris Lattner?

  That doesn't throw an error or turns an error code instead. And I have two different versions of the same thing. And so it causes you to fork your APIs. And so, you know, one of the things I learned from Apple and I so love is the art of API design is actually really profound. I think this is something that Python's also done a pretty good job at in terms of building out this large scale package ecosystem. It's about having standards and things like this. And so, you know, we wouldn't want to enter a mode where, um, you know, there's this theoretical feature that exists in language, but people don't use it in practice. Now, I'll also say, one of the other really cool things about this implementation approach is that it can run on GPUs and it can run accelerators and things like this. And that standard zero cost exception thing would never work on an accelerator.

• 2:53:05Chris Lattner?

  And so this is also part of how Mojo can scale all the way down to like little embedded systems and to running on GPUs and things like that.

• 2:53:12Lex Fridman?

  Can you actually say about the, maybe, uh, is there some high level way to describe the challenge of exceptions and how they work in code during compilation? So it's just this idea of percolating up a thing, an error.

• 2:53:29Chris Lattner?

  Yeah. Yeah. So the way, the way to think about it is, um, think about a function that doesn't return anything, just as a simple case, right? And so you have function one calls function two, calls function three, calls function four, along that call stack that are try blocks, right? And so if you have function one calls function two, function two has a try block and then within it, it calls function three, right? Well, what happens if function three throws? Well, actually start simpler. What happens if it returns? Well, if it returns, it's supposed to go back out and continue executing and then fall off the bottom of the try block and keep going and it all's good. If the function throws, you're supposed to exit the current function and then get into the except clause, right?

• 2:54:12Chris Lattner?

  And then do whatever code's there and then keep following on and going on. And so the way that a compiler like Mojo works is that the call to that function, which happens in the except block, calls the function and then instead of returning nothing, it actually returns, you know, a variant between nothing and an error. And so if you return normally, fall off the bottom or do return. You return nothing. And if you throw, throw an error, you return the variant that is I'm an error. Right. So when you get to the call, you say, okay, cool. I called a function. Hey, I know locally, I'm in a try block. Right. And so I, I call the function and then I check to see what it returns. Aha, if it's that error thing, jump to the except block.

• 2:54:55Lex Fridman?

  And that's all done for you behind the scenes.

• 2:54:57Chris Lattner?

  Exactly. And so the competitor does all this for you. And I mean, one of the things, if you dig into how this stuff works in Python, it gets a little bit more complicated because you have finally blocks, which now you need, you need to go into, do some stuff. And then those can also throw and return.

• 2:55:12Lex Fridman?

  Wait, what nested?

• 2:55:14Chris Lattner?

  And like the stuff matters for compatibility. Um, like there's.

• 2:55:17Lex Fridman?

  Really? You can nest them?

• 2:55:18Chris Lattner?

  There's with clauses. And so with clauses are kind of like finally blocks with some special stuff going on. And so there's.

• 2:55:23Lex Fridman?

  Nesting in general, nesting of anything, nesting of functions should be illegal.

• 2:55:30Lex Fridman?

  It just feels like it adds a level of complexity.

• 2:55:33Chris Lattner?

  Lex, I'm merely an implementer. And so this is again, one, one, one of, one of the, one of the trade offs you get when you decide to build a superset is you get to implement a full fidelity implementation of the thing that you decided is good. And so. Yeah, I mean, we can, we can complain about the reality of the world and shake our fist, but.

• 2:55:54Lex Fridman?

  It always feels like you shouldn't be allowed to do that, like to declare functions inside functions. Inside functions.

• 2:56:02Chris Lattner?

  Wait, wait, what happened to Lex, the, the Lisp guy?

• 2:56:05Lex Fridman?

  No, I understand that, but Lisp is what I used to do in college.

• 2:56:10Chris Lattner?

  So now you've grown up.

• 2:56:12Lex Fridman?

  You know, we've all done things in college we're not proud of.

• 2:56:15Chris Lattner?

  Wait a second.

• 2:56:16Lex Fridman?

  I love Lisp. I love.

• 2:56:17Chris Lattner?

  Okay. Well, yeah, I was gonna say you're afraid of me irritating the whole internet.

• 2:56:21Lex Fridman?

  I love this. It's, it worked, it worked as a joke in my head and.

• 2:56:25Chris Lattner?

  Yeah, yeah. So, so nested functions are joking aside, actually really great and for certain things, right? And so these are also called closures. Closures are pretty cool and you can pass callbacks. There's a lot of good patterns and so.

• 2:56:38Lex Fridman?

  Uh, so speaking of which, I don't think you have nested functions implemented yet in Mojo.

• 2:56:46Chris Lattner?

  Uh, we don't have lambda syntax, but we do have nested functions.

• 2:56:50Lex Fridman?

  Yeah, there, there's a few things on the roadmap that you have that it'd be cool to sort of just fly through because it's interesting to see, you know, how many features there are in a language, small and big.

• 2:57:01Chris Lattner?

  Yep.

• 2:57:01Lex Fridman?

  They have to implement.

• 2:57:02Chris Lattner?

  Yeah.

• 2:57:03Lex Fridman?

  So first of all, there's tuple support and that has to do with some very specific aspect of it, like the parentheses or not parentheses, that.

• 2:57:10Chris Lattner?

  Yeah, this is just a totally a syntactic thing.

• 2:57:12Lex Fridman?

  A syntactic thing. Okay, there's, but it's cool still. Uh, so keyword arguments and functions.

• 2:57:19Chris Lattner?

  Yeah. So this is where in Python, you can say, call a function x equals four.

• 2:57:23Lex Fridman?

  Yeah.

• 2:57:23Chris Lattner?

  And x is the name of the argument.

• 2:57:25Lex Fridman?

  That's a nice sort of documenting, self documenting feature.

• 2:57:29Chris Lattner?

  Yeah. I mean, and again, this isn't rocket science to implement. It's just the laundry.

• 2:57:32Lex Fridman?

  It's just on the list.

• 2:57:34Chris Lattner?

  The, the bigger features are things like traits. So traits are when you want to define abstract. So when you get into typed languages, you need the ability to write generics. And so you want to say, I want to write this function and now I want to work on all things that are arithmetic like. Well, what does arithmetic like mean? Well, arithmetic like is a categorization of a bunch of types. And so it's, again, you can define many different ways and I'm not going to go into ring theory or something. But the, uh, you know, you can say it's arithmetic like if you can add, subtract, multiply, divide it, for example. Right. And so what you're saying is you're saying there's a set of traits that apply to a broad variety of types.

• 2:58:15Chris Lattner?

  And so there are all these types of arithmetic, like all these tensors and floating point integer. And like, there's this category of, of types. And then I can define on an orthogonal axis, algorithms that then work against types that have those properties. And so this is a, again, it's a widely known thing. It's been implemented in Swift and Rust and many languages. So it's not Haskell, um, which is where everybody learns, learns their tricks from. Um, but the, uh, but we need to implement that and that'll enable a new level of expressivity.

• 2:58:48Lex Fridman?

  Uh, so classes.

• 2:58:49Chris Lattner?

  Yeah, classes are a big deal.

• 2:58:50Lex Fridman?

  It's a big deal, uh, still to be implemented.

• 2:58:55Lex Fridman?

  Like you said, lambda syntax. And there's like detailed stuff like call module import.

• 2:59:03Lex Fridman?

  Support for top level code at FileScope. So and then global variables also. So being able to have variables outside of a top level.

• 2:59:12Chris Lattner?

  Well, and so this comes back to the where Mojo came from and the fact that this is a point one. Right. And so we're building so modular is building an AI stack, right? And an AI stack has a bunch of problems working with hardware and writing high performance kernels and doing this kernel fusion thing I was talking about and getting the most out of the hardware. And so we've really prioritized and built Mojo to solve modular's problem. Right now, our North Star is build out and support all the things. And so we're making incredible progress. By the way, Mojo is only like seven months old. So that's another interesting thing.

• 2:59:45Lex Fridman?

  I mean, part of the reason I wanted to mention some of these things is like, there's a lot to do. And it's pretty cool how you just kind of, sometimes you take for granted how much there is in a programming language, how many cool features you kind of rely on. And this is kind of a nice reminder when you lay it as a to do list.

• 3:00:02Chris Lattner?

  Yeah. And so, I mean, but also you look into, it's amazing how much is also there. And you take it for granted that a value, if you define it, it will get destroyed automatically. Like that little feature itself is actually really complicated, given the way the ownership system has to work and the way that works within Mojo is a huge step forward from what Rust and Swift have done.

• 3:00:24Lex Fridman?

  Can you say that again? When a value you define and gets destroyed automatically?

• 3:00:27Chris Lattner?

  Yeah. So like, say you have a string, right? So you define a string on the stack. Okay. Or whatever that means, like in your local function. Right. And so you say, like, whether it be in a def, and so you just say x equals hello world, right? Well, if your string type requires you to allocate memory, then when it's destroyed, you have to de-allocate it. So in Python and Mojo, you define that with the del method, right? Where does that get run?

• 3:00:56Chris Lattner?

  Well, it gets run sometime between the last use of the value and the end of the program. Like in this, you now get into garbage collection, you get into like all these long debated, you talk about religions and and trade offs and things like this. This is a hugely hotly contested world. If you look at C++ the way this works is that if you define a variable or a set of variables within a function, they get destroyed in a last in first out order. So it's like nesting. Okay. This has a huge problem because if you define, you have a big scope and you define a whole bunch of values at the top. And then you use them and then you do a whole bunch of code that doesn't use them.

• 3:01:40Chris Lattner?

  They don't get destroyed until the very end of that scope. Right. And so this also destroys tail calls. So good functional programming, right? This, this has a bunch of different impacts on, um, you know, you talk about reference counting optimizations and things like this. A bunch of very low level things. And so what Mojo does is it has a different approach on that from any language I'm familiar with where it destroys them as soon as possible.

• 3:02:04Chris Lattner?

  And by doing that, you get better memory use, you get better predictability, you get tail calls that work, you get a bunch of other things. You get better ownership tracking. There's a bunch of these very simple things that are very fundamental that are already built in there in Mojo today. That are the things that nobody talks about generally, but when they don't work right, you find out and you have to complain about.

• 3:02:25Lex Fridman?

  Is it trivial to know? What's the soonest possible to delete a thing that's not going to be used again?

• 3:02:31Chris Lattner?

  Yeah. Well, I mean, it's generally trivial. It's, it's after the last use of it. So if you define x as a string and then you have some use of x somewhere in your code.

• 3:02:39Lex Fridman?

  Within that scope, you mean, within a scope that is accessible?

• 3:02:42Chris Lattner?

  It's, yeah, exactly. So you can only use something within its scope. And so then it doesn't wait until the end of the scope to delete it. It, it destroys it after the last use.

• 3:02:52Lex Fridman?

  So there's kind of some very eager machine that's just sitting there and deleting.

• 3:02:56Chris Lattner?

  Yeah. And it's all in the compiler. So it's not at runtime, which is also cool. And so the, yeah. And so what? And this is actually non trivial because you have control flow.

• 3:03:06Lex Fridman?

  Right.

• 3:03:06Chris Lattner?

  And so it gets complicated pretty quickly. And so like getting this right was not.

• 3:03:09Lex Fridman?

  Also, you have to insert delete like in a lot of places.

• 3:03:12Chris Lattner?

  Potentially, yeah, exactly. So the compiler has a reason about this. And this is where, again, it's experience building languages and not getting this right. So again, you get another chance to do it and you get basic things like this, right? But it's extremely powerful when you do that, right? And so there's a bunch of things like that that kind of combine together. And this comes back to the, you get a chance to do it the right way, do it the right way and make sure that every brick you put down is really good. So that when you put more bricks on top of it, they stack up to something that's beautiful.

• 3:03:40Lex Fridman?

  Well, there's also, like, how many

• 3:03:44Lex Fridman?

  design discussions do there have to be about particular details, like implementation of particular small features? Because the features that seem small, I bet some of them might be like really, uh, require really big design decisions.

• 3:04:00Chris Lattner?

  Yeah. Well, so I mean, let me give you another example of this. Um, Python has a feature called async await. So it's, it's a new feature. I mean, in, in the long arc of Python history, it's a relatively new feature, right? That allows way more expressive asynchronous programming. Okay. Again, this is, this is a, Python's a beautiful thing and they did things that are great for Mojo for completely different reasons. The reason that async await got added to, to Python, as far as I know, is because Python doesn't support threads. Okay. And so Python doesn't support threads, but you want to work with networking and other things like that that can block. I mean, Python does support threads. It's just not its strength. And so, um,

• 3:04:43Chris Lattner?

  and so they added this feature called async await. It's also seen in other languages like Swift and JavaScript and many other places as well. async await in Mojo is amazing because we have a high performance heterogeneous compute runtime underneath the covers that then allows non-blocking I O. So you get full use of your accelerator.

• 3:05:03Chris Lattner?

  That's huge. Turns out it's actually really an important part of fully utilizing a machine. You talk about design discussions. That took a lot of discussions, right? And it probably will require more iteration. And so my philosophy with Mojo is that, you know, we have a small team of really good people that are pushing forward and they're very good at the extremely deep, knowing how the compiler and runtime and like all the the low level stuff works together. But they're not perfect. Same thing as the Swift team, right? And this is where one of the reasons we released Mojo much earlier is so we can get feedback. And we've already like renamed a keyword due to a community feedback.

• 3:05:40Lex Fridman?

  Sure.

• 3:05:41Chris Lattner?

  We use an ampersand and now it's named in out. We're not we're not renaming existing Python keywords because that breaks compatibility, right? We're renaming things we're adding and making sure that they are designed well. We get usage experience, we iterate and work with the community because, again, if you scale something really fast and everybody writes all their code and they start using it in production, then it's impossible to change. And so you want to learn from people, you want to iterate and work on that early on. And this is where design discussions, it's it's actually quite important.

• 3:06:09Lex Fridman?

  Could you could you incorporate an emoji like into the language into the main language?

• 3:06:14Chris Lattner?

  I could.

• 3:06:14Lex Fridman?

  Like a like a

• 3:06:15Chris Lattner?

  Do you have a do you have a favorite one?

• 3:06:17Lex Fridman?

  Well, I really like in terms of humor, like raw full, whatever, rolling on the floor, laughing. So that could be like, what would that be the use case for that? Like an exception, throw an exception of some sort? I don't

• 3:06:30Chris Lattner?

  You should totally file a feature request.

• 3:06:34Lex Fridman?

  Or maybe a hard one. It has to be a hard one.

• 3:06:37Chris Lattner?

  People have told me that I'm insane. So this is this is this is I'm liking this.

• 3:06:42Lex Fridman?

  I'm gonna I'm gonna use the viral nature of the internet to actually get this to get this past.

• 3:06:48Chris Lattner?

  I mean, it's funny, you come back to the flame emoji file extension, right? The, you know, we have the option to use the flame emoji, which just even that concept caused, for example, the people that get up to say, now I've seen everything.

• 3:07:03Lex Fridman?

  Yeah, there's something, it kind of, it's reinvigorating. It's like, uh, it's like, oh, that's possible. That's really cool. For some reason, that makes everything else like really exciting.

• 3:07:14Chris Lattner?

  The world is ready for this stuff, right? And so, you know, when we have a package manager, we'll clearly have to innovate by having the compiled package thing be the little box with the bow on it, right? I mean, it has to be done.

• 3:07:26Lex Fridman?

  It has to be done. Is there some stuff on the roadmap that you're particularly stressed about or excited about that you're thinking about a lot?

• 3:07:33Chris Lattner?

  I mean, as a today's snapshot, which will be obsolete tomorrow, the lifetime stuff is really exciting. And so lifetimes give you safe references to memory without dangling pointers. And so this has been done in languages like Rust before. And so we have a new approach, which is really cool. I'm very excited about that. That'll be out to the community very soon. The traits feature is really a big deal. And so that's blocking a lot of API design. And so there's that. I think that's really exciting.

• 3:08:03Chris Lattner?

  A lot of it is these kind of table stakes features. One of the things that is, again, also lessons learned with Swift, is that programmers in general like to add syntactic sugar. And so it's like, oh, well, this annoying thing, like in Python, you have to spell unbar unbar add. Why can't I just use plus? Def plus, come on. Why can't I just do that? Right? And so trivial bit of syntactic sugar, it makes sense. It's beautiful. It's obvious. We're trying not to do that. And so for two different reasons, one of which is that, again, lesson learned with Swift, Swift has a lot of syntactic sugar,

• 3:08:43Chris Lattner?

  which may be a good thing, maybe not, I don't know. But, but because it's such an easy and addictive thing to do, sugar, like make sure blood get crazy, right? Like, the community will really dig into that and want to do a lot of that. And I think it's very distracting from building the core abstractions. The second is, we want to be a good member of the Python community.

• 3:09:04Chris Lattner?

  Right. And so we want to work with the broader Python community. And yeah, we're pushing forward a bunch of systems programming features and we need to build them out to understand them. But once we get a long ways forward, I want to make sure that we go back to the Python community and say, okay, let's do some design reviews. Let's actually talk about this stuff. Let's figure out how we want this stuff all to work together. And syntactic sugar just makes all that more complicated. So.

• 3:09:27Lex Fridman?

  And yeah, list comprehensives are yet to be implemented. And my favorite, I mean, dictionaries.

• 3:09:34Chris Lattner?

  Yeah, there's some, there's some basics. 0.1.

• 3:09:37Lex Fridman?

  0.1.

• 3:09:38Chris Lattner?

  Yeah, but nonetheless, it's actually still quite interesting and useful.

• 3:09:41Lex Fridman?

  As you've mentioned, modular is very new.

• 3:09:45Lex Fridman?

  Mojo is very new. It's a relatively small team.

• 3:09:48Chris Lattner?

  Yeah.

• 3:09:48Lex Fridman?

  That's building up this gigantic stack, this incredible stack that's going to perhaps define the future of development of our AI overlords.

• 3:10:01Chris Lattner?

  We just hope it will be useful.

• 3:10:04Lex Fridman?

  As do all of us. So what, what have you learned from this process of building up a team? Maybe one question is, how do you hire?

• 3:10:15Chris Lattner?

  Yeah.

• 3:10:15Lex Fridman?

  Great programmers, great people that operate in this compiler, hardware, machine learning, software, interface design space.

• 3:10:28Chris Lattner?

  Yeah.

• 3:10:28Lex Fridman?

  And maybe are a little bit fluid in what they can do.

• 3:10:31Chris Lattner?

  So, okay, so.

• 3:10:32Lex Fridman?

  Language design too.

• 3:10:34Chris Lattner?

  So building a company is just as interesting in different ways as building a language. Like different skill sets, different things, but super interesting. And I've built a lot of teams in a lot of different places. If you zoom in from the big problem into recruiting. Well, so here's our problem. Okay, I'll just, I'll be very straightforward about this. We started modular with a lot of conviction about, we understand the problems, we understand the customer pain points. We need to work backwards from the suffering in the industry. And if we solve those problems, we think it'll be useful for people. But the problem is, is that the people we need to hire, as you say, are all these super specialized people that have jobs at big tech, big tech worlds, right?

• 3:11:16Chris Lattner?

  And, you know, we, I don't think we have product market fit in the way that a normal startup does, that we don't have product market fit challenges, because right now, everybody's using AI and so many of them are suffering and they want help. And so, again, we started with strong conviction. Now, again, you have to hire and recruit the best, and the best all have jobs. And so what we've done is we said, okay, well, let's build an amazing culture. Start with that. That's usually not something a company starts with. Usually you hire a bunch of people and then it, people start fighting and it turns into a gigantic mess. And then you try to figure out how to improve your culture later. My co-founder, Tim, in particular, is super passionate about making sure that that's right. And we've spent a lot of time early on to make sure that we can scale.

• 3:11:59Lex Fridman?

  Can you comment, sorry, before we get to the second?

• 3:12:01Chris Lattner?

  Yeah.

• 3:12:02Lex Fridman?

  What makes for a good culture?

• 3:12:03Chris Lattner?

  So, I mean, there's many different cultures and I have learned many things from many different people.

• 3:12:08Lex Fridman?

  You worked with several very unique, almost famously unique cultures.

• 3:12:13Chris Lattner?

  And some of them I learned what to do and some of them I learned what not to do.

• 3:12:16Lex Fridman?

  Yep.

• 3:12:17Chris Lattner?

  Okay, and so, we want an inclusive culture. I believe in, like, amazing people working together. And so I've seen cultures where people, you have amazing people and they're fighting each other. I see amazing people and they're told what to do, like, doubt shall line up and do what I say. It doesn't matter if it's the right thing, do it, right? And neither of these is the, and I've seen people that have no direction, they're just kind of floating in different places. And they want to be amazing, they just don't know how. And so a lot of it starts with, have a clear vision, right? And so we have a clear vision of what we're doing. And so I kind of grew up at Apple in my engineering life, right? And so a lot of the Apple DNA rubbed off on me.

• 3:13:01Chris Lattner?

  My co-founder, Tim, also is like a strong product guy. And so what we learned is, you know, I was taught at Apple that you don't work from building cool technology, you don't work from, like, come up with cool product and think about the features you'll have in the big checkboxes and stuff like this. Because if you go talk to customers, they don't actually care about your product. They don't care about your technology. What they care about is their problems. Right? And if your product can help solve their problems, well, hey, they might be interested in that. Right? And so if you speak to them about their problems, if you understand and you have compassion, you understand what people are working with, then you can work backwards to building an amazing product.

• 3:13:37Lex Fridman?

  So the vision starts by defining the problem.

• 3:13:39Chris Lattner?

  And then you can work backwards in solving technology.

• 3:13:41Lex Fridman?

  Got it.

• 3:13:42Chris Lattner?

  And at Apple, like it's, I think, pretty famously said that, you know, for every, you know, there's a hundred no's for every yes. I would refine that to say that there's a hundred not-yets for every yes. But famously, if you go back to the iPhone, for example, right, the iPhone one, I read, I mean, many people laughed at it because it didn't have 3G, it didn't have copy and paste. Right? And then a year later, okay, finally it has 3G, but it still doesn't have copy and paste. It's a joke. Nobody will ever use this product. Blah, blah, blah, blah, blah, blah, blah. Right? Well, year three, it had copy and paste and people stopped talking about it. Right? And so, and so being laser focused and having conviction, understanding

• 3:14:22Chris Lattner?

  what the core problems are and giving the team the space to be able to build the right tech is really important. Also, I mean, you come back to recruiting, you have to pay well. So we have to pay industry-leading salaries and have good benefits and things like this. That's a big piece. We're a remote-first company and so we have to.

• 3:14:44Chris Lattner?

  So, remote-first has a very strong set of pros and cons. On the one hand, you can hire people from wherever they are and you can attract amazing talent, even if they live in strange places or unusual places. On the other hand, you have time zones. On the other hand, you have like, everybody on the internet will fight if they don't understand each other. And so we've had to learn how to like have a system where we actually fly people in and we get the whole company together periodically. And then we get work groups together and we plan and execute together.

• 3:15:14Lex Fridman?

  And there's like an intimacy to the in-person brainstorming. The, I guess you lose, but maybe you don't, maybe if you get to know each other well and you trust each other, maybe you can do that.

• 3:15:24Chris Lattner?

  Well, so when the pandemic first hit, I mean, I'm curious about your experience too. The first thing I missed was having whiteboards.

• 3:15:30Lex Fridman?

  Yeah.

• 3:15:31Chris Lattner?

  Right? Those design discussions where like I can high, high intensity, work through things, get things done, work through the problem of the day, understand where you're on, figure out and solve the problem and move forward.

• 3:15:44Chris Lattner?

  But we figured out ways to work around that now with, you know, all these screen sharing and other things like that that we do. The thing I miss now is sitting down at a lunch table with the team.

• 3:15:54Lex Fridman?

  Yeah.

• 3:15:55Chris Lattner?

  The spontaneous things like those, the coffee, the coffee bar things and the, and the bumping into each other and getting to know people outside of the transactional solve a problem over Zoom.

• 3:16:07Lex Fridman?

  And I think there's, there's just a lot of stuff that I'm not an expert at this. I don't know who is. Hopefully there's some people, but there's stuff that somehow is missing on Zoom. Even with the whiteboard, if you look at that, if you have a room with one person at the whiteboard and then there's like three other people at a table.

• 3:16:27Lex Fridman?

  There's a, first of all, there's a social aspect to that where you're just shooting the shit a little bit, almost like.

• 3:16:33Chris Lattner?

  Yeah. As people are just kind of coming in and.

• 3:16:35Lex Fridman?

  Yeah, that. But also while like it's a breakout discussion that happens for like seconds at a time, maybe an inside joke, or it's like this interesting dynamic that happens that Zoom.

• 3:16:48Chris Lattner?

  You're bonding. Yeah.

• 3:16:49Lex Fridman?

  You're bonding, you're bonding, but through that bonding, you get the excitement. There's certain ideas are like complete bullshit and you'll see that in the faces of others that you won't see necessarily on Zoom. And like something, it feels like that should be possible to do without being in person.

• 3:17:08Chris Lattner?

  Well, I mean, being in person is a very different thing.

• 3:17:11Lex Fridman?

  Yeah, I don't.

• 3:17:11Chris Lattner?

  It's worth it, but you can't always do it. And so again, we're still learning and we're also learning is like humanity with this new reality, right? But, but what we found is that getting people together, whether it be a team or the whole company or whatever, is worth the expense because people work together and are happier after that. Like it just, it just like, there's a massive period of time where you're like, go out and things start getting afraid, pull people together. And then you realize that we're all working together. We see things the same way. We work through the disagreement or the misunderstanding. We're talking across each other and then you work much better together. And so things like that I think are really quite important.

• 3:17:48Lex Fridman?

  What about people that are kind of specialized in very different aspects of the stack working together? What are some interesting challenges there?

• 3:17:56Chris Lattner?

  Yeah. Well, so I mean, I mean, there's lots of interesting people. As you can tell, I'm, you know, hard to deal with too. But.

• 3:18:02Lex Fridman?

  You're one of the most lovable people.

• 3:18:03Chris Lattner?

  The, uh, so one of the, so there's different philosophies in building teams. For me.

• 3:18:11Chris Lattner?

  And so some people say, hire 10x programmers and that's the only thing, whatever that means, right? What I believe in is building well-balanced teams, teams that have people that are different in them. Like if you have all generals and no troops, or all troops and no generals, or you have all people that think in one way and not the other way, what you get is you get a very biased and skewed and weird situation where people end up being unhappy. And so what I like to do is I like to build teams of people where they're not all the same. You know, we do have teams and they're focused on like runtime or compiler, GPU, or whatever the speciality is, but people bring a different take and have a different perspective. And I look for people that complement each other. And particularly if you look at leadership teams and things like

• 3:18:55Chris Lattner?

  this, you don't want everybody thinking the same way. You want people bringing different perspectives and experiences. And so I think that's really important.

• 3:19:03Lex Fridman?

  That's team, but what about building a company as ambitious as Modular? So what are some interesting questions there?

• 3:19:10Chris Lattner?

  I mean, so many like so. One of the things I love about, okay, so Modular is the first company I built from scratch.

• 3:19:20Chris Lattner?

  One of the first things that was profound was I'm not cleaning up somebody else's mess.

• 3:19:26Chris Lattner?

  Right? And so if you look at

• 3:19:27Lex Fridman?

  That's liberating, just under

• 3:19:28Chris Lattner?

  It's super liberating. And, and also many of the projects I've built in the past have not been core to the product of the company.

• 3:19:38Chris Lattner?

  Swift is not Apple's product, right? MLAR is not Google's revenue machine or whatever, right? It's not, it's important, but it's like working on the accounting software for, you know, the retail giant or something, right? It's, it's, it's like enabling infrastructure and technology. And so at Modular, the tech we're building is

• 3:20:01Chris Lattner?

  Here to solve people's problems, like it is directly the thing we're giving to people. And so this is a really big difference. And what it means for me as a leader, but also for many of our engineers is they're working on the thing that matters. And that's actually pretty, I mean, again, for for compiler people and things like that. That's that's usually not the case. Right. And so that's that's also pretty exciting and and quite nice. But the one of the ways that this manifests is it makes it easier to make decisions. And so one of the challenges I've had in other worlds is it's like, OK, well, community matters somehow for the goodness of the world, like or open source matters theoretically, but I don't want to pay for a T shirt. Right. Or some swag like, well, T shirts cost 10 bucks each.

• 3:20:46Chris Lattner?

  You can have 100 T shirts for $1,000 to a mega corp. A thousand dollars is uncountably can't count that low. Right. But justifying it and getting a T shirt. By the way, if you'd like a T shirt.

• 3:20:58Lex Fridman?

  Well, I would 100% like a T shirt. Are you joking?

• 3:21:03Chris Lattner?

  You can have a fire emoji T shirt.

• 3:21:06Lex Fridman?

  I will, I will treasure this.

• 3:21:08Chris Lattner?

  That's a good.

• 3:21:09Lex Fridman?

  I will pass it down to my grandchildren.

• 3:21:11Chris Lattner?

  And so, you know, it's it's very liberating to be able to decide. I think that Lex should have a T shirt. Right. And it becomes very simple because I like Lex.

• 3:21:20Lex Fridman?

  This, this, uh, this is awesome.

• 3:21:25Lex Fridman?

  So I have to ask you about the, one of the interesting developments with large language models is that they're able to generate code recently really well.

• 3:21:43Chris Lattner?

  Yes.

• 3:21:43Lex Fridman?

  To a degree that maybe I, I don't know if you understand, but I have, I struggle to understand because it it forces me to ask questions about the nature of programming, of the nature of thought. Because the language models are able to predict the kind of code I was about to write so well.

• 3:22:03Chris Lattner?

  Yep.

• 3:22:03Lex Fridman?

  That it makes me wonder like how unique my brain is and where the valuable ideas actually come from. Like, how much do I contribute in terms of ingenuity, innovation to code I write? Or design and that kind of stuff. When you stand on the shoulders of giants, are you really doing anything? And what L L M's are? Helping you do is they help you stand on the shoulders of giants in your program. There's mistakes, they're interesting that you learn from, but I just, it would love to get your opinion first. High level of what you think about this impact of large language models when they do program synthesis, when they generate code.

• 3:22:42Chris Lattner?

  Yeah, well, so I don't know where it all goes.

• 3:22:46Lex Fridman?

  Yeah.

• 3:22:47Chris Lattner?

  I'm an optimist and I'm a human optimist. I think that things I've seen are that a lot of the LLMs are really good at crushing lead code projects. And they can reverse the link list like crazy. Well, it turns out there's a lot of instances of that on the internet and it's a pretty stock thing. And so if you want to see standard questions answered, LLMs can memorize all the answers and that can be amazing. And also they do generalize out from that. And so there is good work on that. But, but I think that if, in my experience, building things, building something like you talk about Mojo, or you talk about these things, or you talk about building an applied solution to a problem. It's also about working with people. It's about understanding the problem. What is the product that you want to build? What are the use case? What are the customers?

• 3:23:33Chris Lattner?

  Can't just go survey all the customers because they'll tell you that they want a faster horse. Maybe they need a car, right? And so a lot of it comes into, you know, I don't feel like we have to compete with LLMs. I think they'll help automate a ton of the mechanical stuff out of the way. And just like, you know, I think we all try to scale through delegation and things like this. Delegating root things to an LLM, I think is an extremely valuable and approach that will help us all scale and be more productive.

• 3:24:00Lex Fridman?

  But I think it's a fascinating companion.

• 3:24:02Chris Lattner?

  But I'd say I don't think that that means that we're going to be done with coding.

• 3:24:06Lex Fridman?

  But there's power in it as a companion. And so from there, I could, I would love to zoom in onto Mojo a little bit. Do you think, do you think about that? Do you think about LLMs generating Mojo code? And helping sort of like when you design your programming language, it almost seems like, man, it would be nice to sort of,

• 3:24:31Lex Fridman?

  almost there's a way to learn how I'm supposed to use this thing for them to be trained on some of the Mojo code.

• 3:24:37Chris Lattner?

  So I do lead an AI company, so maybe there will be a Mojo LLM at some point. But if your question is like, how do we make a language to be suitable for LLMs?

• 3:24:48Lex Fridman?

  Yeah.

• 3:24:48Chris Lattner?

  I think that the.

• 3:24:51Chris Lattner?

  I think the cool thing about LLMs is you don't have to. Right. And so if you look at what is English or any of these other terrible languages that we as humans deal with on a continuous basis, they're never designed for machines. And yet they're the intermediate representation, they're the exchange format that we humans use to get stuff done. Right. And so these programming languages, they're an intermediate representation between the human and the computer or the human and the compiler roughly, right? And so I think the LLMs will have no problem learning whatever keyword we pick.

• 3:25:23Lex Fridman?

  Maybe the phi emoji is gonna.

• 3:25:25Chris Lattner?

  Oh, maybe that's gonna break it. It doesn't tokenize.

• 3:25:27Lex Fridman?

  No, the reverse of that will actually enable it because one of the issues I could see with being a superset of Python is there would be confusion about the gray area. So it would be mixing stuff.

• 3:25:40Lex Fridman?

  But.

• 3:25:41Chris Lattner?

  Well, I'm a human optimist. I'm also an LLM optimist. I think that will solve that problem.

• 3:25:44Lex Fridman?

  Was all the.

• 3:25:45Chris Lattner?

  But the, but, but you look at that and you say, okay, well, reducing the rote thing, right? Turns out compilers are very particular and they really want things. They really want the indentation to be right. They really want the colon to be there on your else or else it will complain. Right. I mean, compilers can do better at this, but LLMs can totally help solve that problem. And so I'm very happy about the new predictive coding and co-pilot type features and things like this, because I think it'll all just make us more productive.

• 3:26:13Lex Fridman?

  It's still messy and fuzzy and uncertain, unpredictable. So, but is there a future you see, given how big of a leap GPT-4 was, where you start to see something like LLMs inside a compiler? Or no?

• 3:26:29Chris Lattner?

  I mean, you could do that. Yeah, absolutely. I mean, I think that'd be interesting.

• 3:26:33Lex Fridman?

  Is that wise?

• 3:26:34Chris Lattner?

  Well, I mean, it would be very expensive. So compilers run fast and they're very efficient and LLMs are currently very expensive. There's on-device LLMs and there's other things going on. And so maybe there's an answer there. I think that one of the things that I haven't seen enough of is that. So LLMs to me are amazing when you tap into the creative potential of the hallucinations. Right. And so if you're building, doing creative brainstorming or creative writing or things like that, the hallucinations work in your favor.

• 3:27:06Chris Lattner?

  If you're writing code that has to be correct because you're going to ship it in production, then maybe that's not actually a feature. And so I think that there has been research and there has been work on building algebraic reasoning systems and kind of like figuring out more things that feel like proofs. And so I think that there could be interesting work in terms of building more reliable at scale systems, and that could be interesting. But if you chase that rabbit hole down, the question then becomes, how do you express your intent to the machine? And so maybe you want LLM to provide the spec, but you have a different kind of net that then actually implements the code.

• 3:27:41Lex Fridman?

  Right, so it's to use the documentation and inspiration versus the actual implementation.

• 3:27:48Chris Lattner?

  Yeah, potentially.

• 3:27:51Lex Fridman?

  Since a successful modular will be the thing that runs, I say so jokingly, our AI overlords, but AI systems that are used across, I know it's a cliche term, but Internet of Things, so costs.

• 3:28:06Chris Lattner?

  So I'll joke and say like AGI should be written in Mojo.

• 3:28:09Lex Fridman?

  Yeah, AGI should be written in Mojo. You're joking, but it's also possible that it's not a joke, that a lot of the ideas behind Mojo is, seems like the natural set of ideas that would enable at-scale training and inference of AI systems. So I just have to ask you about the big philosophical question about human civilization. So folks like Eliezer Yitkovsky are really concerned about the threat of AI. Do you think about the good and the bad that can happen at scale deployment of AI systems?

• 3:28:47Chris Lattner?

  Well, so I've thought a lot about it, and there's a lot of different parts to this problem, everything from job displacement to Skynet, things like this. And so you can zoom into some parts of this problem. I'm not super optimistic about AGI being solved next year. I don't think that's gonna happen personally.

• 3:29:08Lex Fridman?

  So you have a kind of zen-like calm about, is there's a nervousness because the leap of GPT-4 seemed so big.

• 3:29:16Chris Lattner?

  Sure.

• 3:29:17Lex Fridman?

  It's like we're almost, we're, there's some kind of transitionary period. You're thinking.

• 3:29:22Chris Lattner?

  Well, so, so, I mean, there's a couple of things going on there. One is, I'm sure GPT-5 and 7 and 19 will be also huge leaps. They're also getting much more expensive to run. And so there may be a limiting function in terms of just expense on one hand and train. Like, that, that could be a limiter that slows things down. But I think the bigger limiter is outside of, like, Skynet takes over and I don't spend any time thinking about that because if Skynet takes over and kills us all, then I'll be dead. So I don't worry about that. So, you know, I mean, that's just, okay, if other things worry about, I'll just focus on, I'll focus and not worry about that one. But I think that the, the other thing I'd say is that AI moves quickly, but humans move slowly and we adapt slowly.

• 3:30:06Chris Lattner?

  And so what I expect to happen is, just like any technology diffusion, like the promise and then the application takes time to roll out. And so I think that I'm not even too worried about autonomous cars defining away all the taxi drivers. Remember, autonomy was supposed to be solved by 2020?

• 3:30:24Lex Fridman?

  Yeah, boy, do I remember.

• 3:30:26Chris Lattner?

  So, and, and so like, I think that on the one hand, we can see amazing progress, but on the other hand, we can see that, you know, the, the reality is a little bit more complicated and it may take longer to roll out than, than you might expect.

• 3:30:39Lex Fridman?

  Well, that's in the physical space. I, I do think in the digital space is a, the stuff that's built on top of LLMs that runs, you know, the millions of apps that could be built on top of them. And that could be run on millions of devices, millions of types of devices.

• 3:30:57Lex Fridman?

  I just think that the rapid effect it has on human civilization could be truly transformative. Yeah.

• 3:31:06Chris Lattner?

  Well, we don't even know. Well, and so the, well, and there I think it depends on are you an optimist or a pessimist?

• 3:31:11Lex Fridman?

  Yeah.

• 3:31:11Chris Lattner?

  Or a masochist?

• 3:31:12Lex Fridman?

  Just to clarify, optimist about human civilization.

• 3:31:17Chris Lattner?

  Me too. And so I look at that as saying, okay, cool. Well, AI do, right? And so some people say, oh, my God, it's going to destroy us all. How do we prevent that? I kind of look at it from a, is it going to unlock us all? Right? You talk about coding, it's going to make so I don't have to do all the repetitive stuff. Well, suddenly that's a very optimistic way to look at it. And you look at what a lot of, a lot of these technologies have done to improve our lives. And I want that to go faster.

• 3:31:45Lex Fridman?

  What do you think the future of programming looks like in the next 10, 20, 30, 50 years? With L L Ms and with, with Mojo, with modular, like the vision for devices, the hardware to compilers, to this, to the different stacks of software.

• 3:32:02Chris Lattner?

  Yeah. Well, so what I want, I mean, coming, coming back to my arch nemesis, right? It's complexity, right? So again, me being the optimist, if we drive down complexity, we can make these tools, these technologies, these cool hardware widgets accessible to way more people. Right? And so what I'd love to see is more personalized experiences, more things, the research getting into production instead of being lost at NERIPS. Right? And so, and like the, the, these things that impact people's lives by entering products. And so one of the things that I'm a little bit concerned about is right now, the big companies are investing huge amounts of money and are driving the top line of AI capability forward really quickly.

• 3:32:43Chris Lattner?

  But if it means that you have to have a hundred million dollars to train a model or more, a hundred billion dollars. Right? Well, that's going to make it very concentrated with very few people in the world that can actually do this stuff. I'd much rather see. Lots of people across the industry be able to participate and use this. And you look at this, you know, I mean, a lot of great research has been done in the health world and looking at like detecting pathologies and doing radiology with AI and like doing all these things. Well, the problem today is that to deploy and build these systems, you have to be an expert in radiology and an expert in AI. And if we can break down the barriers so that more people can use AI techniques, and it's more like programming Python,

• 3:33:29Chris Lattner?

  which roughly everybody can do if they want to, right? Then I think that we'll get a lot more practical application of these techniques and a lot more niche here. Cool, but narrower demands. I think that's, that's gonna be really cool.

• 3:33:42Lex Fridman?

  Do you think we'll have more or less programmers in the world than no?

• 3:33:46Chris Lattner?

  Well, so I think we'll have more, more programmers, but they may not consider themselves to be programmers.

• 3:33:51Lex Fridman?

  That'd be a different name for it.

• 3:33:52Chris Lattner?

  Right. I mean, do you consider somebody that uses, you know, I think that arguably the most popular programming language is Excel.

• 3:34:00Lex Fridman?

  Yeah.

• 3:34:01Chris Lattner?

  Right?

• 3:34:02Lex Fridman?

  Yep.

• 3:34:02Chris Lattner?

  And so do they consider themselves to be programmers? Maybe not. I mean, some of them make crazy macros and stuff like that, but, but, but what, what? You mentioned Steve Jobs is it's the bicycle for the mind that allows you to go faster, right? And so I think that as we look forward, right, what is AI? I look at it as hopefully a new programming paradigm. It's like object oriented programming, right? If you want to write a cat detector, you don't use for loops. It turns out that's not the right tool for the job, right? And so right now, unfortunately, because I mean, it's not unfortunate, but it's just kind of where, where things are. AI is this weird, different thing that's not integrated into programming languages and normal tool chains. And all the technology is really weird and doesn't work right.

• 3:34:46Chris Lattner?

  And you have to babysit it and every time you switch hardware, it's different. It shouldn't be that way. When you change that, when you fix that, suddenly, again, the tools, technologies can be way easier to use. You can start using them for many more things. And so that's, that's why I would be excited about.

• 3:35:01Lex Fridman?

  What kind of advice could you give to somebody in high school right now, or maybe early college? Who's curious about programming? And feeling like the world is changing really quickly here.

• 3:35:13Chris Lattner?

  Yeah.

• 3:35:13Lex Fridman?

  Well, what kind of stuff to learn, what kind of stuff to work on? Should they finish college? Should they go work at a company? Should they build a thing? What do you think?

• 3:35:23Chris Lattner?

  Well, so, I mean, one of the things I'd say is that you'll be most successful if you work on something you're excited by. And so don't get the book and read the book cover to cover and study and memorize and recite and flashcard and go build something. Like go solve a problem, go build the thing that you want to exist, go build an app, go build, train a model, like go build something and actually use it and set a goal for yourself. And if you do that, then you'll, you know, there's a success, there's the adrenaline rush, there's the achievement, there's the unlock that I think is where, you know, if you keep setting goals and you keep doing things and building things, learning by building is really powerful. In terms of career advice, I mean, everybody's different, it's very hard to give generalized, generalized advice.

• 3:36:07Chris Lattner?

  All, also because, you know, a compiler nerd, if everybody's going left, sometimes it's pretty cool to go right.

• 3:36:15Lex Fridman?

  Yeah.

• 3:36:15Chris Lattner?

  And so just because everybody's doing a thing, it doesn't mean you have to do the same thing and follow the herd. In fact, I think that sometimes the most exciting paths through life lead to being curious about things that nobody else actually focuses on, right? And it turns out that understanding deeply parts of the problem that people want to take for granted makes you extremely valuable and specialized in ways that the herd is not. And so, again, I mean, there's lots of rooms for specialization, lots of rooms for generalists, there's lots of room for different kinds and parts of the problem that, but I think that it's, you know, just because everything, everybody's doing one thing, doesn't mean you should necessarily do it.

• 3:36:56Lex Fridman?

  And now the herd is using Python, so if you want to be a rebel, go check out Mojo and help Chris and the rest of the world fight the arch nemesis of complexity, because simple is beautiful.

• 3:37:09Chris Lattner?

  There you go.

• 3:37:10Lex Fridman?

  Chris, you're an incredible person. You've been so kind to me ever since we met. You've been extremely supportive. I'm forever grateful for that. Thank you for being who you are, for being legit, for being kind, for fighting this really interesting problem of how to make AI accessible to a huge number of people, huge number of devices.

• 3:37:31Chris Lattner?

  Yeah, well, so Lex, you're a pretty special person, too. Right? And so I think that, you know, one of the funny things about you is that besides being curious and pretty damn smart, you're actually willing to push on things. And you're, I think that you've got an agenda to like make the world think, which I think is a pretty good agenda.

• 3:37:49Lex Fridman?

  It's a pretty good one. Thank you so much for talking, Chris.

• 3:37:52Chris Lattner?

  Yeah, thanks, Lex.

• 3:37:54Lex Fridman?

  Thanks for listening to this conversation with Chris Latner. To support this podcast, please check out our sponsors in the description. And now let me leave you with some words from Isaac Asimov. I do not fear computers. I fear the lack of them. Thank you for listening and hope to see you next time.