vitalik.eth
@VitalikButerin
I choose balance. First-level balance.
mi pinxe lo crino tcati
Joined May 2011
542 Following 6.3M Followers
Getting increasingly bullish on just vibe-coding the important things in Lean.
eg. see:
