@vitalik.eth: Getting increasingly bullish on vibe-coding in Lean by mishaderidder.eth13038 🥝 • 5mo • farcaster.xyz • 0 views • 0 clicks | |
Characters remaining: 10,000 comment guidelines | |
Get Kiwi App
Scan with iPhone to join
TestFlight beta