We're just wrapping up our bi-annual company offsite retreat today in Phoenix, and the energy around our mission and customers couldn't be higher! Fun fact: there are 2X more Metal Heads in this picture than the last one from earlier this year 😎 🤘 ♥️

We are also introducing our newest brand color: Code Metal Patina. For us, it’s a reminder of the value in what’s already been built, and the care required to carry it forward. We also are launching three new colors :

We started with what sits at the heart of that mission: building code you can trust. Our logo brings that commitment into focus: two chevrons, inspired by programming brackets, represent the code we inherit and the code we move toward. The diamond at the center represents verification: carrying engineering knowledge forward, with proof that essential behavior is preserved.

Today, we’re introducing a refreshed Code Metal brand and a brand new website 🚀

Big News - Code Metal has been named to the 2026 @TechCrunch Disrupt / @GreenfieldVC #Disruptors60! 🎉 Our mission is to make AI trustworthy for systems that can't fail. Whether it's modernizing legacy software, optimizing code for new hardware, or moving prototypes into production, speed means nothing without trust. Code Metal combines AI and formal methods to automate complex software engineering work, with independent verification that proves the code works as intended. Because when every line of code matters, "probably right" isn't good enough. Proud to be in great company here alongside teams advancing AI where it matters the most. 🚀 Check out the full list here 👉️ ordnl.link/v4qFvHg PS - thank you to @Nasdaq for helping us celebrate 🤩

What gets lost when AI is used in code translation? AI translated code can compile successfully but still behave differently from the original. But in safety-critical environments, this behavioral gap is unacceptable - and can have serious consequences. Our latest research blog post explores how defining good type mappings can close that gap, and how Code Metal approaches the problem from a formal methods perspective. Check out the full article here 👉️ ordnl.link/MOzTrp7 Authored by Ariel Kellison, @lorisdanto and @laura_titolo ✍

Applications for the Code Metal Verified Code Translation Research Awards are now closed, and the research community did not disappoint! We received 5X as many submissions as we were anticipating, with applicants across 5 continents, 22 countries, and 74 institutions. The caliber of submissions and topics we received blew us away, across verified code translation, formal semantics, trustworthy optimization and hardware targeting, and so much more. Thank you to everyone who submitted, we cannot wait to dig into the incredible work these teams put forward. A proud day to be a part of this community! ♥️ Winners will be announced in December - stay tuned!

Another great panel today at SPLASH/ISSTA in Oakland! Our Director of Formal Methods @laura_titolo will be speaking with peers from Meta, Amazon, Purdue University and more about the future of static analysis - where it's headed, emerging trends, and the key challenges being tackled. Full session details here 👉 ordnl.link/olUo3aI #SPLASH #ISSTA