vitalik.eth
@VitalikButerin
I choose balance. First-level balance.
mi pinxe lo crino tcati
가입 May 2011
542 팔로잉 중 6.3M 팬
Getting increasingly bullish on just vibe-coding the important things in Lean.
eg. see:
