@hemal
Pinned post
medium.com The Modern Day Good Product Manager/Bad Product When you’re a product manager, one of the first things you read is the famous Good Product Manager/Bad Product Manager post by Ben Horowitz… 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.View quoted post on X
💥 Introducing Warp Sciences, a new company applying AI and robotics to help the world develop new medicines faster.View quoted post on X
We’ve raised a $215M Series A led by @lightspeedvp to bring frontier AI out of the browser and into the lab, and build scientific capacity here in America.
I co-founded Warp with my long-time friend @dpatil, FAIR co-founder @manohar_paluri, and drug hunter Sol Reisberg. The early team is full of incredible people like @bkspears9, who helped achieve Q>1 fusion at LLNL.
