蓝狐
@lanhubiji
蓝狐笔记，通往web3的世界。 （1.仅记录想法，没有客观只有主观，不能作为投资建议 ；2.蓝狐笔记只有此号，没有任何telegram或discord等群，没有其他分号，不会要求任何人参与投资，也不会发表跟区块链无关内容 ；3.不会发布链接，不要点击，谨防受骗。)
Joined November 2021
1K Following 75.7K Followers
vitalik的意思是：未来关键基础设施（比如zkEVM、Merkle树这些加密核心）可以靠AI随便vibe，不过，得用Lean数学锁死，不能给bug留一丝活路。
Getting increasingly bullish on just vibe-coding the important things in Lean.
eg. see:
