Tim Suzman

Managing Partner of Pioneer Fund.

We are 500+ Y Combinator alumni investing in the top YC startups.

YC S11.

[Tim Suzman @TimSuzman]

Critical concept and brilliant team for it. Go @theoremlabs!

[Vinod Khosla @vkhosla]

I am a total fan of @theoremlabs and what it does to add formal verification to probabilistic LLM's! Important concept broadly.

[Tim Suzman @TimSuzman]

@Winterrose We don’t really know each other but I’m rooting for you. It’s quite brave to post so publicly. Your story arc will be epic once you fight your way through it.

[Tim Suzman @TimSuzman]

This is important.

[Jason Gross @diagram_chaser]

How to find and fix ≈all exploitable bugs:
1. State good-enough theorems about production binaries
2. Prove them

https://t.co/cwblHCXMBb

[Tim Suzman @TimSuzman]

I LOVE when two @pioneer_fund portfolio companies work together.

Congratulations @theoremlabs on this important work with @AnthropicAI!

[Anthropic @AnthropicAI]

New on our Frontier Red Team blog: using Claude to formally verify software at large scale.

Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).

With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.

Read our research in full here: https://t.co/zUyx8CjBEk

[Tim Suzman @TimSuzman]

The feeling of everything being insecure and under attack is not pleasant.

Like walking through a war torn area or very high crime area. You can sort of protect yourself but only to an extent and only with extreme vigilance.

[Yahia Bakour @mynameisyahia]

1 new user per minute... for 8 hours straight

I've never been happier to have spent my weekend load testing the hell out of our infra lmao

We're doing NUMBERS

Sign up before 9 AM PT tomorrow and get 50,000 requests on us :)

[Tim Suzman @TimSuzman]

@nikitabier https://t.co/iekoeSkfYt

[Tim Suzman @TimSuzman]

X needs <spoiler> tags.

@nikitabier I feel like if you were still there, you could get this done in 5 mins.

10/10 though as a longtime Nathan Fielder fan.

[Tim Suzman @TimSuzman]

X needs <spoiler> tags.

@nikitabier I feel like if you were still there, you could get this done in 5 mins.

10/10 though as a longtime Nathan Fielder fan.

[Paul Graham @paulg]

10x a year for 3 years? I've seen a lot of growth, and that is truly exceptional. It's not unusual for startups to grow 10x in a year, but to keep it up for 3 years is close to unheard of. That's 1000x.

[Tim Suzman @TimSuzman]

From my opinion when we first invested in Exa in 2021, pre revenue.

[Tim Suzman @TimSuzman]

@TheIshanGoswami @WilliamBryk Absolutely wild.

[Tim Suzman @TimSuzman]

This is insane. Exa grew 10x to $100M in revenue.

https://t.co/9HC8k6xrGi

[Will Bryk @WilliamBryk]

Exa just passed $100m in annualized revenue.

We've grown almost exactly 10x per year for 3 years. We now handle 2 billion requests a month from 200k+ teams. And it’s still so early:

We predict agents will search 1000x more than humans by 2030.

Agents don't search like humans. They write long, complex queries and want all the world's data, not just the web. We've spent 5 years building a search engine designed for them.

We now serve personal agents, AI labs, coding agents, GTM agents, really any agent. Exa gives these agents access to 100s of billions of web documents and tons of proprietary data.

Our customers are increasingly noticing that information is the bottleneck to agent performance. While the world seems close to perfect intelligence with models like Fable and Astra, we are very far from perfect information.

To our small but legendary team, thank you for getting us here, from engineering to research to GTM to ops.

To our customers, it is an honor to serve you. We have some exciting releases coming soon and can't wait to share them 🫡

[Tim Suzman @TimSuzman]

@jfudem Making new accounts, especially ones where I don’t want to use my primary emails.

[Tim Suzman @TimSuzman]

@saranormous @mvernal Predicted this 3.5 years ago.

https://t.co/Cxf5CTqVyC

[Tim Suzman @TimSuzman]

Amazon won retail with One-Click Checkout.

Amazon will lose retail to Zero-Click Checkout.

Zero-Click Checkout: Tell the AI what you want. It shows you the best options, you choose, it orders it for you from the cheapest/fastest store.

[Tim Suzman @TimSuzman]

@AshRust Hey opus can you make one of these tile things but with the pioneer logo and physically based sound?

(More or less)

[Tim Suzman @TimSuzman]

This Opus 5.5 trend is fun. 🔉

[Tim Suzman @TimSuzman]

@jamesjyu Love it!

[Tim Suzman @TimSuzman]

@HarryStebbings Investors love telling founders to raise less money at lower valuations.

[Tim Suzman @TimSuzman]

@paulg @ycombinator And because they are growing so fast, the absolute y-axis on these startups is also very impressive.