Pinned post
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.
Yan-David (Yanda) Erlich
Verified account B Capital@yanda
Here for the experience.
Meditation & self-inquiry, AI, entrepreneurship & investing, cute dogs and babies.
Meditation & self-inquiry, AI, entrepreneurship & investing, cute dogs and babies.
1.7K Following 11K Followers 7.3K Posts
Latest posts 5
We gonna get some fresh top-notch intelligence this week? 🥰 🤞
This is baller. Impressed by the constant drive to improve. Proud of my friends who work there. 🥰
View quoted post on X
Black-box reasoning can't be trusted with consequential decisions. @axiommathai is building the alternative.
Their agents just formalized tens of thousands of results from the Stacks Project, errors in the original found and corrected. All open source. 🥰🚀
Their agents just formalized tens of thousands of results from the Stacks Project, errors in the original found and corrected. All open source. 🥰🚀
Most think vibecoding at scale is slop. Here’s a counterexample.
Today we release a 16M-line formalization of the entire Stacks Project, critical infra underlying modern math, with optimized code quality and its highly interconnected structure preserved.
A mathematical city 🌆View quoted post on X
