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
288
Code Metal retweeted
A year ago, I wrote about the gap in U.S. self-hosted AI. Our latest C++→Rust benchmark has four U.S. model families above 90% judged function-body correctness. Encouraging progress for teams keeping sensitive code on their own infrastructure. Details below.
codemetal.ai/research/back-…
codemetal.ai/research/back-…
1
3
8
117
For organizations in regulated industries with strict security and deployment requirements, stronger U.S.-developed open-weight models means more viable options for putting AI to work on sensitive code. We're seeing that potential at Code Metal, as improvements in these models expand the options we can evaluate for our customers.
We're encouraged to see American models making progress and will continue following the race. 🏃 🇺🇸
Read the full study here 👉 ordnl.link/yDJZqki
We're encouraged to see American models making progress and will continue following the race. 🏃 🇺🇸
Read the full study here 👉 ordnl.link/yDJZqki
0
0
1
19
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
41
Muse Spark Open joined the top group on our C++ to Rust benchmark: 100% judged function-body correctness, alongside GLM-5.3 Flash (100%), GLM-5.3 (99%) and DeepSeek V4.1 Flash (99%).
US strength went beyond Muse: @nvidia Nemotron hit 97%, @reflection_ai Beam 94% and @thinkymachines Inkling 91%, vs. @OpenAI gpt-oss-120b’s 42%.
US strength went beyond Muse: @nvidia Nemotron hit 97%, @reflection_ai Beam 94% and @thinkymachines Inkling 91%, vs. @OpenAI gpt-oss-120b’s 42%.
1
0
1
108
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
371
Code Metal retweeted
Fantastic way to spend the weekend! Thanks @Code_Metal_AI @PeterMoralesX
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
0
1
4
271
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
664
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
356
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
616
Code Metal retweeted
We're ready to share our next verification pipeline!
Meet KEQ, a semantic equivalence prover based on the K Framework.
AI is getting good at rewriting legacy code, but the new version has to behave exactly like the old one (bugs included).
Tests can only show the presence of bugs, but not their absence. KEQ proves that two programs written in different languages match on every input, or it gives you a concrete counterexample.
Our first real-world trial has been proving equivalence between SHA 256 Rust and C implementations.
For more on how KEQ works, what's next, and how we're thinking of solving large-impact verification challenges, check out our latest blog post below.
A special thanks to the @Code_Metal_AI formal methods team, which inspired this work.
runtimeverification.com/blog/semantic-…
Meet KEQ, a semantic equivalence prover based on the K Framework.
AI is getting good at rewriting legacy code, but the new version has to behave exactly like the old one (bugs included).
Tests can only show the presence of bugs, but not their absence. KEQ proves that two programs written in different languages match on every input, or it gives you a concrete counterexample.
Our first real-world trial has been proving equivalence between SHA 256 Rust and C implementations.
For more on how KEQ works, what's next, and how we're thinking of solving large-impact verification challenges, check out our latest blog post below.
A special thanks to the @Code_Metal_AI formal methods team, which inspired this work.
runtimeverification.com/blog/semantic-…
7
15
55
2,664
Great chat on @ThisWeeknAI with @Jason @theanalognick @markjeffrey @Lons and our co-founder and CEO @PeterMoralesX !
Sam Altman says it’s “quite terrible” that so much of our increasingly scarce DRAM is isolated inside everyone’s home computers instead of being available in the cloud.
But is the answer putting one company in charge of everyone’s compute? Or the Bittensor concept, pooling idle nference? Or some other strategy?
On TWiAI, Lightmatter’s Nick Harris suggests that, in fact, DRAM will always be considered scarce, as long as AI continues to scale. Chips store information in flat sheets, while brains store it in three dimensions. It’s a bottleneck we can’t escape.
@theanalognick, @PeterMoralesX, @markjeffrey, @LightmatterCo, @Code_Metal_AI, @stillcorecap, @jason, @lons, @sama
1:16 PayPal - Pay zero processing fees on your first $100K in eligible PayPal payment volume. Learn more at paypal.launch.co
3:00 How much should a company spend on AI?
8:40 Engy, Lium, and the road to cheaper inference
14:57 So what's the most you'd pay per month for your agents?
22:06 How unmetered inference changes the way you work
25:33 AI Agent Show & Tell
38:57 Chip stocks sink, lenders pull back from neoclouds
45:02 Dreaming of an agentic Christmas
49:46 Sam Altman hates that you have DRAM
55:01 Leaving math and science's Age of Heroes
1:04:23 Where do the LLMs get election info?
1:15:59 Subscribe to the TWiAI newsletter!
🎥 Watch the full episode here 👇
0
7
10
561
Code Metal retweeted
Was awesome to meet all the legends at @ThisWeeknAI , thanks @Jason
Sam Altman says it’s “quite terrible” that so much of our increasingly scarce DRAM is isolated inside everyone’s home computers instead of being available in the cloud.
But is the answer putting one company in charge of everyone’s compute? Or the Bittensor concept, pooling idle nference? Or some other strategy?
On TWiAI, Lightmatter’s Nick Harris suggests that, in fact, DRAM will always be considered scarce, as long as AI continues to scale. Chips store information in flat sheets, while brains store it in three dimensions. It’s a bottleneck we can’t escape.
@theanalognick, @PeterMoralesX, @markjeffrey, @LightmatterCo, @Code_Metal_AI, @stillcorecap, @jason, @lons, @sama
1:16 PayPal - Pay zero processing fees on your first $100K in eligible PayPal payment volume. Learn more at paypal.launch.co
3:00 How much should a company spend on AI?
8:40 Engy, Lium, and the road to cheaper inference
14:57 So what's the most you'd pay per month for your agents?
22:06 How unmetered inference changes the way you work
25:33 AI Agent Show & Tell
38:57 Chip stocks sink, lenders pull back from neoclouds
45:02 Dreaming of an agentic Christmas
49:46 Sam Altman hates that you have DRAM
55:01 Leaving math and science's Age of Heroes
1:04:23 Where do the LLMs get election info?
1:15:59 Subscribe to the TWiAI newsletter!
🎥 Watch the full episode here 👇
0
3
12
245
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
197
You know we couldn't resist putting an easter egg in our updated branding. Who can spot it? 👀
0
2
7
145
Code Metal retweeted
Great to bring our growing @Code_Metal_AI team together in Scottsdale this week!
Incredible people, bold ideas, and a shared mission: making AI trustworthy for the world’s most mission-critical systems.
We’re building something special, and it all starts with the team. Excited for what’s ahead!
Incredible people, bold ideas, and a shared mission: making AI trustworthy for the world’s most mission-critical systems.
We’re building something special, and it all starts with the team. Excited for what’s ahead!
1
2
10
335
