Vitalik：看好使用 Lean 语言 vibe-coding 重要代码 - Hongkong Web3 Media