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

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

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

terminally.online