A place for developers to talk about building on Farcaster.

/dev

https://github.com/a16z/halmos

Banger toolkit for static analysis for smart contracts.

@ncitron.eth is the person responsible for this on fc?

building open source public goods @a16zcrypto

Working on building zkTLS infra/products. A ruthless empiricist and meme connoisseur.

http://opacity.network

@karma I’m actually an idiot, it’s not static analysis 😅

I’ve been reverse engineering too much lately

Exposing your favorite defi protocols while building my own

@sumaa can you take for a spin on the dydx contracts?😂

I'm eth newbie..just learning
(working on @farcaster)

terminally.online

FID 243317 
Early bird 🕊️ , love 🎩 🎭

Great news! @trinh has curated your cast, and it's now featured among today's trending casts at https://casterbites.com/bites

Remember, any Farcaster user can send and vote for the best casts of the day

Wow, this is an amazing tool for smart contracts!