Short answer: Ryan Aytay says Code Metal translates any code to any hardware, using formal methods such as mathematical proofs and testing so the result keeps the same intent, is optimized and is provably correct for systems like defense, cars and power grids.
Watch this answer from Episode 48 (starts at 2:12) · Episode 48 notes and transcript
From Episode 48: The Code Running Your Plane Was Written Decades Ago. This Startup Proves It Still Works., starting at 2:12.
Sam Nadler [2:11]: So my understanding, and I wanna hear from you because I'm I'm I'm not gonna do it justice, but CodeMetal's real value proposition is its ability to translate code from, one language base to another, but using formal methods. So, institutions, large enterprises can really trust that that translation will work. Is that the core functionality? And I'm sure there's millions of things I'm missing here, but how would you describe it in one sense?
Ryan Aytay [2:39]: And I have a few slides I could pull up and kinda walk you guys through kind of how we look at the world. But I think what you know, when I think about what we do, we're really trying to lower the barrier, if you will, from code to metal. And that's, from software to hardware. That's really where that kind of comes together. And it's really from any code to really any hardware, but I think what you said formal methods, which is a form of verification and using the right, mathematical proofs and the right type of testing to ensure that whatever the source is, wherever that code comes from that it behaves, that it has the same intent, that it is optimized and that is running of course in this new capacity on any hardware just like you would expect it to. And I think, provably correct are the two words that I like to use because it has to work. We're not we focus on mission critical companies that have, a lot of different things and if you don't mind, maybe I'll just see if I can pull up a couple slides. Yeah. Let's do it. So, because who doesn't love slides ultimately.
Ryan Aytay [3:40]: Right? So we gotta have some broad centered conversations. So, as I was mentioning, our goal is really to lower the barrier, as you think about kind of code moving into, from code to hardware environment, that's where the name CodeMetal comes from. We talk about provably correct and I think the really important thing to talk about here is like pretty much everything we depend on, at least I know I depend on in my life, like there's code somewhere. Right? Whether it's, your phone, you depend on that, but that's not as perhaps mission critical, but, like, the military that protects us or the car that you drive in or the, think about, aerospace or the power grid or go down the list of the medical devices that you, if you are dealing with like an MRI machine or like things that you need to make sure that, you can operate in a daily scenario. Like, those systems all depend on code. And so that's great, but it's also a little bit scary because a lot of that code is legacy. Maybe it's, been written years ago, and it's hard to change it. Right?
Ryan Aytay [4:42]: Especially in an AI world, we've all, heard of Tesla and an over the air update. And when you get an over the air update, things change. The hardware gets, it becomes modern. You can bring new technology quickly. And I think that's the type of thing that is really important in this new world. And so, it's great that all these systems depend on code, but the reality is is that, as we go through this world of, like, how do I change things quickly? How do I ship faster? How do I, safety safely translate, old code to new production systems? It's super hard. It's time consuming. It's costly, etcetera. Takes lots of effort, whether it's humans or, AI or whatever it may be to kinda make that happen. And then of course you have to test it. You have to make sure that it's actually something that will work on the said hardware platform that you need to go through.
Jordan Metzner [5:36]: Resumes don't tell you who someone is. Interviews do. Interviews that captures how someone thinks, how they communicate, how they solve problems at scale.
