Automated software engineering you can trust. We're hiring: https://xitter.cf/t.co/fYN7m0amNE
Boston, MA
Joined February 2024
- Tweets43
- Following153
- Followers141
- Likes65
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!
Code Metal retweeted
Great teams and companies are built with great people… those who challenge each other, push boundaries, and make the impossible possible!
Thrilled to welcome @VaroonBhagat to @Code_Metal_AI as our Head of Corporate Development & Strategic Partnerships!
Varoon, excited to be climbing mountains together again (pun intended) first at @Salesforce, and now at @Code_Metal_AI 💪🚀
Code Metal retweeted
Meet the Disruptors 60, Class of 2026.
⠀
Sixty AI startups, unveiled today live on stage at @TechCrunch Disrupt. Together they've raised nearly $6B, and most are less than three years old.
⠀
Congratulations to every founder, dreamer, and builder on the list. Thank you for allowing us to be a part of your journey #Disruptors60
Code Metal retweeted
Love getting to connect with this research community. 5x the submissions we expected, from 74 institutions in 22 countries.
Thank you to everyone who applied! ♥️
#AI #CodeModernization
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!
Code Metal retweeted
Wow, this was an incredible turnout
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!
Code Metal retweeted
Excited to announce the grant recipients! And great work to all
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!
Code Metal retweeted
Everyone is focused on making AI models faster. But the model isn’t always the bottleneck.
We found just 3 pieces of supporting code consuming ~20% of GPU time in an autonomous-driving LiDAR pipeline running on @nvidia Thor.
@Code_Metal_AI Metal optimized them in less than a day.
AI is making it easier than ever to write code. The NEXT frontier and harder problem is making sure that code actually performs on the hardware it runs on.
That’s the Code-to-Metal gap. And it’s everywhere
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 excessive compute, and 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
Code Metal retweeted
See the #CodeMetal platform in action. Self-driving cars use LiDAR to spot objects in real time. On NVIDIA's latest hardware, we found that a few pieces of custom GPU code were taking up about a fifth of the processing time.
#NVIDIA #TensorRT #GPUOptimization #ADAS
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 excessive compute, and 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
Code Metal retweeted
Excited to see people talk more openly about leveraging formal methods to validate software. At Code Metal, we deterministically autogenerate those conditions so that tools like Opus 5.5 can meet them.
Happy to see the market come alive here
I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing various bugs and race conditions. Video attached.
TLA+ also works well. I sometimes combine Lean and TLA+ to look for issues around data flow, concurrency, and state mgmt.
I don't know either language well, but Claude is excellent at both. This approach is super useful for formally modeling your code and finding bugs that a human probably wouldn't have spotted.
Is formal verification the future of coding (or at least, bug finding)?
Code Metal retweeted
Big day for Code Metal. We’ve been awarded an $80M OTA agreement with the Department of War to advance WarMatrix, built with the U.S. Air Force, and bring AI to trusted modeling and simulation systems.
Thanks to Preston Fore at Fortune chatting with me about it. More ahead!
fortune.com/2026/08/14/code-…
Code Metal retweeted
Code Metal, a Boston-based firm, just landed an $80 million contract to modernize and AI-enable WarMatrix, the Department of War’s wargaming simulation environment, Fortune learned exclusively.
bit.ly/4xMfew1
Code Metal retweeted
@PeterMoralesX, CEO of @Code_Metal_AI, and I talking about coding in the age of AI at the @NYSE
Turns out Peter actually still codes.
“The space is moving so fast, if you’re not in it… how good are my decisions going to be?”
Forward-deployed CEO is apparently a thing now.
Code Metal retweeted
Code Metal CEO @PeterMoralesX joins us at the @NYSE to talk about building verifiable AI-enabled code translation for mission-critical systems, an $80M Air Force contract, and going from a $250M valuation to $1.25B in just three months.
Full interview, we covered:
- What Code Metal is actually building
- A real-world look at Code Metal in action
- The $80M Air Force contract for
WarMatrix
- Going from a $250M to $1.25B valuation in three months
- Why raise another $125M while already generating revenue?
- What happens when AI gets better
- Why AI can't simply verify itself
- What happens to software engineering as AI develops
- Where Code Metal could be three years from now
- And... should we be scared of AI?
His answer to the last one: he's more scared of humans than AI...
Code Metal retweeted
ICYMI: Software-for-defense hotshot @Code_Metal_AI won an $80M OTA to advance and validate WarMatrix, the AI-enabled modeling, wargaming, and simulation platform the startup built with the US Air Force.
🔗 Read the full story in Tectonic at the link below
Code Metal retweeted
What the @Code_Metal_AI team is building matters: enabling verifiable AI code translation for hardware-constrained, regulated environments where reliability isn’t optional.
Proud to continue the partnership!
wired.com/story/vibe-coding-…
