Here for the experience. Meditation & self-inquiry, AI, entrepreneurship & investing, cute dogs and babies.

San Francisco, CA
Joined March 2007
A startup is not a company: it's an experiment to see if a company deserves to exist. Until p/m-fit, speed of hypothesis testing trumps everything. Startups die when they spend faster than they learn.
31
482
50
1,782
Hey @grok @1Password why can't Grok Bot integrate with 1Password Pro/Teams? I'm the admin but can't connect these two...only Individual or Family. Thanks friends 🙏
1
220
Honored to be on this list 🥰. I promise I won't use it as a benchmark to hill climb 😉.
Who are the best AI investors? Today we release the 2026 Strebulaev-Jackson AI Venture Ranking of the top 100 AI venture capitalists. Firms raise the funds, but individual investors pick the companies, negotiate the terms and sit on the boards. Anthropic, which has just filed for its long-awaited IPO, is the highest-scoring AI investment for 20 of the 100 investors in our ranking.
2
12
611
Yan-David (Yanda) Erlich retweeted
I was brought to tears on Sunday when the last milestone cleared. My father, a mathematician who passed in Jan, introduced me to the giants of group theory as a kid. CFSG defined my 80s college years. I can't believe I somehow got to be part of this human achievement.
The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.
25
103
9
1,487
75,173
Yan-David (Yanda) Erlich retweeted
I was brought to tears on Sunday when the last milestone cleared. My father, a mathematician who passed in Jan, introduced me to the giants of group theory as a kid. The Classification of Finite Simple Groups (CFSG) defined my 80s college years. I can't believe I somehow got to be part of this human achievement. CFSG formalized in Lean. @leanprover
The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.
12
28
2
278
20,843
The humans & AIs at @axiommathai keeps pushing the frontier of AI math: this time with the full auto-formalization of CFSG: an enormous proof! The era of AI mathematicians is here. 🥰🚀
The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.
1
3
8
596
Really wish @Yubico made a metal-cased 2fa key. Love the product, but the plastic casing frays so quickly.
1
352
I forgot how much I prefer TouchID to FaceID (except when snowboarding). So glad to be back to Touch. 🥰
3
9
1,402
The iPhone Duo feels magical. Only complaints so far is (1) it’s heavy and (2) most apps aren’t ready for it yet. TouchID is totally fine. Both inner & outer screens are rad. Loving it.
5
1
23
3,825
Yan-David (Yanda) Erlich retweeted
You've heard them say "Watch your thoughts like clouds passing." My dear! It is all clouds. The thoughts. The feelings about thoughts. The watcher. That which is aware of the watcher. The emptiness in which everything arises. All clouds passing by at different speeds.
11
6
2
221
6,053
Yan-David (Yanda) Erlich retweeted
Most company politics are rooted in fear. I call this the Fear Triangle. When fear shows up, people tend to move into one of three roles: savior, bully, or victim.
2
4
96
4,093
The recent tiffs among the meditation community on here give me comfort that beings much further ahead on the pathless path still, at least occasionally, get captured by judging/comparing/fixing mind. This human life is quite the adventure. 🥰 May all beings be at peace
10
398
A little late to this meme but 🥰 @maticrobots @Tesla with love from Wizzy & Sequel
2
10
886
Yan-David (Yanda) Erlich retweeted
A few years ago, my wife and I were sitting together at the end of a long retreat. We were talking about an investment we passed on years ago, one that would have made us rich enough to never start @artofaccomp. Then I asked her a question out of curiosity:
6
2
2
130
60,828
Yan-David (Yanda) Erlich retweeted
We are inspired! (because we also suck well)
112
69
50
1,982
130,979
Yan-David (Yanda) Erlich retweeted
Replying to @Apple
@Apple @Tesla hear me out!
🤖 Made with AI
34
13
6
350
18,219
Yan-David (Yanda) Erlich retweeted
Very happy to see this from Nick!
interpretability might be the most important scientific problem in the world right now, as I don't think we can solve alignment if we don't know what we're building. I think I have good news about it. I co-authored early work in mechanistic interpretability at OpenAI and came away pessimistic, because neural networks appeared to fold into arbitrary tangled knots. years later, I started openai's first large-scale automated interpretability project, finding about 2% of neurons legible with the primitive tools we had with modern agentic tools and a much closer look, the picture looks totally different. the vast majority in models up to trillions of parameters are legible, and their circuits beautiful. many famous examples of tangled neurons turned out to be misunderstood. The roadblocks I expected mostly aren't there. I now think ambitious interpretability will be solved by the time we need it most, and possibly quite soon, as automated scientists keep improving. it may be a bitter lesson for interpretability: the simple thing, at absurd scale, works already-clean.goodfire.com/
244
145
21
3,771
806,827
How did folks fare in the iPhone Duo purchase frenzy:
50%October delivery
42%November
8%December
12 votes • Final results
1
397
I’m excited for political spam season to be over.
5
335