@AmplifyPartners
www.amplifypartners.com The Agentic Mullet: code in the front, proofs in the back — Amplify Partners Types and theorem provers: why formal verification matters in the age of AI code. 
www.amplifypartners.com Will agents like Git any more than we do? — Amplify Partners For all its quirks, the industry has (mostly) converged on Git for version control. But what happens when agents are writing most of our code? 
Today we’re announcing our $100M raise, led by
@peakxvpartners and @137ventures, with
@AvraCap, @a16z, @sequoia, @Redpoint, @ZeroPrimeVC, and @AmplifyPartners
all joining the round.
And that’s not all: we’re also launching Hex 4.0, a new foundation built for agents. Everything is code, so agents can work with your data and people can verify every number. This round lets us keep building on that foundation without slowing down growth or hiring.
More on Hex 4.0 later today.
We’re deeply grateful to the 2,500+ teams building on Hex. There’s still so much to build, and it’s never been a better time to work with data.
Hear more from our CEO, @barrald → lnkd.in/e7A2UNPeView quoted post on X
www.amplifypartners.com How AI web search works — Amplify Partners Under the technical hood of how models like ChatGPT ground responses in searches on the web. 
