{"type":"rich","version":"1.0","provider_name":"Transistor","provider_url":"https://transistor.fm","author_name":"Built This Week","title":"The Code Running Your Plane Was Written Decades Ago. This Startup Proves It Still Works.","html":"<iframe width=\"100%\" height=\"180\" frameborder=\"no\" scrolling=\"no\" seamless src=\"https://share.transistor.fm/e/38905b5b\"></iframe>","width":"100%","height":180,"duration":1446,"description":"This week we sit down with Ryan Aytay, President and COO of Code Metal, to dig into one of the most underestimated problems in tech — the legacy code running mission critical infrastructure across aerospace, defense, automotive, and medical devices. Code Metal translates that code to any hardware with mathematical proof it will behave identically. Provably correct. We also dig into Meta glasses, Jony Ive at OpenAI, and where AI hardware interfaces are really heading.We cover:What Code Metal does and why provably correct code mattersThe legacy code problem running mission critical infrastructure right nowWhy testing is not enough and what formal methods actually proveHow AI finally made formal verification scalable after 50 yearsThe Tesla over-the-air update analogy for code-to-hardware deploymentWhich industries Code Metal is built for and whyWhy vibe coding works for apps but terrifies Ryan for aerospace and defenseWhat brought Ryan from running Tableau at Salesforce to a code verification startupMeta Ray-Ban glasses — price drop, Kylie Jenner, and the veteran use caseJony Ive at OpenAI and what the mystery hardware device might beWhy every AI interface is converging on the same form factorIf you build software, work in hardware, or want to understand the infrastructure layer AI is about to touch, this episode is for you.Find Ryan and Code Metal:Website: codemetal.aiLinkedIn: linkedin.com/in/ryanaytayCompany LinkedIn: linkedin.com/company/code-metalTwitter: x.com/Code_Metal_AITIMESTAMPS[00:00] Intro[01:04] Meet Ryan — President and COO of Code Metal[02:00] What Code Metal does in one sentence[03:30] The legacy code problem in mission critical systems[05:32] What provably correct means and why testing is not enough[07:10] Formal methods — mathematical proof not just testing[08:45] How AI made formal verification scalable[10:20] Tesla over-the-air updates analogy[11:40] ICP — aerospace, defense, automotive, medical[13:05] Why vibe coding terrifies Ryan for mission...","thumbnail_url":"https://img.transistorcdn.com/DcxLgyo52OTPB6vLXk0DQx0p7_qs5hQqaceutObHZhA/rs:fill:0:0:1/w:400/h:400/q:60/mb:500000/aHR0cHM6Ly9pbWct/dXBsb2FkLXByb2R1/Y3Rpb24udHJhbnNp/c3Rvci5mbS8wZTY4/Nzk5NDcxMDdmNGIx/N2MzYzQzY2M2NWE2/MDAxMS5wbmc.webp","thumbnail_width":300,"thumbnail_height":300}