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.
もっと見る
