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.
더 보기
