X @vitalik.eth
vitalik.eth·2026-05-11 16:01
Getting increasingly bullish on just vibe-coding the important things in Lean.eg. see:https://t.co/YOdVyJMNAvhttps://t.co/XbDCD0BCEu ...
Getting increasingly bullish on just vibe-coding the important things in Lean.eg. see:https://t.co/YOdVyJMNAvhttps://t.co/XbDCD0BCEu ...