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 matters
• The legacy code problem running mission critical infrastructure right now
• Why testing is not enough and what formal methods actually prove
• How AI finally made formal verification scalable after 50 years
• The Tesla over-the-air update analogy for code-to-hardware deployment
• Which industries Code Metal is built for and why
• Why vibe coding works for apps but terrifies Ryan for aerospace and defense
• What brought Ryan from running Tableau at Salesforce to a code verification startup
• Meta Ray-Ban glasses — price drop, Kylie Jenner, and the veteran use case
• Jony Ive at OpenAI and what the mystery hardware device might be
• Why every AI interface is converging on the same form factor

If 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.ai

LinkedIn: linkedin.com/in/ryanaytay

Company LinkedIn: linkedin.com/company/code-metal

Twitter: x.com/Code_Metal_AI

TIMESTAMPS

[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 critical systems

[15:10] From Salesforce and Tableau to Code Metal — the origin story

[17:30] News — Meta Ray-Ban glasses price drop and Kylie Jenner

[19:45] Meta glasses given to veterans — the real use case

[20:50] Jony Ive at OpenAI and the mystery hardware device

[22:30] Why all AI interfaces are converging on glasses

[23:05] Where to find Ryan and Code Metal

[23:45] Wrap up

New episodes every Friday at BuiltThisWeek.com

#AI #CodeMetal #FormalMethods #LegacyCode #Engineering #Defense #Aerospace #BuildWithAI #BuiltThisWeek #AIHardware