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.
Here's our CEO and co-founder @petermoralesX explaining how we approach that balance with Arkaea Media at the @NYSE.
As the AI slowdown debate grows, we are seeing more demand from industries where software errors have serious consequences.
We’re helping teams across defense, finance, and automotive understand where human judgment matters, how AI fits their systems, and automate code translation and verification - and using formal verification to prove it.
Thanks to Aaron Mok at @inc for chatting with our CEO
@PeterMoralesX for this one!
https://t.co/EwrRKk0HxV
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
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! 🙏 🙌
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.
https://t.co/KR53hGYuim
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...
In a new piece for @FastCompany, Ironclad CEO and co-founder @jboehmig highlights the parallels between the trajectories of 2 revolutionary technologies that changed the game: #AI, and Napster – and what it might mean for the future of commercial AI. https://t.co/AzSa1uUB6m
"AI is never going to replace lawyers, but lawyers who use AI and lawyers who use technology are absolutely going to replace lawyers who don’t."
@jboehmig of @ironclad_inc in the latest issue of #ThePractice:
https://t.co/2X8Ijbjqbc
More GPT-3.5: Contracts company @ironclad_inc taps into GPT-3 for instant document redlining based on a company's playbook. #legaltech#CLM#GPT3 https://t.co/o6lQZQBehW
@AGSpinelli I dunno man, I'd say more often than not it's genuine. Great way to move those last 15-20% of tix quickly. But even in my darkest hour I wouldn't have lied about it.
A venue-specific video the day before the show though, that's straight panic mode. The Hail Mary if you will
@StotheOB@Super70sSports Ha amazing! Me and the Devil is on the album Space Wrangler, but the live versions (especially now with Jimmy Herring) are particularly nice! Here's a long one from 2019 with Luther Dickinson and his brother, Jimmy takes off about the 8 min mark https://t.co/ajmHPkHVqA