sproul
@sproulM_
working on lighthouse & ethereum @sigp_io | aos player | he/him | 🇵🇸
加入 May 2016
1.7K 正在关注 2.6K 粉丝
@dankrad Also, coming from a verification background, the tooling doesn't seem to be quite there yet. There are no vibe-proven systems in production yet, and the gap between toy projects (or math) and large production codebases is enormous.
显示更多
