We are entering a world where running code hasn’t been read by anybody. Formal verification is tailor-made for this problem — and AI makes it far more tractable than it used to be:
Amplify Partners
@AmplifyPartners
The first investor for technical founders. Early backers of Datadog, Modal, Temporal, Runway, Luma, Chainguard, dbt Labs, Hightouch, Scribe, and more.
