At Code Metal, we have the distinct honor to work closely with both veterans and active-duty service members. This Veterans Day, we thank all who have served, including many who are our colleagues at Code Metal. We’re grateful for your service, and for the experience and o us every day. 🇺🇲
0
1
12
One interesting finding: the benchmark showed that more reasoning didn’t always improve results.
Muse reached 100% judged correctness at medium and xhigh, but xhigh used 2.5× the normalized time and nearly 3× the tokens.
At their highest settings, GLM-5.3 and GLM-5.3 Flash wrote fewer bodies, lowering their scores.
Muse reached 100% judged correctness at medium and xhigh, but xhigh used 2.5× the normalized time and nearly 3× the tokens.
At their highest settings, GLM-5.3 and GLM-5.3 Flash wrote fewer bodies, lowering their scores.
1
0
1
Chinese developers have set the pace in open-weight AI. So how close are US models on real engineering tasks?
We tested 10 models on C++ to Rust translation. The newly released @Meta Muse Spark Open matched the strongest Chinese references; four US model families exceeded 90% rrectness.
Full post 👉 ordnl.link/yDJZqki
We tested 10 models on C++ to Rust translation. The newly released @Meta Muse Spark Open matched the strongest Chinese references; four US model families exceeded 90% rrectness.
Full post 👉 ordnl.link/yDJZqki
1
3
9
Mission status: Complete ✅️ on the Code Metal Forge Hackathon: Operation Search and Rescue!
A massive thank you to all of our hackers, volunteers, judges, and industry experts for joining us in this mission - and can’t wait to share more about the winners and the event later
A massive thank you to all of our hackers, volunteers, judges, and industry experts for joining us in this mission - and can’t wait to share more about the winners and the event later
0
2
11
Code Metal Forge Hackathon: Operation Lost and Found is a go! 🚀
For the next 24 hours, hackers in Boston will have have access to real equipment and real expertise from first responders, academics, and deep tech innovators to solve a real-world search and rescue challenge.
gets built! ⛑️ 🔦 💻️ 🛠️
For the next 24 hours, hackers in Boston will have have access to real equipment and real expertise from first responders, academics, and deep tech innovators to solve a real-world search and rescue challenge.
gets built! ⛑️ 🔦 💻️ 🛠️
0
2
13
We're getting ready to kick off the Code Metal Forge Hackathon: Operation Lost and Found - and energy is high! Let's build 😎
1
3
9
UPDATE: We've hit max capacity for next weekend's Forge Hackathon (Operation: Search and Rescue) and registration is now closed! We've got over 100 hackers ready to solve real-world challenges across four objectives:
📍 Locate isolated people
📡 Detect life and hazards
🗺️ Map eliver critical information
24 hours of building with industry experts, cutting-edge technology, and a shared mission to help search and rescue teams.
Sneak peek at this year's challenge coin below. See you soon!
📍 Locate isolated people
📡 Detect life and hazards
🗺️ Map eliver critical information
24 hours of building with industry experts, cutting-edge technology, and a shared mission to help search and rescue teams.
Sneak peek at this year's challenge coin below. See you soon!
0
0
7
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 😎 🤘 ♥️
Fun fact: there are 2X more Metal Heads in this picture than the last one from earlier this year 😎 🤘 ♥️
2
3
20
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 :
1
0
1
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 engineering knowledge forward, with proof that essential behavior is preserved.
1
0
1
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 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 🤩
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 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 🤩
3
6
19
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 ing 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 ✍
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 ing 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 ✍
1
7
8
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 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!
We received 5X as many submissions as we were anticipating, with applicants across 5 continents, 22 countries, and 74 institutions. The 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!
0
3
11
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 details here 👉 ordnl.link/olUo3aI
#SPLASH #ISSTA
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 details here 👉 ordnl.link/olUo3aI
#SPLASH #ISSTA
0
4
8
In AI performance, most of the optimization effort goes to the model. But in a real product, the model is surrounded by supporting code that runs alongside it on every frame – often left exactly as it was first written, with inefficiencies that can slow the whole system down, use drive up costs.
We saw this in an open-source LiDAR perception pipeline running on @nvidia Thor hardware. Three custom CUDA kernels accounted for ~20% of GPU kernel time.
We optimized them with Code Metal in less than a day. Full results coming soon 😎
Curious how a LiDAR scan turns into detected cars, pedestrians and cyclists? Walkthrough from our Principal Solutions Architect Taylor Fouts 👉️ ordnl.link/qcZBpPt
We saw this in an open-source LiDAR perception pipeline running on @nvidia Thor hardware. Three custom CUDA kernels accounted for ~20% of GPU kernel time.
We optimized them with Code Metal in less than a day. Full results coming soon 😎
Curious how a LiDAR scan turns into detected cars, pedestrians and cyclists? Walkthrough from our Principal Solutions Architect Taylor Fouts 👉️ ordnl.link/qcZBpPt
0
1
11
Our research team is on a roll! Next week our Director of Formal Methods @laura_titolo will deliver a keynote at the 11th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2026), co-located with SPLASH/ISSTA.
Her talk, “Numerical Abstract Code Transpilation,” explores an important challenge for AI-driven code transformation: how do we ensure that numerical behavior is preserved when code moves across languages, compilers, and hardware?
The keynote will connect decades of research in numerical abstract domains with LLM-based code transpilation, showing how static analysis can help assess and guide transformations while providing evidence that the resulting code meets its accuracy requirements.
Hope to see you there! Full program here 👉️ ordnl.link/pSMorlD
#SPLASH #ISSTA
Her talk, “Numerical Abstract Code Transpilation,” explores an important challenge for AI-driven code transformation: how do we ensure that numerical behavior is preserved when code moves across languages, compilers, and hardware?
The keynote will connect decades of research in numerical abstract domains with LLM-based code transpilation, showing how static analysis can help assess and guide transformations while providing evidence that the resulting code meets its accuracy requirements.
Hope to see you there! Full program here 👉️ ordnl.link/pSMorlD
#SPLASH #ISSTA
0
4
9
Heading to Automotive Software Strategies US 2026 conference in San Jose this November?
Our Principal Research Scientist Dr. Samson Melamed will be taking the stage on 11/3 to speak about how Code Metal's verifiable code translation pipelines are helping the automotive industry mated test generation 🚗 ⬅️
See you there? More info: ordnl.link/PMzpgKJ #ASSCUS
Our Principal Research Scientist Dr. Samson Melamed will be taking the stage on 11/3 to speak about how Code Metal's verifiable code translation pipelines are helping the automotive industry mated test generation 🚗 ⬅️
See you there? More info: ordnl.link/PMzpgKJ #ASSCUS
0
2
5
AI can provide evidence to support an answer. But do you have the expertise to evaluate it?
That question gets harder when you're an engineer whose work crosses disciplines. An algorithm developer making hardware decisions may need more context than AI’s explanation provides.
founder @petermoralesX explaining how we approach that balance with Arkaea Media at the @NYSE.
That question gets harder when you're an engineer whose work crosses disciplines. An algorithm developer making hardware decisions may need more context than AI’s explanation provides.
founder @petermoralesX explaining how we approach that balance with Arkaea Media at the @NYSE.
0
1
7
Working on formal methods, program equivalence, or verification? We want to celebrate your research and support what’s next 🚀
University faculty: apply for one of four Code Metal research awards of up to $40K each by Oct. 8.
ordnl.link/UYpAuGs
University faculty: apply for one of four Code Metal research awards of up to $40K each by Oct. 8.
ordnl.link/UYpAuGs
0
2
5
Build something that could help bring someone home.
Join us Nov. 6–8 in Boston for Operation Lost and Found, a search-and-rescue hackathon with $18,000 in prizes.
Apply by Oct. 5: ordnl.link/YsqUHhI
Join us Nov. 6–8 in Boston for Operation Lost and Found, a search-and-rescue hackathon with $18,000 in prizes.
Apply by Oct. 5: ordnl.link/YsqUHhI
0
2
5
Always great to be back with the @MassChallenge team in Boston! Thank you for inviting our CEO and co-founder @PeterMoralesX to speak with the latest cohort - and congrats to all in the program! 🙏 🙌
0
3
8
Applications are now open for the Code Metal Forge Hackathon 2026!
We’re inviting students and technical builders to join us for a weekend rapid-prototyping sprint. This year’s challenge: Operation Lost and Found 🔦 🚁 ⛑️
A hiker goes missing in the backcountry. A wildfire vacuate. GPS fails. Connectivity disappears and communications go silent.
What would you build to help find someone?
Teams will have 24 hours to build a working solution with support from expert mentors including U.S. Special Forces operators and deep tech innovators, and get access to cutting edge tech - real hardware, sensors, RF and wireless systems, and embedded compute.
Apply to join us November 6–8 at BASE-X in Boston for a chance to win $18,000 in prizes - and the top university team will also be considered for potential internship opportunities at Code Metal.
Registration closes October 5th. Learn more and apply here 👉 codemetal.ai/forge-hackathon
#CodeMetalForge
We’re inviting students and technical builders to join us for a weekend rapid-prototyping sprint. This year’s challenge: Operation Lost and Found 🔦 🚁 ⛑️
A hiker goes missing in the backcountry. A wildfire vacuate. GPS fails. Connectivity disappears and communications go silent.
What would you build to help find someone?
Teams will have 24 hours to build a working solution with support from expert mentors including U.S. Special Forces operators and deep tech innovators, and get access to cutting edge tech - real hardware, sensors, RF and wireless systems, and embedded compute.
Apply to join us November 6–8 at BASE-X in Boston for a chance to win $18,000 in prizes - and the top university team will also be considered for potential internship opportunities at Code Metal.
Registration closes October 5th. Learn more and apply here 👉 codemetal.ai/forge-hackathon
#CodeMetalForge
0
2
5