Feeds of @stse on Twitter

stephen tse ❤️‍🔥 AGI via formal math ⊓ proof code

@harmonyprotocol founder, compiler phd, google/apple map

🧮 a(g)i for formal math ⊓ proof code
⛵ lean + alphaproof for fermat last theorem & langlands program

Andre Cronje (@AndreCronjeTech) started following @stse on Feb 5, 2025

@stse

65 Following • 27.9K Followers

@harmonyprotocol founder, compiler phd, google/apple map 🧮 a(g)i for formal math ⊓ proof code ⛵ lean + alphaproof for fermat last theorem & langlands program

“Changing the world one keyboard at a time”.. to think through scaling 1,000x beyond where anyone's trying to do something today. So Steve found his way into 60 individual interviews across 13 different firms. Greylock—known at the time for its conservatism—ended up not working https://t.co/rhF8tJj1SM

302 views • 1 likes • 3 months ago

defi revenue of dex vs (telegram) bots

369 views • 2 likes • 3 months ago