vitalik.eth (@VitalikButerin) “Getting increasingly bullish on just vibe-coding the important things in Lean. e” — TopicDigg
vitalik.eth
@VitalikButerin
I choose balance. First-level balance.
mi pinxe lo crino tcati
加入 May 2011
543 正在关注 6.3M 粉丝
Getting increasingly bullish on just vibe-coding the important things in Lean.
eg. see:
