sproul
@sproulM_
working on lighthouse & ethereum @sigp_io | aos player | he/him | 🇵🇸
Joined May 2016
1.7K Following 2.6K Followers
@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.
Show more
