Content
@
https://opensea.io/collection/dev-21
0 reply
0 recast
2 reactions
EulerLagrangodamus
@eulerlagrange
https://github.com/a16z/halmos Banger toolkit for static analysis for smart contracts. @ncitron.eth is the person responsible for this on fc?
5 replies
0 recast
17 reactions
karmacoma
@karma
howdy 👋
1 reply
0 recast
3 reactions
EulerLagrangodamus
@eulerlagrange
Who’s a better engineer you or Noah?
1 reply
0 recast
0 reaction
karmacoma
@karma
he def has the superior beard, so there’s that
1 reply
0 recast
0 reaction
