Content pfp
Content
@
0 reply
0 recast
2 reactions

EulerLagrangodamus - bank/acc pfp
EulerLagrangodamus - bank/acc
@eulerlagrange.eth
https://github.com/a16z/halmos Banger toolkit for static analysis for smart contracts. @ncitron.eth is the person responsible for this on fc?
6 replies
0 recast
43 reactions

karmacoma pfp
karmacoma
@karma
howdy 👋
1 reply
0 recast
3 reactions

EulerLagrangodamus - bank/acc pfp
EulerLagrangodamus - bank/acc
@eulerlagrange.eth
Who’s a better engineer you or Noah?
1 reply
0 recast
0 reaction

karmacoma pfp
karmacoma
@karma
he def has the superior beard, so there’s that
1 reply
0 recast
0 reaction

ncitron.eth pfp
ncitron.eth
@ncitron.eth
@karma can outrun me (and build Halmos) so there's that
1 reply
0 recast
1 reaction

Samuel ツ pfp
Samuel ツ
@samuellhuber.eth
Who of you uses vim
1 reply
0 recast
1 reaction

ncitron.eth pfp
ncitron.eth
@ncitron.eth
👋
2 replies
0 recast
2 reactions

karmacoma pfp
karmacoma
@karma
I use Cursor because I write mid code anyway
1 reply
0 recast
2 reactions

Samuel ツ pfp
Samuel ツ
@samuellhuber.eth
Vim Mode in cursor or nah?
0 reply
0 recast
0 reaction